Formal Methods for Scheduling of Latency-Insensitive Designs.
Julien BoucaronRobert de SimoneJean-Vivien MilloPublished in: EURASIP J. Embed. Syst. (2007)
Keyphrases
- formal methods
- resource utilization
- scheduling problem
- scheduling algorithm
- formal analysis
- artificial intelligence
- knowledge based systems
- formal specification
- wireless broadcast
- model checking
- round robin
- safety critical
- process algebra
- heterogeneous computing
- model checker
- software engineering
- provably correct
- response time
- formal specification language
- low latency
- database
- security properties
- modeling language
- prefetching
- load balancing
- natural language
- information systems
- databases