1615 search results - page 50 / 323 » Distributed Forward Checking |
IWFM
2000
13 years 9 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— We propose a general framework for broadcasting in ad hoc networks through self-pruning. The approach is based on selecting a small subset of hosts (also called nodes) to form ...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
FTDCS
1997
IEEE
13 years 12 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
ICPP
2006
IEEE
14 years 1 months ago
2006
IEEE
Widely adopted distributor-based systems forward user requests to a balanced set of waiting servers in complete transparency to the users. The policy employed in forwarding reques...