| Formal Methods and Databases |
| Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network / Lucia Lo Bello ; Orazio Mirabella |
| Complex Reactive Control with Simple Synchronous Models / Reinhard Budde ; Axel Poigne |
| Optimistic Secure Real-Time Concurrency Control |
| Using Multiple Data Version / Byeong-Soo Jeong ; Daeho Kim ; Sungyoung Lee |
| Compiler |
| Array Reference Allocation Using SSA-Form and Live Range Growth / Marcelo Cintra ; 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 ; Dharma P. Agrawal |
| Tools |
| A Stochastic Framework for Co-synthesis of Real-Time Systems / S. Chakraverty ; C.P. Ravikumar |
| A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems / Gwangil Jeon ; Tae-Hyung Kim ; Seongsoo Hong ; Sunil Kim |
| A Real-Time Animator for Hybrid Systems / Tobias Amnell ; Alexandre David ; Wang Yi |
| Hardware |
| Reordering Memory Bus Transactions for Reduced Power Consumption / Bruce R. Childers ; Tarun Nakra |
| A Power Efficient Cache Structure for Embedded Processors Based on the Dual Cache Structure / Gi-Ho Park ; Kil-Whan Lee ; Jae-Hyuk Lee ; Tack-Don Han ; Shin-Dug Kim |
| Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems / Matteo Corti ; Roberto Brega ; Thomas Gross |
| Work in Progress |
| A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software / Kwangyong Lee ; Chaedeok Lim ; Kisok Kong ; Heung-Nam Kim |
| Optimizing Code Size through Procedural Abstraction / Johan Runeson ; Sven-Olof Nystrom ; Jan Sjodin |
| Automatic Validation of Code-Improving Transformations / Robert van Engelen ; David Whalley ; Xin Yuan |
| Towards Energy-Aware Iteration Space Tiling / M. Kandemir ; N. Vijaykrishnan ; M.J. Irwin ; H.S. Kim |
| An Integrated Push/Pull Buffer Management Method in Multimedia Communication Environments / Hyon Woo Seung ; Tae Woong Jeon |
| Author Index |
| Formal Methods and Databases |
| Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network / Lucia Lo Bello ; Orazio Mirabella |
| Complex Reactive Control with Simple Synchronous Models / Reinhard Budde ; Axel Poigne |
図書
