Login / Signup

SAT-a schedulability analysis tool for real-time applications.

Vassilis C. GerogiannisManthos A. Tsoukarellas
Published in: RTS (1995)
Keyphrases
  • analysis tool
  • real time
  • sat solvers
  • information retrieval
  • vision system
  • real time systems
  • neural network
  • computer vision
  • search algorithm
  • scheduling problem
  • low cost
  • quality of service
  • satisfiability problem