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 Gregory, Peggy.
Published 2021
Format:
Table of Contents: ... and Discussion -- References -- Institutional Logics in Large-Scale Agile Software Development Transformations...
Click to View
3
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
4
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
5
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
6
by Cochez, Michael.
Published 2021
Format:
Table of Contents: ...4 The Creative Composition Problem (CCP) -- 4.1 Formal Definition -- 4.2 Dynamic Programming...
Click to View
7
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
8
by Ravichandran, Aruna.
Published 2016
Format:
Table of Contents: ... -- Summary -- Chapter 2: IT Impasse -- A World of 'Wicked' Business Problems -- The Emergence of Agile...
Click to View
9
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
10
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
11
by Schüppstuhl, Thorsten.
Published 2023
Format:
Table of Contents: ... on Sensitive Robotics and Deep Recurrent Q-Learning -- 1 Introduction -- 2 State of the Art -- 3 Problem...
Click to View
12
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
13
by Pohjolainen, Seppo.
Published 2018
Format:
Table of Contents: ....2.1.3 Retention of Engineering Students -- 1.2.1.4 National Problems of Engineering Education -- 1.2.1.5 Role...
Click to View