Login / Signup

Quasi-static scheduling of independent tasks for reactive systems.

Jordi CortadellaAlex KondratyevLuciano LavagnoClaudio PasseroneYosinori Watanabe
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2005)
Keyphrases
  • reactive systems
  • quasi static
  • model checking
  • computer vision
  • real time systems
  • displacement field