Sciweavers

483 search results - page 66 / 97
» Fault Management in P2P-MPI
Sort
View
IAW
2003
IEEE
14 years 1 months ago
Assuring Consistency and Increasing Reliability in Group Communication Mechanisms in Computational Resiliency
— The Computational Resiliency library (CRLib) provides distributed systems with the ability to sustain operation and dynamically restore the level of assurance in system functio...
Norka B. Lucena, Steve J. Chapin, Joohan Lee
ICCS
2003
Springer
14 years 1 months ago
Interacting Data Services for Distributed Earthquake Modeling
We present XML schemas and our design for related data services for describing faults and surface displacements, which we use within earthquake modeling codes. These data services ...
Marlon E. Pierce, Choon-Han Youn, Geoffrey Fox
SRDS
1998
IEEE
14 years 27 days ago
Optimization of a Real-Time Primary-Backup Replication Service
The primary-backup replication model is one of the commonly adopted approaches to providing fault tolerant data services. Its extension to the real-time environment, however, impo...
Hengming Zou, Farnam Jahanian
HPDC
1996
IEEE
14 years 24 days ago
The Core Legion Object Model
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...
Michael J. Lewis, Andrew S. Grimshaw
ATVA
2007
Springer
134views Hardware» more  ATVA 2007»
14 years 19 days ago
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
Moonzoo Kim