Format:
Table of Contents: “... and Discussion -- References -- Institutional Logics in Large-Scale Agile Software Development Transformations...”
Click to View

Format:
Table of Contents: “... Suite Diversity -- 4.3 Emotion Patterns' Requirements and Heat-maps -- 4.4 PX Framework Implementation...”
Click to View

Format:
Table of Contents: “....2 Design View -- 2.3 Program View -- 3 Software Development -- 4 Teamwork -- 5 A Final Wish -- Applications...”
Click to View

Format:
Table of Contents: “...-Coded MPI Program -- 2.2.2 Optimization for SIMD -- 2.2.3 Optimization for Allocatable Arrays -- 3 Local...”
Click to View

Format:
Table of Contents: “... on Android -- Android Multithreaded Design -- Android Framework or a Thread -- Java Thread Programming...”
Click to View

Format:
Table of Contents: “... Framework for Hardware Formal Verification -- 1 Introduction -- 2 WASIM Functionalities -- 2.1 Input...”
Click to View

Format:
Table of Contents: “... languages -- 3 Satisficing via Optimization -- 3.1 Satisficing and Optimization -- 3.2 VI: Number...”
Click to View

Format:
Table of Contents: “... -- Invited Talk -- A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic...”
Click to View

Format:
Table of Contents: “... Systems -- 2.3 Available-to-Promise -- 2.3.1 Definition -- 2.3.2 Dimensions of ATP -- 3 A Framework...”
Click to View

Format:
Table of Contents: “... -- Programming Guides -- The Intel® Firmware Support Package -- The Uniqueness of Embedded Firmware -- The Choice...”
Click to View

Format:
Table of Contents: “....2 Concurrent Programs -- 2.3 Concurrent Programs as Labelled Transition Systems -- 3 A Unified Framework...”
Click to View

Format:
Table of Contents: “... -- Software Verification -- Automated Verification of Correctness for Masked Arithmetic Programs -- 1...”
Click to View

Format:
Table of Contents: “....3 Concluding Remarks -- References -- Program Verification with Constrained Horn Clauses (Invited Paper) -- 1...”
Click to View

Format:
Table of Contents: “... -- Nominal Techniques for Software Specification and Verification -- How Can We Trust AI? -- Contents...”
Click to View

Format:
Table of Contents: “....2 Composite Virtual Objects Level -- 3.3 User/Stakeholder and Service Level -- 4 Framework Implementation -- 4...”
Click to View

Format:
Table of Contents: “... Hardware and Software -- Power Constraints -- Difficult Development and Debugging -- Typical Architecture...”
Click to View

Format:
Table of Contents: “... Implementation and Validation -- 7 Conclusion and Future Work -- Generalized Model for the Optimization of a LIFO...”
Click to View