Monografie
Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking
- Sprache
-
Deutsch
- Identifier
-
1135139601
Thema
Latenz; Konsistenz; Model Checking; Virtuelle Realität; Computerspiel; Nebenläufigkeit; Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking
Low latency technology for interactive virtual environments
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Cartesian abstraction and verification of multithreaded programs
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Document verification with temporal description logics
Unfoldings : a partial order approach to model checking
Model checking pushdown systems
Consistency management of object-oriented behavioral models
Model-checking problems, machines and parameterized complexity
Wenn Virtuelles real wird - Gefahren und Möglichkeiten des Transfers zwischen Computerspielen und der Wirklichkeit
Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking
Low latency technology for interactive virtual environments
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Cartesian abstraction and verification of multithreaded programs
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Document verification with temporal description logics
Unfoldings : a partial order approach to model checking
Model checking pushdown systems
Consistency management of object-oriented behavioral models
Model-checking problems, machines and parameterized complexity
Wenn Virtuelles real wird - Gefahren und Möglichkeiten des Transfers zwischen Computerspielen und der Wirklichkeit
Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking
Low latency technology for interactive virtual environments
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Cartesian abstraction and verification of multithreaded programs
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Document verification with temporal description logics
Unfoldings : a partial order approach to model checking
Model checking pushdown systems
Consistency management of object-oriented behavioral models
Model-checking problems, machines and parameterized complexity