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

Format:
Table of Contents: “... Program Sketching using Lifted Static Analysis -- 1 Introduction -- 2 Motivating Examples -- 3...”
Click to View

Format:
Table of Contents: “... Foundation of Program Comprehension (Abstract of an Invited Talk) -- Contents -- Regular Contributions -- ACo...”
Click to View

Format:
Table of Contents: “... Sequential Python Program -- 4 Application to Order/Degree Problem -- 4.1 What Is Order/Degree Program -- 4...”
Click to View

Format:
Table of Contents: “... Computation Using Small Data Types -- Optimizing Math Functions -- Specialized Functions and Extensions...”
Click to View

Format:
Table of Contents: “... Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules...”
Click to View

Format:
Table of Contents: “... -- Using Intel Composer XE -- Tuning Intel MPI Library -- Gather Built-in Statistics -- Optimize Process...”
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: “... for Optimization -- 1 Introduction -- 2 Optimization Problems and Reductions -- 3 Reduction to Conic Form -- 4...”
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: “... -- 4 HOLL: Implementation and Optimization -- 5 SynthAttack: Attacking HOLL with Program Synthesis -- 5...”
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: “... Systems -- 1 Introduction -- 2 Preliminaries -- 2.1 Brief Overview of Martingale Theory -- 2.2 Problem...”
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: “... Keyboard Demand -- Software Distribution and Copyright Protection Problems -- Android Application Overview...”
Click to View

Format:
Table of Contents: “... -- 4.2 Gesture based Programming using Augmented Reality -- 5 Conclusion -- References -- 18 User...”
Click to View

Format:
Table of Contents: “... -- An Example -- Conclusion -- References -- Split Diversity: Measuring and Optimizing Biodiversity Using...”
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: “... -- Enhancing Programming Experiences Using AI: Leveraging LLMs as Analogical Reasoning Engines and Beyond...”
Click to View