LCTES 2000: Vancouver, BC, Canada

@proceedings{DBLP:conf/lctrts/2000,
  editor    = {Jack W. Davidson and
               Sang Lyul Min},
  title     = {Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN
               Workshop LCTES 2000, Vancouver, BC, Canada, June 18, 2000, Proceedings},
  booktitle = {LCTES},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1985},
  year      = {2001},
  isbn      = {3-540-41781-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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
  Electronic Edition (Springer LINK) BibTeX
• Reinhard Budde, Axel Poigné:
  Complex Reactive Control with Simple Synchronous Models. 19-32
  Electronic Edition (Springer LINK) BibTeX
• Byeong-Soo Jeong, Daeho Kim, Sungyoung Lee:
  Optimistic Secure Real-Time Concurrency Control Using Multiple Data Version. 33-47
  Electronic Edition (Springer LINK) BibTeX

Compiler

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

Tools

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

Hardware

• Bruce R. Childers, Tarun Nakra:
  Reordering Memory Bus Transactions for Reduced Power Consumption. 146-161
  Electronic Edition (Springer LINK) BibTeX
• 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
  Electronic Edition (Springer LINK) BibTeX
• Matteo Corti, Roberto Brega, Thomas R. Gross:
  Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems. 178-198
  Electronic Edition (Springer LINK) BibTeX

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
  Electronic Edition (Springer LINK) BibTeX
• Johan Runeson, Sven-Olof Nyström, Jan Sjödin:
  Optimizing Code Size through Procedural Abstraction. 204-205
  Electronic Edition (Springer LINK) BibTeX
• Robert van Engelen, David B. Whalley, Xin Yuan:
  Automatic Validation of Code-Improving Transformations. 206-210
  Electronic Edition (Springer LINK) BibTeX
• Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Hyun Suk Kim:
  Towards Energy-Aware Iteration Space Tiling. 211-215
  Electronic Edition (Springer LINK) BibTeX
• Sungyoung Lee, Hyonwoo Seung, Taewoong Jeon:
  An Integrated Push/Pull Buffer Management Method in Multimedia Communication Environments. 216-220
  Electronic Edition (Springer LINK) BibTeX