Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation.
Mengqi LiuZhong ShaoHao ChenMan-Ki YoonJung-Eun KimPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- temporal information
- temporal behavior
- virtual reality
- spatio temporal
- database
- clustering algorithm
- spatial and temporal
- virtual world
- virtual environment
- real world
- temporal data
- temporal reasoning
- augmented reality
- dynamic environments
- search algorithm
- data structure
- model checking
- database systems
- three dimensional
- web services
- temporal patterns
- computer vision
- machine learning
- priority queue