Efficient dependency tracking for relevant events in concurrent systems.

Anurag Agarwal Vijay K. Garg

Published in: Distributed Comput. (2007)

Keyphrases

concurrent systems
real time
distributed systems
information systems
object oriented
event detection
temporal logic
computer vision
image sequences
particle filter
model checking
motion model
kalman filter