Login / Signup
SAT-a schedulability analysis tool for real-time applications.
Vassilis C. Gerogiannis
Manthos 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