Result Checking in Global Computing Systems

Proceedings of the International Conference on Supercomputing

Volumn , Issue , 2003, Pages 226-233

  Germain Renaud, Cécile ^a   Playez, Nathalie ^a  

^a UNIVERSITÉ PARIS SUD   (France)

Author keywords

Grid; Program checking; Sequential Test

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; FUNCTIONS; INTEROPERABILITY; MONTE CARLO METHODS; OPTIMIZATION; PROBABILITY; SECURITY OF DATA; SOFTWARE ENGINEERING; STATISTICAL TESTS;

GRID COMPUTING; PROGRAM-CHECKING; SEQUENTIAL TESTS;

INTERNET;

EID: 1142268807     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/782845.782846     Document Type: Conference Paper

References (24)

1. C. Germain et al. Global Computing Systems. In SciCom01. LNCS 2179, Springer, 2001
2. D. Andersen and al. A New Major SETI Project Based on Project Serendip Data and 100,000 Personal Computers. In 5th Intl. Conf. on Bioastronomy, 1997.
3. G. Kan. Gnutella. In P2P: Harnessing the power of disruptive technologies. A. Oram Ed. O'Reilly, 2001.
4. A. Langley. Freenet. In P2P: Harnessing the power of disruptive technologies. A. Oram Ed. O'Reilly, 2001.
5. David R. Karger and Matthias Ruhl. Finding Nearest Neighbors in Growth-restricted Metrics. In STOC '02.
6. I. Foster. The Anatomy of the Grid: Enabling Scalable Virtual Organizations. IJSA, 15(3), 2001.
7. I. Foster, C. Kesselman, J. Nick, S. Tuecke. Grid Services for Distributed System Integration. Computer, 35(6), 2002.
8. S. Raman and S. McCann. A model, Analysis and Protocol Framework for for Soft State-based Communication. Computer Communication Review, 29(4). 1999
9. D. Molnar. The SETI@home problem
10. TCPA Main Specification Version 1.1b. Available at http://www.trustedcomputing.org/
11. A. Wald. Sequential Analysis. Wiley Pub. in Math. Stat.1966
12. D. Siegmund. Sequential Analysis. Springer series in Statistics. 1985.
13. L. Sarmenta Sabotage-Tolerance Mechanisms for Volunteer Computing Systems. FGCS, 18(4). 2002
14. H. Casanova, A. Legrand, D. Zagorodnov, and F. Berman. Heuristics for Scheduling Parameter Sweep Applications in Grid Environments. In 9th Heterogeneous Computing Workshop, 2000.
15. http://www.auger.org
16. P.J. Rousseeuw and A.M. Leroy. Robust regression and outlier detection.. Wiley 1987.
17. M. Blum and H. Wasserman. Program result-checking: A theory of testing meets a test of theory. In 35th FOCS. 1994
18. S. F. Hummel, E. Schonberg, and L. E. Flynn. Factoring: a method for scheduling parallel loops. Comm. ACM, 35(8). 1992.
19. M. Blum and S. Kanna. Designing programs that check their work. In 21th STOC. 1989.
20. O. Goldreich, S. Goldwasser, and D. Ron Property Testing and its Connection to Learning and Approximation. JACM, 45(4). 1998
21. M. A. Kiwi, F. Magniez, M. Santha. Approximate Testing with Relative Error. In 31th STOC. 1999
22. F. Ergun et al. Spot-checkers. In 30th STOC. 1998.
23. L. Loewe. Evolution@home: Experiences with Work Units that Span More than 7 Orders of Magnitude. In Workshop on Global and P2P systems at 2nd IEEE CCGrid. 2002.
24. G. Fedak et al. XtremWeb: a generic Global Computing System. In Workshop on Global Computing on personal devices at 1st IEEE CCGrid