LCTES 2000: Vancouver, BC, Canada

Jack W. Davidson, Sang Lyul Min (Eds.): Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES 2000, Vancouver, BC, Canada, June 18, 2000, Proceedings. Lecture Notes in Computer Science 1985 Springer 2001, ISBN 3-540-41781-8

Formal Methods and Databases

Lucia Lo Bello, Orazio Mirabella:
Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network. 1-18
Reinhard Budde, Axel Poigné:
Complex Reactive Control with Simple Synchronous Models. 19-32
Byeong-Soo Jeong, Daeho Kim, Sungyoung Lee:
Optimistic Secure Real-Time Concurrency Control Using Multiple Data Version. 33-47

Compiler

Marcelo Silva Cintra, Guido Araujo:
Array Reference Allocation Using SSA-Form and Live Range Growth. 48-62
Daniel Kästner:
PROPAN: A Retargetable System for Postpass Optimisations and Analyses. 63-80
Deepankar Bairagi, Santosh Pande, Dharma P. Agrawal:
A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors. 81-95

Tools

S. Chakraverty, C. P. Ravikumar:
A Stochastic Framework for Co-synthesis of Real-Time Systems. 96-113
Gwangil Jeon, Tae-Hyung Kim, Seongsoo Hong, Sunil Kim:
A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems. 114-133
Tobias Amnell, Alexandre David, Wang Yi:
A Real-Time Animator for Hybrid Systems. 134-145

Hardware

Bruce R. Childers, Tarun Nakra:
Reordering Memory Bus Transactions for Reduced Power Consumption. 146-161
Gi-Ho Park, Kil-Whan Lee, Jae-Hyuk Lee, Tack-Don Han, Shin-Dug Kim:
A Power Efficient Cache Structure for Embedded Processors Based on the Dual Cache Structure. 162-177
Matteo Corti, Roberto Brega, Thomas R. Gross:
Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems. 178-198

Work in Progress

Kwangyong Lee, Chaedeok Lim, Kisok Kong, Heung-Nam Kim:
A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software. 199-203
Johan Runeson, Sven-Olof Nyström, Jan Sjödin:
Optimizing Code Size through Procedural Abstraction. 204-205
Robert van Engelen, David B. Whalley, Xin Yuan:
Automatic Validation of Code-Improving Transformations. 206-210
Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Hyun Suk Kim:
Towards Energy-Aware Iteration Space Tiling. 211-215
Sungyoung Lee, Hyonwoo Seung, Taewoong Jeon:
An Integrated Push/Pull Buffer Management Method in Multimedia Communication Environments. 216-220

Last update Fri May 25 08:25:15 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page