High-level languages for small devices: A case study

Carro Liñares, Manuel and Morales Caballero, José Francisco and Muller, Henk L. and Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (2006). High-level languages for small devices: A case study. In: "2006 international conference on Compilers, architecture and synthesis for embedded systems", October 22 - 27, 2006, Seoul, Republic of Korea. ISBN 1-59593-543-6.

Description

Title: High-level languages for small devices: A case study
Author/s:
  • Carro Liñares, Manuel
  • Morales Caballero, José Francisco
  • Muller, Henk L.
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 2006 international conference on Compilers, architecture and synthesis for embedded systems
Event Dates: October 22 - 27, 2006
Event Location: Seoul, Republic of Korea
Title of Book: CASES '06 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems
Date: 2006
ISBN: 1-59593-543-6
Subjects:
Freetext Keywords: Optimizing compilation, wearable computers, program analysis and transformation, (constraint) logic programming, ordenadores portátiles, programación lógica, análisis de programas y trasformación.
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

In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting wearable computers. The case study is a "sound spatializer" which, given real-time signáis for monaural audio and heading, generates stereo sound which appears to come from a position in space. The use of advanced compile-time transformations and optimizations made it possible to execute code written in a clear style without efñciency or architectural concerns on the target device, while meeting strict existing time and memory constraints. The final executable compares favorably with a similar implementation written in C. We believe that this case is representative of a wider class of common pervasive computing applications, and that the techniques we show here can be put to good use in a range of scenarios. This points to the possibility of applying high-level languages, with their associated flexibility, conciseness, ability to be automatically parallelized, sophisticated compile-time tools for analysis and verification, etc., to the embedded systems field without paying an unnecessary performance penalty.

More information

Item ID: 14342
DC Identifier: http://oa.upm.es/14342/
OAI Identifier: oai:oa.upm.es:14342
Official URL: http://dl.acm.org/citation.cfm?id=1176794
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 23 Jan 2013 07:36
Last Modified: 21 Apr 2016 13:58
  • 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