Modeling Time-Triggered Protocols and Verifying Their Real-Time Schedules.

Published in: FMCAD (2007)

Keyphrases

real time
low cost
scheduling problem
high speed
real world
vision system
databases
search engine
database systems
mobile devices
control system
wireless networks
communication protocols