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

Dependable Network Computing ◽

10.1007/978-1-4615-4549-1_7 ◽

2000 ◽

pp. 143-166

Author(s):

Joy Reed ◽

Dave Jackson ◽

Borislav Deinov ◽

Mike Reed

Keyword(s):

Formal Analysis

Download Full-text

On the Possibility of Group Membership Protocols

Dependable Network Computing ◽

10.1007/978-1-4615-4549-1_4 ◽

2000 ◽

pp. 77-92 ◽

Cited By ~ 1

Author(s):

Massimo Franceschetti ◽

Jehoshua Bruck

Keyword(s):

Group Membership

Download Full-text

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

Dependable Network Computing ◽

10.1007/978-1-4615-4549-1_19 ◽

2000 ◽

pp. 413-431 ◽

Cited By ~ 2

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

Download Full-text

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

Dependable Network Computing ◽

10.1007/978-1-4615-4549-1_11 ◽

2000 ◽

pp. 233-263 ◽

Cited By ~ 2

Author(s):

D. Avresky ◽

J. Acosta ◽

V. Shurbanov ◽

Z. McAffrey

Keyword(s):

Dimensional Torus ◽

Minimal Path

Download Full-text

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

Dependable Network Computing ◽

10.1007/978-1-4615-4549-1_18 ◽

2000 ◽

pp. 395-412 ◽

Cited By ~ 3

Author(s):

Nagarajan Kandasamy ◽

John P. Hayes ◽

Brian T. Murray

Keyword(s):

Fault Tolerance ◽

Embedded Systems ◽

Real Time ◽

Task Scheduling ◽

Scheduling Algorithms

Download Full-text

A BDD Approach to Dependability Analysis of Distributed Computer Systems with Imperfect Coverage

Dependable Network Computing ◽

10.1007/978-1-4615-4549-1_8 ◽

2000 ◽

pp. 167-190 ◽

Cited By ~ 2

Author(s):

Xinyu Zang ◽

Hairong Sun ◽

Kishor S. Trivedi

Keyword(s):

Computer Systems ◽

Dependability Analysis ◽

Imperfect Coverage ◽

Distributed Computer Systems

Download Full-text

Totally Ordered Broadcast in the Face of Network Partitions

Dependable Network Computing ◽

10.1007/978-1-4615-4549-1_3 ◽

2000 ◽

pp. 51-75 ◽

Cited By ~ 9

Author(s):

Idit Keidar ◽

Danny Dolev

Keyword(s):

The Face ◽

Network Partitions

Download Full-text

Fault-Tolerant Dynamic Scheduling of Object-Based Real-Time Tasks in Multiprocessor Systems

Dependable Network Computing ◽

10.1007/978-1-4615-4549-1_20 ◽

2000 ◽

pp. 433-462 ◽

Cited By ~ 1

Author(s):

Indranil Gupta ◽

G. Manimaran ◽

C. Siva Ram Murthy

Keyword(s):

Real Time ◽

Dynamic Scheduling ◽

Fault Tolerant ◽

Multiprocessor Systems ◽

Object Based

Download Full-text

Reliable Logical Clocks For Unreliable Process Groups

Dependable Network Computing ◽

10.1007/978-1-4615-4549-1_5 ◽

2000 ◽

pp. 93-107

Author(s):

Achour Mostéfaoui ◽

Michel Raynal ◽

Makoto Takizawa

Keyword(s):

Process Groups

Download Full-text

Failure Characteristics and Soft Error Behavior in a Large Storage System

Dependable Network Computing ◽

10.1007/978-1-4615-4549-1_2 ◽

2000 ◽

pp. 21-47

Author(s):

Nisha Talagala ◽

David Patterson

Keyword(s):

Storage System ◽

Soft Error ◽

Failure Characteristics ◽

Error Behavior

Download Full-text