Login / Signup
A BMC-formulation for the scheduling problem in highly constrained hardware Systems.
Gianpiero Cabodi
Sergio Nocco
Stefano Quer
Alex Kondratyev
Luciano Lavagno
Yosinori Watanabe
Published in:
Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
</>
highly constrained
scheduling problem
real time
computer systems
complex systems
low cost
management system
single machine
processing capabilities
model checking
commercial off the shelf
digital circuits
hardware implementation
hardware and software
embedded systems
distributed systems
np hard
cost function