10 search results - page 2 / 2 » An invariant-based approach to the verification of asynchron... |
ATVA
2006
Springer
13 years 6 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
TON
1998
13 years 4 months ago
1998
— The configuration of virtual path (VP) connection services is expected to play an important role in the operation of large-scale asynchronous transfer mode (ATM) networks. A m...
WCNC
2008
IEEE
13 years 11 months ago
2008
IEEE
—1 In ISM bands, many wireless protocols proliferate such as 802.11, Bluetooth, and ZigBee. However, these incompatible protocols create complex coexistence and connectivity prob...
ANSS
2007
IEEE
13 years 11 months ago
2007
IEEE
This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this ...
ENTCS
2008
13 years 4 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...