FlowCert : Probabilistic certification for Peer-to-Peer computations

Proceedings - Symposium on Computer Architecture and High Performance Computing

Volumn , Issue , 2004, Pages 108-115

  Varrette, Sébastien ^a   Roch, Jean Louis ^a   Leprévost, Franck ^b  

^a CNRS   (France)

^b UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

[No Author keywords available]

Indexed keywords

BERNOULLI DISTRIBUTION; PEER-TO-PEER COMPUTATIONS; SYSTEM ARCHITECTURE;

ALGORITHMS; COMPUTATION THEORY; DATA TRANSFER; DATABASE SYSTEMS; ERROR ANALYSIS; LARGE SCALE SYSTEMS; PROBABILITY;

PARALLEL PROCESSING SYSTEMS;

EID: 16244363976     PISSN: 15506533     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SBAC-PAD.2004.17     Document Type: Conference Paper

References (15)

1. The SETI@Home project, 1999. http://setiathome.ssl.berkeley.edu/
2. M. Blum and H. Wasserman. Software Reliability via Run-Time Result-Checking. Journal of the ACM, 44(6):826-849, Novembre 1997.
3. T. Cormen, C. Leiserson, R. Rivest, and C. Stein. Introduction to Algorithms, Second Edition. McGraw-Hill, 2001.
4. I. Foster, C. Kesselman, G. Tsudik, and S. Tuecke. A Security Architecture for Computational Grids. In Fifth ACM Conference on Computer and Communications Security Conference, pages 83-92, San Francisco, California, 3-5 Novembre 1998.
5. I. Foster, C. Kesselman, G. Tsudik, and S. Tuecke. Security for Grid Services. In I. Press, editor, Twelfth International Symposium on High Performance Distributed Computing (HPDC-12), Seattle, Washington, 22-24 Juin 2003.
6. F. Galilée, J.-L. Roch, G. Cavalheiro, and M. Doreille. Athapascan-1: On-line Building Data Flow Graph in a Parallel Language. In IEEE, editor, International Conference on Parallel Architectures and Compilation Techniques, PACT'98, pages 88-95, Paris, France, Octobre 1998.
7. C. Germain and N. Playez. Result checking in global computing systems. In ACM, editor, Proceedings of the 17th Annual ACM International Conference on Supercomputing (ICS 03), San Francisco, California, 23-26 Juin 2003.
8. R. Keryell. Cryptopage-1 : vers la fin du piratage informatique? In 6e symposium sur les architectures nouvelles de machine (SympA '6), Besaņon, France, 19-22 Juin 2000.
9. A. J. Menezes, P. C. van Oorschot, and S. A. Vanstone. Handbook of Applied Cryptography. CRC Press, Inc, 1997.
10. D. Molnar. The SETI@Home Problem. November 2000.
11. M. Rinard. The design, implementation and evaluation of Jade : a portable, implicitly parallel programming language. ACM Transactions on Programming Languages and Systems, 20(3):483-545, Mai 1998.
12. L. F. G. Sarmenta. Sabotage-Tolerance Mechanisms for Volunteer Computing Systems. In ACM/IEEE International Symposium on Cluster Computing and the Grid (CCGrid'01), Brisbane, Australia, Mai 2001.
13. E. Suh, D. Clarke, B. Gassend, M. van Dijk, and S. Devadas. Aegis: Architecture for tamper-evident and tamper-resistant processing. In Proceedings of the 17th International Conference on Supercomputing, San Francisco, California, 23-26 Juin 2003.
14. S. Varrette and J.-L. Roch. Certification logicielle de calcul global avec dépendances sur grille. In 15èmes rencontres francophones du parallélisme (RenPar'15), pages 169-176, La-Colle-Sur-Loup, France, 15-17 Octobre 2003.
15. A. Wald. Sequential Analysis. WileyPub.inMath.Stat., 1966.