173 search results - page 11 / 35 » Verification of Distributed Hierarchical Components |
IM
2007
13 years 8 months ago
2007
A widely-distributed network monitoring system requires a scalable discovery mechanism. The “Lookup Service” component of the perfSONAR framework is able to manage component r...
ICPPW
2009
IEEE
14 years 2 months ago
2009
IEEE
Multi-core architectures have received significant interest as thermal and power consumption problems limit further increase of speed in single-cores. In the multi-core research ...
COORDINATION
2009
Springer
14 years 7 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
EDCC
2005
Springer
14 years 26 days ago
2005
Springer
We present a hybrid synthesis method for automatic addition of fault-tolerance to distributed programs. In particular, we automatically specify and add pre-synthesized fault-tolera...
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
Recently, the generative modeling approach to video segmentation has been gaining popularity in the computer vision community. For example, the flexible sprites framework has been...