1
2
3
4
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 Schüppstuhl, Thorsten.
Published 2020
Format:
Table of Contents: ... Concepts -- 3 Concept and Development -- 3.1 Qualification Requirements for Industrial Data Science -- 3...
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 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