Some techniques for automated, resource-aware distributed and mobile computing in a multi-paradigm programming system

Hermenegildo, Manuel V.; Albert Albiol, Elvira; López García, Pedro y Puebla Sánchez, Alvaro Germán (2004). Some techniques for automated, resource-aware distributed and mobile computing in a multi-paradigm programming system. En: "10th International Euro-Par Conference", August 31-September 3, 2004, Pisa, Italy. ISBN 9783540229247.

Descripción

Título: Some techniques for automated, resource-aware distributed and mobile computing in a multi-paradigm programming system
Autor/es:
  • Hermenegildo, Manuel V.
  • Albert Albiol, Elvira
  • López García, Pedro
  • Puebla Sánchez, Alvaro Germán
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 10th International Euro-Par Conference
Fechas del Evento: August 31-September 3, 2004
Lugar del Evento: Pisa, Italy
Título del Libro: Euro-Par 2004 Parallel Processing
Fecha: Agosto 2004
ISBN: 9783540229247
Volumen: 3149
Materias:
Palabras Clave Informales: resource awareness, granularity control, mobile code certification, distributed execution, GRIDs, recursos comunitarios, certificación de código móvil, ejecución distribuida
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Resumen

Distributed parallel execution systems speed up applications by splitting tasks into processes whose execution is assigned to different receiving nodes in a high-bandwidth network. On the distributing side, a fundamental problem is grouping and scheduling such tasks such that each one involves sufñcient computational cost when compared to the task creation and communication costs and other such practical overheads. On the receiving side, an important issue is to have some assurance of the correctness and characteristics of the code received and also of the kind of load the particular task is going to pose, which can be specified by means of certificates. In this paper we present in a tutorial way a number of general solutions to these problems, and illustrate them through their implementation in the Ciao multi-paradigm language and program development environment. This system includes facilities for parallel and distributed execution, an assertion language for specifying complex programs properties (including safety and resource-related properties), and compile-time and run-time tools for performing automated parallelization and resource control, as well as certification of programs with resource consumption assurances and efñcient checking of such certificates.

Más información

ID de Registro: 14541
Identificador DC: http://oa.upm.es/14541/
Identificador OAI: oai:oa.upm.es:14541
URL Oficial: http://link.springer.com/chapter/10.1007%2F978-3-540-27866-5_3
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 23 Feb 2013 07:27
Ultima Modificación: 21 Abr 2016 14:15
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM