ULHPC - University of Luxembourg: High Performance Computing
Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-CONFERENCE-2009-875
Auteur, co-auteur :
Guelton, S.
Gautier, T.
Pazat, J.-L.
VARRETTE, Sébastien ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Langue du document :
Anglais
Titre :
Dynamic Adaptation Applied to Sabotage Tolerance
Date de publication/diffusion :
2009
Nom de la manifestation :
Proc. of the IEEE 17th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2009)
Date de la manifestation :
Feb 2009
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proc. of the IEEE 17th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2009)
Maison d'édition :
IEEE Computer Society
ISBN/EAN :
978-0-7695-3544-9
Pagination :
237–244
Peer reviewed :
Peer reviewed
Commentaire :
Proc. of the IEEE 17th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2009)
Sébastien Varrette, "Sécurité des Architectures de Calcul Distribué: Authentification et Certification de Résultats," Ph.D. dissertation, INP Grenoble et Université du Luxembourg, September 2007.
"Cert/cc statistics 1988-2007," Web site, http://www.cert.org/ stats/.
W. T. Sullivan, D. Werthimer, S. Bowyer, J. Cobb, D. Gedye, and D. Anderson, "A new major SETI project based on Project Serendip data and 100,000 personal computers," in Proceedings of the Fifth Intl. Conf. on Bioastronomy, 1997.
D. Molnar, "The SETI@Home Problem," November 2000, [Online] see www.acm.org/crossroads/columns/onpatrol/september2000.html .
D. P. Anderson, "Volunteer computing: Planting the flag," March 30 2007, keynote address at the PCGrid 2007 workshop held at the IPDPS conference.
H. Wasserman and M. Blum, "Software Reliability via Run Time Result-Checking," Journal of the ACM, vol. 44, no. 6, pp. 826-849, 1997.
L. F. G. Sarmenta, "Sabotage-Tolerance Mechanisms for Volunteer Computing Systems," Future Generation Computer Systems, vol.18, no.4, pp. 561-572, march 2002.
J. M. M. M. M. Du, W. Jia, "Uncheatable grid computing," in Proceedings of 24th Intl. Conf. on Distributed Computing Systems, 2004, pp. 4-11.
C. germain and D. Monnier-Ragaigne, "Grid Result Checking," in Proceedings ofthe 2nd conference on Computing frontiers. Ischia, Italy: ACM Press, May 2005, pp. 87-96.
Sébastien Varrette, J.-L. Roch, J. Montagnat, L. Seitz, J.-M. Pierson, and F. Leprévost, "Safe Distributed Architecture for Image-based Computer Assisted Diagnosis," in IEEE 1st International Workshop on Health Pervasive Systems (HPS'06), Lyon, France, june 2006. [Online]. Available: http://liris.cnrs.fr/hps06/
F. Galilée, J.-L. Roch, G. G. H. Cavalheiro, and M. Doreille, "Athapascan-1: On-line building data flow graph in a parallel language," in IEEE PACT, 1998, pp. 88-95.
J. Buisson, F. Andre, and Pazat, Jean-Louis, "A framework for dynamic adaptation of parallel components," in ParCo 2005, Malaga, Spain, 13-16 September 2005. [Online]. Available: http://www.irisa.fr/paris/Biblio/ Papers/Buisson/BuiAndPaz05PARCO.pdf.
J. Buisson, F. Andre, and Pazat, Jean-Louis, "Enforcing consistency during the adaptation of a parallel component," in The 4th International Symposium on Parallel and Distributed Computing. Lille, France: IEEE, July 2005, pp. 6673. [Online]. Available: http://www.irisa.fr/paris/Biblio/Papers/Buisson/ BuiAndPaz05ISPDC.pdf.
J. Cámara, C. Canal, J. Cubo, and J. M. Murillo, "An aspect-oriented adaptation framework for dynamic component evolution," Electr. Notes Theor. Comput. Sci., vol.189, pp. 21-34, 2007.
E. Truyen, N. Janssens, F. Sanen, and W. Joosen, "Support for distributed adaptations in aspect-oriented middleware," in AOSD, 2008, pp. 120-131.
O. Spinczyk, D. Lohmann, and M. Urban, "AspectC++: an AOP extension for C++," Software Developers Journal, no.5, pp. 68-76, May 2005.
S. Almajali and T. Elrad, "Dynamic network policies using aspect oriented network framework," in ICN/ICONS/MCL, 2006, p. 47.
R. S. Boyer and J. S. Moore, The Correctness Problem in Computer Science. Orlando, FL, USA: Academic Press, Inc., 1982.
G. C. Necula and P. Lee, "Proof-Carrying Code," in Proceedings of the ACM symposium on Principles of Programming Languages. Paris, France: ACM, January 1997, pp. 106-119.
G. Morrisett, K. Crary, N. Glew, D. Grossman, R. Samuels, F. Smith, D. Walker, S. Weirich, and S. Zdancewic, "TALx86: A realistic typed assembly language," in Second Workshop on Compiler Support for System Software (WCSSS'99). Atlanta, Georgia, USA: ACM, may 1999.
M. Blum and S. Kannan, "Designing programs that check their work," in 21st ACM Symposium on the Theory of Computing. ACM Press, 1989, pp. 86-97.
O. Goldreich, S. Goldwasser, and D. Ron, "Property testing and its connection to learning and approximation," Journal of the ACM, vol.4, no.4, pp. 653-750, July 1998.
Sébastien Varrette, J.-L. Roch, and F. Leprevost, "FlowCert : Probabilistic Certification for Peer-to-Peer Computations," in 16th Symposium on Computer Architecture and High Performance Computing, IEEE SBAC-PAD 2004. Foz do Iguacu, Bresil: IEEE, October 2004, pp. 108-115. [Online]. Available: http://www.sbc.org.br/sbac/2004/.
A. Krings, J.-L. Roch, S. Jafar, and Sébastien Varrette, "A Probabilistic Approach for Task and Result Certification of Large-scale Distributed Applications in Hostile Environments," in European Grid Conference (EGC2005), ser. LNCS 3470. Amsterdam, Netherlands: Springer Verlag, February 14-16 2005. [Online]. Available: http://genias.biz/egc2005/.
A. W. Krings, J.-L. Roch, and S. Jafar, "Certification of large distributed computations with task dependencies in hostile environments," in IEEE Electro/Information Technology Conference, (EIT 2005), IEEE, Ed., Lincoln, Nebraska, May 2005. [Online]. Available: http://www.nuengr.unl.edu/ eit2005/.
J.-L. Roch and Sébastien Varrette, "Probabilistic Certification of Divide & Conquer Algorithms on Global Computing Platforms. Application to Fault-Tolerant Exact Matrix-Vector Product." in ACM International Workshop on Parallel Symbolic Computation'07 (PASCO'07). London, Ontario, Canada: ACM, July 2007, pp. 88-92. [Online]. Available: http://www.orcca.on.ca/conferences/pasco2007/.
M. A. Bender and M. O. Rabin, "Online Scheduling of Parallel Programs on Heterogeneous Systems with Applications to Cilk." Theory Comput. Syst., vol.35, no.3, pp. 289-304, 2002.
M. Frigo, C. E. Leiserson, and K. H. Randall, "The implementation of the Cilk-5 multithreaded language," in PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation. New York, NY, USA: ACM Press, 1998, pp. 212-223.
Thierry Gautier, X. Besseron, and L. Pigeon, "Kaapi: A thread scheduling runtime system for data flow computations on cluster of multi-processors," in PASCO, 2007, pp. 15-23.
S. Jafar, Gautier, Thierry, A. W. Krings, and J.-L. Roch.
J.-L. Roch, D. Traore, and J. Bernard, "On-line adaptive parallel prefix computation," in LNCS 4128, EUROPAR'2006, August 2006, pp. 843-850. [Online]. Available: http://www.europar2006.de/
M. Aldinucci, F. André, J. Buisson, S. Campa, M. Coppola, M. Danelutto, and C. Zoccolo, "An abstract schema modelling adaptivity management," in Integrated Research in GRID Computing, S. Gorlatch and M. Danelutto, Eds. Springer, 2007, proceedings of the CoreGRID Integration Workshop 2005. [Online]. Available: http://www.irisa.fr/paris/Biblio/Papers/Buisson/ AldAndBuiCamCopDanZoc06CGIW.pdf
E. Bruneton, T. Coupaye, M. Leclercq, V. Quema, and J.-B. Stefani, "An open component model and its support in java," in CBSE, 2004, pp. 7-22.
Thierry Gautier, J.-L. Roch, and F. Wagner, "Fine grain distributed implementation of a dataflow language with provable performances," in International Conference on Computational Science (2), 2007, pp. 593-600.
R. Douence and M. Südholt, "A generic reification technique for object-oriented reflective languages," Higher Order Symbol. Comput., vol.14, no.1, pp. 7-34, 2001.
R. Bolze, F. Cappello, E. Caron, M. Daydé, F. Desprez, E. Jeannot, Y. Jégou, S. Lantéri, J. Leduc, N. Melab, G. Mornet, R. Namyst, P. Primet, B. Quetier, O. Richard, E.-G. Talbi, and T. Iréa, "Grid'5000: a large scale and highly reconfigurable experimental grid testbed." International Journal of High Performance Computing Applications, vol. 20, no. 4, pp. 481-494, Nov. 2006.
