Reasoning about Deadlines in Concurrent Real-Time Programs.

Sibylle Peuker Ian J. Hayes

Published in: IPDPS (2003)

Keyphrases

real time
low cost
vision system
concurrent programs
response time
real world
spatial reasoning
artificial intelligence
control system
formal theory
multi threaded