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: “... Optimizations for Android Applications on x86 -- Basic Concepts of Performance Optimization -- Selection of a...”
Click to View

Format:
Table of Contents: “... -- StarPU backend implementation -- Auto-tuning -- Skeleton programming on large-scale cluster systems...”
Click to View

Format:
Table of Contents: “....4 Further Research -- References -- The EFIS Framework for Leveraging Agile Organizations Within Large...”
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: “....2 Concurrent Programs -- 2.3 Concurrent Programs as Labelled Transition Systems -- 3 A Unified Framework...”
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: “... -- Programming Guides -- The Intel® Firmware Support Package -- The Uniqueness of Embedded Firmware -- The Choice...”
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: “... for Stochastic Dynamical Systems -- 3 Implementation Details -- 3.1 Genie -- 3.2 FairSyn -- 3.3 Mascot-SDS -- 4...”
Click to View

Format:
Table of Contents: “... Frameworks -- 2 An Overview of Programmable Program Synthesis -- 2.1 Why Isn't Existing Work in Synthesis...”
Click to View

Format:
Table of Contents: “....1 Energy System Optimization Models -- 2.2 The Generic TIMES-City Model -- 2.3 Scenario Generator -- 2...”
Click to View

Format:
Table of Contents: “....3 Symbol Elimination and Macros -- 5 Implementation -- 6 Related Work -- 6.1 Pre- and In-processing for SAT...”
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: “....3 Concluding Remarks -- References -- Program Verification with Constrained Horn Clauses (Invited Paper) -- 1...”
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: “... Implementation and Validation -- 7 Conclusion and Future Work -- Generalized Model for the Optimization of a LIFO...”
Click to View

Format:
Table of Contents: “... in the TcC Framework -- 5 Perspectives and Open Questions -- 5.1 Implementing Non-well-founded Machinery...”
Click to View