loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Database and Expert Systems Applications, 15th International Workshop on (DEXA'04)
Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations
Zaragoza, Spain
August 30-September 03
ISBN: 0-7695-2195-9
ASCII Text
x 
 
Samir Jafar, S?bastien Varrette, Jean-Louis Roch, "Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations," Database and Expert Systems Applications, International Workshop on, pp. 512-516, Database and Expert Systems Applications, 15th International Workshop on (DEXA'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/DEXA.2004.1333526,
author = {Samir Jafar and S?bastien Varrette and Jean-Louis Roch},
title = {Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations},
journal ={Database and Expert Systems Applications, International Workshop on},
volume = {0},
year = {2004},
issn = {1529-4188},
pages = {512-516},
doi = {http://doi.ieeecomputersociety.org/10.1109/DEXA.2004.1333526},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Database and Expert Systems Applications, International Workshop on
TI - Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations
SN - 1529-4188
SP512
EP516
A1 - Samir Jafar,
A1 - S?bastien Varrette,
A1 - Jean-Louis Roch,
PY - 2004
KW - Fault Tolerant
KW - Checkpoint Recovery
KW - Certificate of execution
KW - Result Checking
KW - Parallel Processing
VL - 0
JA - Database and Expert Systems Applications, International Workshop on
ER -
 
Samir Jafar, Projet APACHE (CNRS/INPG/INRIA/UJF), France
S?bastien Varrette, Projet APACHE (CNRS/INPG/INRIA/UJF), France
Jean-Louis Roch, Projet APACHE (CNRS/INPG/INRIA/UJF), France
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checking. Two kinds of faults are considered: node failure or disconnection and result forgery. This algorithm is based on the knowledge of the macro data-flow dependencies between the application tasks. It provides correct execution with respect to a probabilistic certificate. We have implemented it on top of Athapascan programming interface and experimental results are presented.
Index Terms:
Fault Tolerant, Checkpoint Recovery, Certificate of execution, Result Checking, Parallel Processing
Citation:
Samir Jafar, S?bastien Varrette, Jean-Louis Roch, "Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations," dexa, pp.512-516, Database and Expert Systems Applications, 15th International Workshop on (DEXA'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.