Format:
Table of Contents: “... -- 5 Algorithm and Complexity -- 5.1 Combining Rewrite Rules and Tree Isomorphism -- 5.2 Case...”
Click to View

Format:
Table of Contents: “... Optimization -- 1 Introduction -- 2 Background -- 2.1 Constraint Optimization Program (COP) -- 2.2 The Cell...”
Click to View

Format:
Table of Contents: “... Executions -- 7 Related Work -- Acknowledgments -- 8 Data-Availability Statement -- References -- Optimal...”
Click to View

Format:
Table of Contents: “... Predicates -- 5.3 Algorithm Properties -- 5.4 Optimization via Early Detection of Fault Saturation (FASE-EDS...”
Click to View

Format:
Table of Contents: “... of Multithreaded Programs -- 1 Introduction -- 2 Modeling the Program Execution -- 3 Opportunistic Monitoring -- 3...”
Click to View

Format:
Table of Contents: “...-of-Order Executions -- 5.1 Symbolic Encoding -- 5.2 The Overall Algorithm -- 5.3 Optimizations...”
Click to View

Format:
Table of Contents: “... Checking Algorithm -- 4.1 Execution Graphs -- 4.2 Awamoche -- 5 Correctness and Optimality -- 5...”
Click to View

Format:
Table of Contents: “...-based Optimizations -- 4.3 A Single Model-Loop Algorithm (Algorithm 2) -- 4.4 A Nested-SAT Algorithm...”
Click to View

Format:
Table of Contents: “... Definition of CPP -- 4.3 Dynamic Programming Algorithm -- 4.4 Computational Complexity of Dynamic Programming...”
Click to View

Format:
Table of Contents: “... Verification of Microprocessors -- 1 Introduction -- 2 Our FV Tools -- 3 Challenges of Verifying a Single x86...”
Click to View

Format:
Table of Contents: “... Scheduling -- 6.4.4 Optimal Scheduling with Integer Linear Programming -- 6.5 Dependent Jobs on Heterogeneous...”
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: “....1 Introduction -- 2.2 Criteria for Conducting Comparative Case Studies -- 2.2.1 University/Program Profile -- 2...”
Click to View