Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking
Im Rahmen dieser Arbeit werden die Nebenläufigkeit, Konsistenz und Latenz in asynchronen Interaktiven Echtzeitsystemen durch die Techniken des Profilings und des Model Checkings untersucht. Zu Beginn wird erläutert, warum das asynchrone Modell das vielversprechendste für die Nebenläufigkeit in ei...
Main Author: | |
---|---|
Format: | Doctoral Thesis |
Language: | deu |
Published: |
2016
|
Subjects: | |
Online Access: | https://opus.bibliothek.uni-wuerzburg.de/frontdoor/index/index/docId/14743 http://nbn-resolving.de/urn:nbn:de:bvb:20-opus-147431 https://nbn-resolving.org/urn:nbn:de:bvb:20-opus-147431 https://opus.bibliothek.uni-wuerzburg.de/files/14743/Rehfeld_Stephan_Model_checking.pdf |