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

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

Description

Title: Some techniques for automated, resource-aware distributed and mobile computing in a multi-paradigm programming system
Author/s:
  • Hermenegildo, Manuel V.
  • Albert Albiol, Elvira
  • López García, Pedro
  • Puebla Sánchez, Alvaro Germán
Item Type: Presentation at Congress or Conference (Article)
Event Title: 10th International Euro-Par Conference
Event Dates: August 31-September 3, 2004
Event Location: Pisa, Italy
Title of Book: Euro-Par 2004 Parallel Processing
Date: August 2004
ISBN: 9783540229247
Volume: 3149
Subjects:
Freetext Keywords: resource awareness, granularity control, mobile code certification, distributed execution, GRIDs, recursos comunitarios, certificación de código móvil, ejecución distribuida
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

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.

More information

Item ID: 14541
DC Identifier: http://oa.upm.es/14541/
OAI Identifier: oai:oa.upm.es:14541
Official URL: http://link.springer.com/chapter/10.1007%2F978-3-540-27866-5_3
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 23 Feb 2013 07:27
Last Modified: 21 Apr 2016 14:15
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM