Languages, Compilers, and Tools for Embedded Systems

ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 Proceedings

  • Jack Davidson
  • Sang Lyul Min
Conference proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1985)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Formal Methods and Databases

  3. Compiler

  4. Tools

    1. S. Chakraverty, C. P. Ravikumar
      Pages 96-113
    2. Gwangil Jeon, Tae-Hyung Kim, Seongsoo Hong, Sunil Kim
      Pages 114-133
    3. Tobias Amnell, Alexandre David, Wang Yi
      Pages 134-145
  5. Hardware

    1. Bruce R. Childers, Tarun Nakra
      Pages 146-161
    2. Gi-Ho Park, Kil-Whan Lee, Jae-Hyuk Lee, Tack-Don Han, Shin-Dug Kim
      Pages 162-177
    3. Matteo Corti, Roberto Brega, Thomas Gross
      Pages 178-198
  6. Work in Progress

    1. Kwangyong Lee, Chaedeok Lim, Kisok Kong, Heung-Nam Kim
      Pages 199-203
    2. Johan Runeson, Sven-Olof Nyström, Jan Sjödin
      Pages 204-205
    3. Robert van Engelen, David Whalley, Xin Yuan
      Pages 206-210
    4. M. Kandemir, N. Vijaykrishnan, M. J. Irwin, H. S. Kim
      Pages 211-215
    5. Sungyoung Lee, Hyon Woo Seung, Tae Woong Jeon
      Pages 216-220
  7. Back Matter
    Pages 221-221

About these proceedings

Introduction

This volume contains the proceedings of the ACM SIGPLAN Workshop on L- guages, Compilers, and Tools for Embedded Systems (LCTES 2000), held June 18, 2000, in Vancouver, Canada. Embedded systems have developed consid- ably in the past decade and we expect this technology to become even more important in computer science and engineering in the new millennium. Interest in the workshop has been con rmed by the submission of papers from all over the world. There were 43 submissions representing more than 14 countries. Each submitted paper was reviewed by at least three members of the program committee. The expert opinions of many outside reviewers were in- luable in making the selections and ensuring the high quality of the program, for which, we express our sincere gratitude. The nal program features one invited talk, twelve presentations, and ve poster presentations, which re?ect recent - vances in formal systems, compilers, tools, and hardware for embedded systems. We owe a great deal of thanks to the authors, reviewers, and the members of the program committee for making the workshop a success. Special thanks to Jim Larus, the General Chair of PLDI 2000 and Julie Goetz of ACM for all their help and support. Thanks should also be given to Sung-Soo Lim at Seoul National University for his help in coordinating the paper submission and review process. We also thank Professor Gaetano Borriello of the University of Washington for his invited talk on Chinook, a hardware-software co-synthesis CAD tool for embedded systems.

Keywords

Architecture Code Optimization Compilation Embedded Systems Formal Methods Hardware Languages Multitasking Reactive Systems Real-Time Systems Scheduling Systems Validation Tools compiler formal method

Editors and affiliations

  • Jack Davidson
    • 1
  • Sang Lyul Min
    • 2
  1. 1.Department of Computer ScienceUniversity of Virginia, School of Engineering and Applied ScienceCharlottesvilleUSA
  2. 2.Department of Computer EngineeringSeoul National UniversitySeoulKorea

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45245-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41781-1
  • Online ISBN 978-3-540-45245-4
  • Series Print ISSN 0302-9743
  • About this book