Search alternatives:
executing algorithms » existing algorithms, checking algorithms, computing algorithms
optimization code » optimization model, optimization case, optimization models
code executing » code execution, code executes, out executing
programs. » program.
executing algorithms » existing algorithms, checking algorithms, computing algorithms
optimization code » optimization model, optimization case, optimization models
code executing » code execution, code executes, out executing
programs. » program.
1
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference...
by Groote, Jan Friso.
Published 2021
Format:
Published 2021
Table of Contents: “... Optimization -- 1 Introduction -- 2 Background -- 2.1 Constraint Optimization Program (COP) -- 2.2 The Cell...”
Click to View
2
by Supalov, Alexander.
Published 2014
Format:
Published 2014
Table of Contents: “... -- Chapter 5: Addressing Application Bottlenecks: Distributed Memory -- Algorithm for Optimizing MPI...”
Click to View
3
by Johnsen, Einar Broch.
Published 2022
Format:
Published 2022
Table of Contents: “...-of-Order Executions -- 5.1 Symbolic Encoding -- 5.2 The Overall Algorithm -- 5.3 Optimizations...”
Click to View
4
by Lambers, Leen.
Published 2023
Format:
Published 2023
Table of Contents: “... of Multithreaded Programs -- 1 Introduction -- 2 Modeling the Program Execution -- 3 Opportunistic Monitoring -- 3...”
Click to View
5
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “...-based Optimizations -- 4.3 A Single Model-Loop Algorithm (Algorithm 2) -- 4.4 A Nested-SAT Algorithm...”
Click to View
6
by Pientka, Brigitte.
Published 2023
Format:
Published 2023
Table of Contents: “... Termination of C Programs with Lists -- 1 Introduction -- 2 Abstract States for Symbolic Execution -- 3...”
Click to View
7
by Marwedel, Peter.
Published 2021
Format:
Published 2021
Table of Contents: “... Efficiency -- Code Size Efficiency -- Execution Time Efficiency Using Digital Signal Processing as an Example...”
Click to View