High-level languages for small devices: A case study

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

Descripción

Título: High-level languages for small devices: A case study
Autor/es:
  • Carro Liñares, Manuel
  • Morales Caballero, José Francisco
  • Muller, Henk L.
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 2006 international conference on Compilers, architecture and synthesis for embedded systems
Fechas del Evento: October 22 - 27, 2006
Lugar del Evento: Seoul, Republic of Korea
Título del Libro: CASES '06 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems
Fecha: 2006
ISBN: 1-59593-543-6
Materias:
Palabras Clave Informales: 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.
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

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.

Más información

ID de Registro: 14342
Identificador DC: http://oa.upm.es/14342/
Identificador OAI: oai:oa.upm.es:14342
URL Oficial: http://dl.acm.org/citation.cfm?id=1176794
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 23 Ene 2013 07:36
Ultima Modificación: 21 Abr 2016 13:58
  • 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