4075 search results - page 69 / 815 » Modeling Distributed Algorithm Using B |
CLUSTER
2004
IEEE
14 years 29 days ago
2004
IEEE
The interaction of simultaneously co-allocated jobs can often create contention in the network infrastructure of a dedicated computational grid. This contention can lead to degrad...
ASIAN
2003
Springer
14 years 2 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
COMCOM
2007
13 years 9 months ago
2007
Sensor replacement is important for sensor networks to provide continuous sensing services. Upon sensor node failures, holes (uncovered areas) may appear in the sensing coverage. ...
ICASSP
2007
IEEE
14 years 3 months ago
2007
IEEE
Background modeling and subtraction is a fundamental task in many computer vision and video processing applications. We present a novel probabilistic background modeling and subtr...
DAC
2005
ACM
14 years 10 months ago
2005
ACM
Recent study shows that the existing first order canonical timing model is not sufficient to represent the dependency of the gate delay on the variation sources when processing an...