Sciweavers

384 search results - page 34 / 77
» Formal Development of Reactive Fault Tolerant Systems
Sort
View
ERSHOV
1993
Springer
13 years 11 months ago
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
Hanan Lutfiyya, Bruce M. McMillin, Alan Su 0002
CCGRID
2006
IEEE
14 years 1 months ago
Proposal of MPI Operation Level Checkpoint/Rollback and One Implementation
With the increasing number of processors in modern HPC(High Performance Computing) systems, there are two emergent problems to solve. One is scalability, the other is fault tolera...
Yuan Tang, Graham E. Fagg, Jack Dongarra
CCGRID
2008
IEEE
14 years 2 months ago
Performance and Availability Tradeoffs in Replicated File Systems
Replication is a key technique for improving fault tolerance. Replication can also improve application performance under some circumstances, but can have the opposite effect under...
Jiaying Zhang, Peter Honeyman
ISCAPDCS
2007
13 years 9 months ago
A Node-to-set cluster-fault-tolerant disjoint routing algorithm in pancake graphs
With rapid increase of parallel computation systems in their sizes, it is inevitable to develop algorithms that are applicable even if there exist faulty elements in the systems. ...
Tatsuro Watanabe, Keiichi Kaneko, Shietung Peng
DSRT
2005
IEEE
14 years 1 months ago
A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
Hessam S. Sarjoughian, Dongping Huang