1615 search results - page 178 / 323 » Distributed Forward Checking |
101
Voted
COORDINATION
2010
Springer
15 years 2 months ago
2010
Springer
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...
117
Voted
TCOM
2008
15 years 2 months ago
2008
Importance sampling is used in this paper to address the classical yet important problem of performance estimation of block codes. Simulation distributions that comprise discretean...
134
Voted
ICRA
2009
IEEE
15 years 11 days ago
2009
IEEE
Maintaining the network connectivity in mobile Multi-Robot Systems (MRSs) is a key issue in many robotic applications. In our view, the solution to this problem consists of two mai...
109
Voted
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
— Process variations in digital circuits make sequential circuit timing validation an extremely challenging task. In this paper, a Statistical Bellman-Ford (SBF) algorithm is pro...
113
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...