661 search results - page 53 / 133 » Distributed Real-Time Computing with Harness |
151
click to vote
PODC
1990
ACM
15 years 6 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
129
Voted
CVPR
1999
IEEE
16 years 4 months ago
1999
IEEE
A common method for real-time segmentation of moving regions in image sequences involves "background subtraction," or thresholding the error between an estimate of the i...
141
Voted
PRDC
2008
IEEE
15 years 9 months ago
2008
IEEE
We consider efficient real-time communication mechanisms for applications in unreliable and partitionable networks, where network partitions can occur unpredictably and nodes can ...
131
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
In real-time environment, data usually has a lifespan associated with it. The semantics and the importance of the data depend on the time when data is utilized. Hence, the process...
124
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
As real-time systems become more prevalent, there is a need to guarantee that these increasingly complex systems perform as designed. One technique involves a static analysis to p...