Monografie
Verification and Enforcement of Safe Schedules for Concurrent Programs
- Sprache
-
Englisch
- Identifier
-
1223618145
Thema
Programs
Beteiligte Personen und Organisationen
Metzler, Patrick
Peters, Kirstin
Weissenbacher, Georg
Peters, Kirstin
Weissenbacher, Georg
- DOI
-
10.25534/tuprints-00013432
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
Objekttyp
- Monografie
Beteiligte
- Metzler, Patrick
- Peters, Kirstin
- Weissenbacher, Georg
Ähnliche Objekte (12)
Dilute suspensions in annular shear flow under gravity: simulation and experiment
Versatile Event Correlation with Algebraic Effects
Displaying Vehicle Driving Mode : Effects on Pedestrian Behavior and Perceived Safety
Identification of Suitable Parallelization Patterns for Sequential Programs
Learning to Find Bugs in Programs and their Documentation
Robot Learning for Muscular Systems
Towards a Circular Economy of Industrial Software
Understand-Compute-Adapt: Neural Networks for Intelligent Agents
Atomic Scale Investigation of Structures and Functionalities in Quantum Matter Heteroepitaxy
Design and optimization of small hydropower type series for surface watercourse
Optimization of power-specific investment costs for small hydropower
Conditioning of Tail Water Flow by Draft Tube Design - A New Approach for Low Head Hydropower
Dilute suspensions in annular shear flow under gravity: simulation and experiment
Versatile Event Correlation with Algebraic Effects
Displaying Vehicle Driving Mode : Effects on Pedestrian Behavior and Perceived Safety
Identification of Suitable Parallelization Patterns for Sequential Programs
Learning to Find Bugs in Programs and their Documentation
Robot Learning for Muscular Systems
Towards a Circular Economy of Industrial Software
Understand-Compute-Adapt: Neural Networks for Intelligent Agents
Atomic Scale Investigation of Structures and Functionalities in Quantum Matter Heteroepitaxy
Design and optimization of small hydropower type series for surface watercourse
Optimization of power-specific investment costs for small hydropower
Conditioning of Tail Water Flow by Draft Tube Design - A New Approach for Low Head Hydropower
Dilute suspensions in annular shear flow under gravity: simulation and experiment
Versatile Event Correlation with Algebraic Effects
Displaying Vehicle Driving Mode : Effects on Pedestrian Behavior and Perceived Safety
Identification of Suitable Parallelization Patterns for Sequential Programs
Learning to Find Bugs in Programs and their Documentation
Robot Learning for Muscular Systems
Towards a Circular Economy of Industrial Software
Understand-Compute-Adapt: Neural Networks for Intelligent Agents
Atomic Scale Investigation of Structures and Functionalities in Quantum Matter Heteroepitaxy
Design and optimization of small hydropower type series for surface watercourse
Optimization of power-specific investment costs for small hydropower