Format:
Table of Contents: “... -- Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- 1 Introduction -- 2 A...”
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: “...-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: “... Automatically Done by a Compiler -- Performance Optimizations Assisted by Development Tools -- Use of High...”
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: “... 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: “... Implementation and Validation -- 7 Conclusion and Future Work -- Generalized Model for the Optimization of a LIFO...”
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: “... Frameworks -- 2 An Overview of Programmable Program Synthesis -- 2.1 Why Isn't Existing Work in Synthesis...”
Click to View

Format:
Table of Contents: “... -- Editor -- Compiler and Linker -- Debugger -- Build Manager -- Makefile Auto Generation Tool -- Optimizing...”
Click to View