Format:
Table of Contents: “... and Discussion -- References -- Institutional Logics in Large-Scale Agile Software Development Transformations...”
Click to View

Format:
Table of Contents: “... Formalism -- 2.2 Model Counting -- 3 The Goal-Conict Resolution Problem -- 4 ACoRe: Automated Goal-Conict...”
Click to View

Format:
Table of Contents: “... -- 2.1 Clone Detection -- 2.2 Programs &amp -- Code Elements -- 2.3 Probabilistic Software Modeling...”
Click to View

Format:
Table of Contents: “...Intro -- Preface -- Contents -- XcalableMP Programming Model and Language -- 1 Introduction -- 1...”
Click to View

Format:
Table of Contents: “....1.2 System Model -- 2.2 Problem Statement of WCEC Analysis -- 2.3 SysWCEC: Whole-System WCEC Analysis -- 2...”
Click to View

Format:
Table of Contents: “... Components of HPC Systems -- Summary -- References -- Chapter 3: Top-Down Software Optimization -- The Three...”
Click to View

Format:
Table of Contents: “... to Collaboration -- Chapter 1: DevOps in the Ascendency -- Accelerating Agile Practices in Today's Software...”
Click to View

Format:
Table of Contents: “... -- References -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- 1...”
Click to View

Format:
Table of Contents: “... Provably Optimal Markov Chains -- 1 Introduction -- 2 Problem Statement -- 3 Main Ingredients in a Nutshell...”
Click to View

Format:
Table of Contents: “... Placement Problem -- 2.2.1 Constraint Optimization Program for Cell Placement -- 2.3 Solving COP with SAT...”
Click to View

Format:
Table of Contents: “... -- References -- Alpinist: an Annotation-Aware GPU Program Optimizer -- 1 Introduction -- 2 Annotation-Aware...”
Click to View

Format:
Table of Contents: “... Programs -- 7.2 Explicit Model Checking of Symbolic Systems -- 7.3 Hyperproperties for Path Planning -- 7...”
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: “... -- Platform Model -- Multiarchitecture Binaries -- Compilation Model -- Adding SYCL to Existing C++ Programs...”
Click to View

Format:
Table of Contents: “... -- 5.2 State of the Art -- 5.3 Problem Statement and Research Approach -- 5.4 Hardware, Software...”
Click to View

Format:
Table of Contents: “... OF GENUS/PHYLA CLASSIFICATION OF METAGENOMIC READS -- GUIDED GENOME HALVING: PROVABLY OPTIMAL SOLUTIONS...”
Click to View

Format:
Table of Contents: “... for Hierarchical Probabilistic Models -- 1 Introduction -- 2 Overview -- 3 Formal Problem Statement -- 3...”
Click to View

Format:
Table of Contents: “... -- Software Verification -- Automated Verification of Correctness for Masked Arithmetic Programs -- 1...”
Click to View

Format:
Table of Contents: “... Fairness -- 1 Introduction -- 2 Modelling Concurrent Programs -- 2.1 Labelled Transition Systems -- 2...”
Click to View

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