Amazon cover image
Image from Amazon.com

Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings / Jack Davidson, Sang Lyul Min, eds.

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 1985.Publication details: Berlin ; New York : Springer, ©2001.Description: 1 online resource (viii, 220 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540452454
  • 3540452451
Subject(s): Genre/Form: Additional physical formats: Print version:: Languages, compilers, and tools for embedded systems.DDC classification:
  • 005.1 21
LOC classification:
  • QA76.6 .A13 2000
Other classification:
  • 54.54
  • SS 4800
  • DAT 350f
Online resources:
Contents:
Randomization-based approaches for dynamic priority scheduling of aperiodic messages on a CAN network / Lucia Lo Bello and Orazio Mirabella -- Complex reactive control with simple synchronous models / Reinhard Budde and Axel Poigne -- Optimistic secure real-time concurrency control using multiple data version / Byeong-Soo Jeong, Daeho Kim, and Sungyoung Lee -- Array reference allocation using SSA-form and live range growth / Marcelo Cintra and Guido Araujo -- PROPAN: a retargetable system for postpass optimisations and analyses / Daniel Kastner -- A framework for enhancing code quality in limited register set embedded processors / Deepankar Bairagi, Santosh Pande, and Dharma P. Agrawal -- A stochastic framework for co-synthesis of real-time systems / S. Chakraverty and C.P. Ravikumar -- A fault tolerance extension to the embedded CORBA for the CAN bus systems / Gwangil Jeon . [and others] -- A real-time animator for hybrid systems / Tobias Amnell, Alexandre David, and Wang Yi -- Reordering memory bus transactions for reduced power consumption / Bruce R. Childers and Tarun Nakra -- A power efficient cache structure for embedded processors based on the dual cache structure / Gi-Ho Park . [and others] -- Approximation of worst-case execution time for preemptive multitasking systems / Matteo Corti, Roberto Brega, and Thomas Gross -- A design and implementation of a remote debugging environment for embedded internet software / Kwangyong Lee . [and others] -- Optimizing code size through procedural abstraction / Johan Runeson, Sven-Olof Nystrom, and Jan Sjodin -- Automatic validation of code-improving transformations / Robert van Engelen, David Whalley, and Xin Yuan -- Towards energy-aware iteration space tiling / M. Kandemir . [and others] -- An integrated push/pull buffer management method in multimedia communication environments / Sungyoung Lee, Hyon Woo Seung, and Tae Woong Jeon.
Summary: This book constitutes the thoroughly refereed post-proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, LCTES 2000, held in Vancouver, Canada, in June 2000. The 12 revised full papers presented together with five posters were carefully reviewed and selected from a total of 43 submissions. The book presents topical sections on formal methods and databases, compilers, tools, hardware, and work in process.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Randomization-based approaches for dynamic priority scheduling of aperiodic messages on a CAN network / Lucia Lo Bello and Orazio Mirabella -- Complex reactive control with simple synchronous models / Reinhard Budde and Axel Poigne -- Optimistic secure real-time concurrency control using multiple data version / Byeong-Soo Jeong, Daeho Kim, and Sungyoung Lee -- Array reference allocation using SSA-form and live range growth / Marcelo Cintra and Guido Araujo -- PROPAN: a retargetable system for postpass optimisations and analyses / Daniel Kastner -- A framework for enhancing code quality in limited register set embedded processors / Deepankar Bairagi, Santosh Pande, and Dharma P. Agrawal -- A stochastic framework for co-synthesis of real-time systems / S. Chakraverty and C.P. Ravikumar -- A fault tolerance extension to the embedded CORBA for the CAN bus systems / Gwangil Jeon . [and others] -- A real-time animator for hybrid systems / Tobias Amnell, Alexandre David, and Wang Yi -- Reordering memory bus transactions for reduced power consumption / Bruce R. Childers and Tarun Nakra -- A power efficient cache structure for embedded processors based on the dual cache structure / Gi-Ho Park . [and others] -- Approximation of worst-case execution time for preemptive multitasking systems / Matteo Corti, Roberto Brega, and Thomas Gross -- A design and implementation of a remote debugging environment for embedded internet software / Kwangyong Lee . [and others] -- Optimizing code size through procedural abstraction / Johan Runeson, Sven-Olof Nystrom, and Jan Sjodin -- Automatic validation of code-improving transformations / Robert van Engelen, David Whalley, and Xin Yuan -- Towards energy-aware iteration space tiling / M. Kandemir . [and others] -- An integrated push/pull buffer management method in multimedia communication environments / Sungyoung Lee, Hyon Woo Seung, and Tae Woong Jeon.

This book constitutes the thoroughly refereed post-proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, LCTES 2000, held in Vancouver, Canada, in June 2000. The 12 revised full papers presented together with five posters were carefully reviewed and selected from a total of 43 submissions. The book presents topical sections on formal methods and databases, compilers, tools, hardware, and work in process.

English.

Powered by Koha