Format:
Table of Contents: “....2 Specification -- 7.2.1 Initialization -- 7.2.2 Events -- References -- Implementation and Performance Evaluation...”
Click to View

Format:
Table of Contents: “... Considerations -- 3.1 Debugging Constraint Models -- 3.2 Performance -- 4 Evaluation on CSPLib Problems -- 5...”
Click to View

Format:
Table of Contents: “....1 Verification Evaluation -- 6.2 Performance and Output Quality Evaluation -- 7 Discussion -- A Zero-Knowledge...”
Click to View

Format:
Table of Contents: “... -- Second Stage: Analysis of the Problem -- Evaluation of Alternatives -- Construction of Comparison...”
Click to View

Format:
Table of Contents: “...Pareto Optimality -- Dominance Relationship -- Performance Measure -- Machine Learning...”
Click to View

Format:
Table of Contents: “... Generation for Branch Coverage -- 6 Solving the MBC problem -- 7 Evaluation -- 8 Conclusion -- References...”
Click to View

Format:
Table of Contents: “....2 Optimizing Continuation Capture -- 5.3 Full Elimination of Control Abstractions -- 5.4 Performance Evaluation...”
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: “... Quality of Synthesized Programs -- 5.1 Performance -- 5.2 Readability -- 6 Applications -- 6.1 Program...”
Click to View

Format:
Table of Contents: “....1 Approaches to Correctness -- 5.2 Awamoche: Completeness, Optimality, and Strong Optimality -- 6 Evaluation...”
Click to View

Format:
Table of Contents: “... Programs and Micro-structures -- 5 Façade Development and Sunlight Optimization -- 6 Conclusion...”
Click to View

Format:
Table of Contents: “....5.5.3 Institutional and Governance -- 1.5.5.4 Models for Impact Prediction and Evaluation....”
Click to View

Format:
Table of Contents: “... -- 4 HOLL: Implementation and Optimization -- 5 SynthAttack: Attacking HOLL with Program Synthesis -- 5...”
Click to View

Format:
Table of Contents: “... Systems -- 1 Introduction -- 2 Preliminaries -- 2.1 Brief Overview of Martingale Theory -- 2.2 Problem...”
Click to View

Format:
Table of Contents: “... Design Process for Robot Programming Systems -- 3.1 Analysis -- 3.2 Design -- 3.3 Evaluation -- 3...”
Click to View

Format:
Table of Contents: “... Terms -- 3.3 Assembly Simulation for Particle Evaluation and Optimization Procedure -- 4 Verification...”
Click to View