Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation.
Mengqi LiuLionel RiegZhong ShaoRonghui GuDavid CostanzoJung-Eun KimMan-Ki YoonPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- scheduling algorithm
- temporal constraints
- temporal information
- scheduling problem
- spatio temporal
- virtual environment
- temporal databases
- temporal reasoning
- spatial and temporal
- virtual reality
- high level
- temporal data
- formal specification
- virtual world
- temporal abstractions
- temporal patterns
- temporal evolution
- data sets
- temporal relationships
- time stamped
- temporal ordering
- decision theoretic planning
- temporal sequences
- single machine
- model checking
- load balancing
- augmented reality
- genetic algorithm