Keyphrases
- plan execution
- monitoring system
- real time
- model checking
- symbolic execution
- entry point
- stanford university
- resource usage
- image sequences
- data mining and knowledge discovery
- hong kong
- decision support
- face verification
- high density
- resource consumption
- san francisco
- test generation
- execution model
- asynchronous circuits
- data flow
- video sequences
- query execution plan