Login / Signup
A BMC-based formulation for the scheduling problem of hardware systems.
Gianpiero Cabodi
Alex Kondratyev
Luciano Lavagno
Sergio Nocco
Stefano Quer
Yosinori Watanabe
Published in:
Int. J. Softw. Tools Technol. Transf. (2005)
Keyphrases
</>
scheduling problem
computer systems
hardware and software
management system
high end
computing systems
low cost
distributed systems
single machine
approximation algorithms
embedded systems
intelligent systems
special case
learning systems
tabu search
information systems
neural network
computing platform
real time