Format:
Table of Contents: “... Implicitly Restarted Arnoldi Method (MIRAM) and Their Implementations for the mSPMD Programming Model -- 6...”
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: “... Implications -- 6 Conclusions, Limitations, and Future Work -- References -- Towards a Framework to Guide...”
Click to View

Format:
Table of Contents: “... Extraction -- 5 Implementation and Evaluation -- 5.1 Implementation -- 5.2 Evaluation -- 6 Related Work...”
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: “...Re -- 6.2 RQ2: Comparison with the Ground-truth -- 6.3 RQ3: Comparing the Multi-objective Optimization...”
Click to View

Format:
Table of Contents: “... of Affine Invariants and General Strategies -- 6 Discussion, Extensions, and Variants -- 7 Implementation...”
Click to View

Format:
Table of Contents: “... Programming -- 5.2.2 Randomized Linear Programming -- 6 Simulation Environment -- 6.1 Technical Settings...”
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: “....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: “... Loops -- 5.1 Fixed Point Induction -- 5.2 Deciding Equivalence of Loop-free Programs -- 6 Case Studies...”
Click to View

Format:
Table of Contents: “... -- 5 Discussion of a Case Study in Norway -- 6 Conclusions -- References -- Energy System Models...”
Click to View

Format:
Table of Contents: “... Selection Criteria -- 5 Selection Process -- 6 The Award Nominees and the Winner -- 7 Contents of the Book...”
Click to View