Temporal Serialization Graph Testing: An Approach to Control Concurrency in Broadcast Environments.
Angelo BraynerJosé Maria MonteiroPublished in: SBBD (2000)
Keyphrases
- concurrency control
- spatio temporal
- robotic systems
- control system
- directed graph
- structured data
- graph theory
- temporal information
- temporal data
- temporal databases
- database systems
- temporal relations
- graph representation
- human operators
- temporal constraints
- graph structure
- real world
- temporal reasoning
- spatial and temporal
- random walk
- real time
- graph matching
- control method
- directed acyclic graph
- autonomous robots
- space time
- fine grained
- digital television
- concurrent execution
- dynamic allocation
- robot teams