Embedded system verification through constraint-based scheduling.
Olfat El-MahiGabriela NicolescuGilles PesantGiovanni BeltramePublished in: HLDVT (2012)
Keyphrases
- grid workflow
- scheduling problem
- scheduling algorithm
- resource allocation
- model checking
- dynamic scheduling
- face verification
- formal verification
- flexible manufacturing systems
- signature verification
- round robin
- false acceptance
- real time
- verification method
- asynchronous circuits
- flow control
- real time database systems
- parallel processors
- parallel machines
- processing times
- manufacturing systems
- special case