Monografie
Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking
- Language
-
Deutsch
- Identifier
-
1135139601
Subject
Latenz; Konsistenz; Model Checking; Virtuelle Realität; Computerspiel; Nebenläufigkeit; Hochschulschrift
Contributor
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:55 PM CET
Object type
- Monografie
Other Objects (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