Dependable Network Computing
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer US

9781461370536, 9781461545491
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated Formal Analysis of Networks

2000 ◽  
pp. 143-166
Author(s):  
Joy Reed ◽  
Dave Jackson ◽  
Borislav Deinov ◽  
Mike Reed
Keyword(s):  
Formal Analysis

On the Possibility of Group Membership Protocols

2000 ◽  
pp. 77-92 ◽  
Author(s):  
Massimo Franceschetti ◽  
Jehoshua Bruck
Keyword(s):  
Group Membership

The Rapids Simulator: A Testbed for Evaluating Scheduling, Allocation and Fault-Recovery Algorithms in Distributed Real-Time Systems

2000 ◽  
pp. 413-431 ◽  
Author(s):  
M. Allalouf ◽  
J. Chang ◽  
G. Durairaj ◽  
J. Haines ◽  
V. R. Lakamraju ◽  
...  
Keyword(s):  
Real Time ◽  
Fault Recovery ◽  
Real Time Systems ◽  
Time Systems ◽  
Recovery Algorithms

Adaptive Minimal-Path Routing in 2-Dimensional Torus Servernet San

2000 ◽  
pp. 233-263 ◽  
Author(s):  
D. Avresky ◽  
J. Acosta ◽  
V. Shurbanov ◽  
Z. McAffrey
Keyword(s):  
Dimensional Torus ◽  
Minimal Path

Task Scheduling Algorithms for Fault Tolerance in Real-Time Embedded Systems

2000 ◽  
pp. 395-412 ◽  
Author(s):  
Nagarajan Kandasamy ◽  
John P. Hayes ◽  
Brian T. Murray
Keyword(s):  
Fault Tolerance ◽  
Embedded Systems ◽  
Real Time ◽  
Task Scheduling ◽  
Scheduling Algorithms

Totally Ordered Broadcast in the Face of Network Partitions

2000 ◽  
pp. 51-75 ◽  
Author(s):  
Idit Keidar ◽  
Danny Dolev
Keyword(s):  
The Face ◽  
Network Partitions

Reliable Logical Clocks For Unreliable Process Groups

2000 ◽  
pp. 93-107
Author(s):  
Achour Mostéfaoui ◽  
Michel Raynal ◽  
Makoto Takizawa
Keyword(s):  
Process Groups
Load More ...
Sign in / Sign up

Export Citation Format

Share Document