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á bibliografie

Vydáno v:	Proceedings of the Workshop on Future Trends of Distributed Computing Systems s. 57 - 66
Hlavní autoři:	Rehfeld, Stephan, Latoschik, Marc Erich, Tramberend, Henrik
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.03.2016
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!