1
by Sato, Mitsuhisa.
Published 2020
Format:
Table of Contents: ....1 Target Hardware -- 1.2 Execution Model -- 1.3 Data Model -- 1.4 Programming Models -- 1.4.1 Partitioned...
Click to View
2
by Krajci, Iggy.
Published 2013
Format:
Table of Contents: ... Automatically Done by a Compiler -- Performance Optimizations Assisted by Development Tools -- Use of High...
Click to View
3
by Gregory, Peggy.
Published 2021
Format:
Table of Contents: ... and Discussion -- References -- Institutional Logics in Large-Scale Agile Software Development Transformations...
Click to View
4
by Cohen, Ryan.
Published 2014
Format:
Table of Contents: ... Debugging -- Program Execution Techniques -- Observing the Debugging Output of the Log.X Function...
Click to View
5
by World Bank
Published 2015
Subjects: ...DEVELOPMENT BANK...
Get full text
Get full text
6
by Felderer, Michael.
Published 2020
Format:
Table of Contents: ....2 Design View -- 2.3 Program View -- 3 Software Development -- 4 Teamwork -- 5 A Final Wish -- Applications...
Click to View
7
by Ravichandran, Aruna.
Published 2016
Format:
Table of Contents: ... -- Intelligence and Analytics -- Agile Operations Tooling -- Early Warning for Business and Development -- Early...
Click to View
8
by Felderer, Michael.
Published 2022
Format:
Table of Contents: ... -- 1 Introduction -- 2 Abstract Execution -- 2.1 Specifying Abstract Programs -- 2.2 Symbolic Execution...
Click to View
9
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... of Multithreaded Programs -- 1 Introduction -- 2 Modeling the Program Execution -- 3 Opportunistic Monitoring -- 3...
Click to View
10
by Schüppstuhl, Thorsten.
Published 2020
Format:
Table of Contents: ... into reworking -- 4.1 Scope of functions within the Virtual Environment -- 4.2 Development and setup of a...
Click to View
11
by Schüppstuhl, Thorsten.
Published 2023
Format:
Table of Contents: ... Implementation and Validation -- 7 Conclusion and Future Work -- Generalized Model for the Optimization of a LIFO...
Click to View
12
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ... Termination of C Programs with Lists -- 1 Introduction -- 2 Abstract States for Symbolic Execution -- 3...
Click to View
13
by Fleischmann, Albert.
Published 2015
Format:
Table of Contents: ....3.3 Optimization Approach -- 2.3.4 To-Be Modeling -- 2.3.5 Evaluation -- 2.4 Case Study on Strategic Monitoring...
Click to View