123 search results - page 22 / 25 » Using Model Checking to Detect Deadlocks in Distributed Obje... |
AROBOTS
2010
13 years 7 months ago
2010
Locusts possess a bilateral pair of uniquely identifiable visual neurons that respond vigorously to the image of an approaching object. These neurons are called the lobula giant m...
CVPR
2010
IEEE
13 years 7 months ago
2010
IEEE
We present a novel method for the discovery and statistical representation of motion patterns in a scene observed by a static camera. Related methods involving learning of pattern...
ECBS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
MVA
1990
13 years 8 months ago
1990
d at a high abstraction level, and consists in an expectation-driven search starting from symbolic object descriptions and using a version of a distributed blackboard system for re...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...