850 search results - page 132 / 170 » Modeling synchronous systems in BIP |
SIAMCOMP
2002
13 years 8 months ago
2002
This paper introduces a simple notion of layering as a tool for analyzing well-behaved runs of a given model of distributed computation. Using layering, a model-independent analysi...
TSMC
2002
13 years 8 months ago
2002
Scene analysis is a major aspect of perception and continues to challenge machine perception. This paper addresses the scene-analysis problem by integrating a primitive segmentatio...
PADS
1996
ACM
14 years 19 days ago
1996
ACM
One of the promises of parallelized discrete-event simulation is that it might provide significant speedups over sequential simulation. In reality, high performance cannot be achi...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract—This work considers the problem of reaching consensus in an unreliable linear consensus network. A solution to this problem is relevant for several tasks in multi-agent ...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
E-services refer to the services offered over the Internet. The globalization of economy accelerates the provision of e-services across organizations. Instead of being built from ...