Throughput based temporal verification for monitoring large batch of parallel processes.
Xiao LiuDingxian WangDong YuanFutian WangYun YangPublished in: ICSSP (2014)
Keyphrases
- monitoring system
- response time
- spatio temporal
- temporal aspects
- spatial and temporal
- temporal information
- temporal reasoning
- temporal data
- face verification
- formal verification
- space time
- model checking
- shared memory
- process model
- computational models
- temporal constraints
- formal methods
- early warning
- temporal dimension
- learning algorithm