1
by Gregory, Peggy.
Published 2021
Format:
Table of Contents: ... and Discussion -- References -- Institutional Logics in Large-Scale Agile Software Development Transformations...
Click to View
2
by Goericke, Stephan.
Published 2019
Format:
Table of Contents: ... Behaviours -- 3.3 TSP Is a Learning and Development Scheme -- 3.4 The Skills Inventory -- 3.5 Program Member...
Click to View
3
by Felderer, Michael.
Published 2022
Format:
Table of Contents: ... Symbolic Execution -- 5 General Framework for Hybrid Differential Software Testing -- 6 Applications -- 6...
Click to View
4
5
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
6
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
7
8
by Reinders, James.
Published 2020
Format:
Table of Contents: ... -- Book GitHub -- Hello, World! and a SYCL Program Dissection -- Queues and Actions -- It Is All About...
Click to View
9
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
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: ... Safety Components -- 3.2 Development of the Planning, Communication and Verification Software -- 3...
Click to View