Estimating latency and concurrency of asynchronous real-time interactive systems using model checking

This article introduces model checking as an alternative method to estimate the latency and parallelism of asynchronous Realtime Interactive Systems (RISs). Five typical concurrency and synchronization schemes often found in concurrent Virtual Reality (VR) and computer game systems are identified as...

Celý popis

Podrobná bibliografia

Vydané v:	Proceedings of the Workshop on Future Trends of Distributed Computing Systems s. 57 - 66
Hlavní autori:	Rehfeld, Stephan, Latoschik, Marc Erich, Tramberend, Henrik
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.03.2016
Predmet:	Computational modeling Concurrent computing D.2.4 [Software/Program Verification]: Model checking D.2.8 [Metrics]: Performance measures D.4.8 [Performance]: Modeling and prediction Engines Model checking Parallel processing Real-time systems Rendering (computer graphics)
ISSN:	2375-5334
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!