A Family of Resource-Bound Real-Time Process Algebras.

Insup Lee Anna Philippou Oleg Sokolsky

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

real time
image sequences
lower bound
control system
upper bound
vision system
database
databases
artificial neural networks
special case
low cost
resource allocation
development process
real time systems