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...

Full description

Bibliographic Details

Published in:	Proceedings of the Workshop on Future Trends of Distributed Computing Systems pp. 57 - 66
Main Authors:	Rehfeld, Stephan, Latoschik, Marc Erich, Tramberend, Henrik
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.03.2016
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!