Hochschulschrift
Scalable Automated Incrementalization for Real-Time Static Analyses
- Alternative title
-
Skalierbare automatische Inkrementalisierung für statische Analysen in Echtzeit
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2013
- Event
-
Veröffentlichung
- (where)
-
Darmstadt
- (who)
-
Universitäts- und Landesbibliothek Darmstadt
- (when)
-
2014
- Creator
-
Mitschke, Ralf
- Contributor
-
Mezini, Mira
Hähnle, Reiner
- URN
-
urn:nbn:de:tuda-tuprints-38155
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:52 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Mitschke, Ralf
- Mezini, Mira
- Hähnle, Reiner
- Universitäts- und Landesbibliothek Darmstadt
Time of origin
- 2014
Other Objects (12)
Scalable automated incrementalization for real-time static analyses=Skalierbare automatische Inkrementalisierung für statische Analysen in Echtzeit
Scalable Realtime Architectures in Python
Incrementalizing Static Analyses in Datalog
Scalable Algorithms for Realistic Real-time Rendering
FASTEN: Scaling static analyses to ecosystems
Automated, Scalable Bayesian Inference with Theoretical Guarantees
Automated static camera calibration with intelligent vehicles
Real-time media delivery using scalable video coding
Static timing analysis for hard real-time systems
Metrology of automated tests : static and dynamic characteristics
Scalable, Automated ML Model Monitoring with KFServing and Hopsworks
Scalable Map-based Environment Representations for Highly Automated Vehicles
Scalable automated incrementalization for real-time static analyses=Skalierbare automatische Inkrementalisierung für statische Analysen in Echtzeit
Scalable Realtime Architectures in Python
Incrementalizing Static Analyses in Datalog
Scalable Algorithms for Realistic Real-time Rendering
FASTEN: Scaling static analyses to ecosystems
Automated, Scalable Bayesian Inference with Theoretical Guarantees
Automated static camera calibration with intelligent vehicles
Real-time media delivery using scalable video coding
Static timing analysis for hard real-time systems
Metrology of automated tests : static and dynamic characteristics
Scalable, Automated ML Model Monitoring with KFServing and Hopsworks
Scalable Map-based Environment Representations for Highly Automated Vehicles
Scalable automated incrementalization for real-time static analyses=Skalierbare automatische Inkrementalisierung für statische Analysen in Echtzeit
Scalable Realtime Architectures in Python
Incrementalizing Static Analyses in Datalog
Scalable Algorithms for Realistic Real-time Rendering
FASTEN: Scaling static analyses to ecosystems
Automated, Scalable Bayesian Inference with Theoretical Guarantees
Automated static camera calibration with intelligent vehicles
Real-time media delivery using scalable video coding
Static timing analysis for hard real-time systems
Metrology of automated tests : static and dynamic characteristics
Scalable, Automated ML Model Monitoring with KFServing and Hopsworks