Verification, refinement and scheduling of real-time programs.
Zhiming LiuMathai JosephPublished in: Theor. Comput. Sci. (2001)
Keyphrases
- real time
- scheduling problem
- real time database systems
- resource allocation
- model checking
- vision system
- low cost
- control system
- hardware designs
- real time systems
- response time
- information systems
- search engine
- computer programs
- grid workflow
- symbolic execution
- neural network
- functional verification
- timing constraints
- signature verification
- formal methods
- moving target
- scheduling algorithm