Results for *

Displaying results 1 to 2 of 2.

1. Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking

   Author: Rehfeld, Stephan

   Published: 2017

   Publisher:  Universität Würzburg, Würzburg

   • Bibliographic information
   • Access
   • Export

   Access:

   Resolving-System Langzeitarchivierung Nationalbibliothek Verlag (kostenfrei)

   Export to reference management software

   RIS file   BibTeX file

   Source:	Union catalogues
   Language:	German
   Media type:	Dissertation
   Format:	Online
   Other identifier:	urn: urn:nbn:de:bvb:20-opus-147431
   Subjects:	Nebenläufigkeit; Model Checking; Latenz; Konsistenz <Informatik>; Model Checking; Virtuelle Realität; Computerspiel; Nebenläufigkeit
   Other subjects:	Virtual Reality; Augmented Reality; Computer Games; Parallelisierung; Interaktive Echtzeitsysteme; Profiling; Model Checking; Leistungsmessung; Leistungsvorhersage
   Scope:	Online-Ressource
   Notes:	Dissertation, Würzburg, Universität Würzburg, 2017

2. Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking

   Author: Rehfeld, Stephan

   Published: [2017]

   • Bibliographic information
   • Summary
   • Export

   Export to reference management software

   RIS file   BibTeX file

   Content information

   Inhaltsverzeichnis

   Source:	Union catalogues
   Language:	German
   Media type:	Dissertation
   Format:	Print
   Subjects:	Model Checking; Virtuelle Realität; Computerspiel; Nebenläufigkeit
   Other subjects:	Virtual Reality; Augmented Reality; Computer Games; Parallelisierung; Interaktive Echtzeitsysteme; Profiling; Model Checking; Leistungsmessung; Leistungsvorhersage
   Scope:	ix, 161, VII Seiten, Illustrationen, Diagramme, 30 cm
   Notes:	Dissertation, Julius-Maximilians-Universität Würzburg, 2017