Coverart for item
The Resource Languages, Compilers, and Tools for Embedded Systems : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 Proceedings, edited by Jack Davidson, Sang Lyul Min, (electronic resource)

Languages, Compilers, and Tools for Embedded Systems : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 Proceedings, edited by Jack Davidson, Sang Lyul Min, (electronic resource)

Label
Languages, Compilers, and Tools for Embedded Systems : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 Proceedings
Title
Languages, Compilers, and Tools for Embedded Systems
Title remainder
ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 Proceedings
Statement of responsibility
edited by Jack Davidson, Sang Lyul Min
Creator
Contributor
Editor
Subject
Genre
Language
  • eng
  • eng
Summary
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
Member of
Cataloging source
MiAaPQ
http://bibfra.me/vocab/relation/corporateauthor
859F_B7HAMo
Dewey number
005.1
Image bit depth
0
Language note
English
LC call number
  • QA76.7-76.73
  • QA76.76.C65
Literary form
non fiction
Nature of contents
dictionaries
Series statement
Lecture Notes in Computer Science,
Series volume
1985
Label
Languages, Compilers, and Tools for Embedded Systems : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 Proceedings, edited by Jack Davidson, Sang Lyul Min, (electronic resource)
Instantiates
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Bibliography note
Includes bibliographical references at the end of each chapters and index
Carrier category
online resource
Carrier category code
cr
Color
not applicable
Content category
text
Content type code
txt
Contents
Formal Methods and Databases -- Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network -- Complex Reactive Control with Simple Synchronous Models -- Optimistic Secure Real-Time Concurrency Control Using Multiple Data Version -- Compiler -- Array Reference Allocation Using SSA-Form and Live Range Growth -- PROPAN: A Retargetable System for Postpass Optimisations and Analyses -- A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors -- Tools -- A Stochastic Framework for Co-synthesis of Real-Time Systems -- A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems -- A Real-Time Animator for Hybrid Systems -- Hardware -- Reordering Memory Bus Transactions for Reduced Power Consumption -- A Power Efficient Cache Structure for Embedded Processors Based on the Dual Cache Structure -- Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems -- Work in Progress -- A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software -- Optimizing Code Size through Procedural Abstraction -- Automatic Validation of Code-Improving Transformations -- Towards Energy-Aware Iteration Space Tiling -- An Integrated Push/Pull Buffer Management Method in Multimedia Communication Environments
Dimensions
unknown
Extent
1 online resource (VIII, 228 p.)
File format
multiple file formats
Form of item
online
Isbn
9783540452454
Level of compression
uncompressed
Media category
computer
Media type code
c
Other control number
10.1007/3-540-45245-1
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)1000000000211399
  • (SSID)ssj0000324308
  • (PQKBManifestationID)11912678
  • (PQKBTitleCode)TC0000324308
  • (PQKBWorkID)10313068
  • (PQKB)10770575
  • (DE-He213)978-3-540-45245-4
  • (MiAaPQ)EBC3073291
  • (EXLCZ)991000000000211399
Label
Languages, Compilers, and Tools for Embedded Systems : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 Proceedings, edited by Jack Davidson, Sang Lyul Min, (electronic resource)
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Bibliography note
Includes bibliographical references at the end of each chapters and index
Carrier category
online resource
Carrier category code
cr
Color
not applicable
Content category
text
Content type code
txt
Contents
Formal Methods and Databases -- Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network -- Complex Reactive Control with Simple Synchronous Models -- Optimistic Secure Real-Time Concurrency Control Using Multiple Data Version -- Compiler -- Array Reference Allocation Using SSA-Form and Live Range Growth -- PROPAN: A Retargetable System for Postpass Optimisations and Analyses -- A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors -- Tools -- A Stochastic Framework for Co-synthesis of Real-Time Systems -- A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems -- A Real-Time Animator for Hybrid Systems -- Hardware -- Reordering Memory Bus Transactions for Reduced Power Consumption -- A Power Efficient Cache Structure for Embedded Processors Based on the Dual Cache Structure -- Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems -- Work in Progress -- A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software -- Optimizing Code Size through Procedural Abstraction -- Automatic Validation of Code-Improving Transformations -- Towards Energy-Aware Iteration Space Tiling -- An Integrated Push/Pull Buffer Management Method in Multimedia Communication Environments
Dimensions
unknown
Extent
1 online resource (VIII, 228 p.)
File format
multiple file formats
Form of item
online
Isbn
9783540452454
Level of compression
uncompressed
Media category
computer
Media type code
c
Other control number
10.1007/3-540-45245-1
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)1000000000211399
  • (SSID)ssj0000324308
  • (PQKBManifestationID)11912678
  • (PQKBTitleCode)TC0000324308
  • (PQKBWorkID)10313068
  • (PQKB)10770575
  • (DE-He213)978-3-540-45245-4
  • (MiAaPQ)EBC3073291
  • (EXLCZ)991000000000211399

Library Locations

  • Albert D. Cohen Management LibraryBorrow it
    181 Freedman Crescent, Winnipeg, MB, R3T 5V4, CA
    49.807878 -97.129961
  • Architecture/Fine Arts LibraryBorrow it
    84 Curry Place, Winnipeg, MB, CA
    49.807716 -97.136226
  • Archives and Special CollectionsBorrow it
    25 Chancellors Circle (Elizabeth Dafoe Library), Room 330, Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Bibliothèque Alfred-Monnin (Université de Saint-Boniface)Borrow it
    200, avenue de la Cathédrale, Local 2110, Winnipeg, MB, R2H 0H7, CA
    49.888861 -97.119735
  • Bill Larson Library (Grace Hospital)Borrow it
    300 Booth Drive, G-227, Winnipeg, MB, R3J 3M7, CA
    49.882400 -97.276436
  • Carolyn Sifton - Helene Fuld Library (St. Boniface General Hospital)Borrow it
    409 Tache Avenue, Winnipeg, MB, R2H 2A6, CA
    49.883388 -97.126050
  • Concordia Hospital LibraryBorrow it
    1095 Concordia Avenue, Winnipeg, MB, R2K 3S8, CA
    49.913252 -97.064683
  • Donald W. Craik Engineering LibraryBorrow it
    75B Chancellors Circle (Engineering Building E3), Room 361, Winnipeg, MB, R3T 2N2, CA
    49.809053 -97.133292
  • E.K. Williams Law LibraryBorrow it
    224 Dysart Road, Winnipeg, MB, R3T 5V4, CA
    49.811829 -97.131017
  • Eckhardt-Gramatté Music LibraryBorrow it
    136 Dafoe Road (Taché Arts Complex), Room 257, Winnipeg, MB, R3T 2N2, CA
    49.807964 -97.132222
  • Elizabeth Dafoe LibraryBorrow it
    25 Chancellors Circle, Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Fr. H. Drake Library (St. Paul's College)Borrow it
    70 Dysart Road, Winnipeg, MB, R3T 2M6, CA
    49.810605 -97.138184
  • J.W. Crane Memorial Library (Deer Lodge Centre)Borrow it
    2109 Portage Avenue, Winnipeg, MB, R3J 0L3, CA
    49.878000 -97.235520
  • Libraries Annex (not open to the public; please see web page for details)Borrow it
    25 Chancellors Circle (in the Elizabeth Dafoe Library), Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Neil John Maclean Health Sciences LibraryBorrow it
    727 McDermot Avenue (Brodie Centre), 200 Level, Winnipeg, MB, R3E 3P5, CA
    49.903563 -97.160554
  • Sciences and Technology LibraryBorrow it
    186 Dysart Road, Winnipeg, MB, R3T 2M8, CA
    49.811526 -97.133257
  • Seven Oaks General Hospital LibraryBorrow it
    2300 McPhillips Street, Winnipeg, MB, R2V 3M3, CA
    49.955177 -97.148865
  • Sister St. Odilon Library (Misericordia Health Centre)Borrow it
    99 Cornish Avenue, Winnipeg, MB, R3C 1A2, CA
    49.879592 -97.160425
  • St. John's College LibraryBorrow it
    92 Dysart Road, Winnipeg, MB, R3T 2M5, CA
    49.811242 -97.137156
  • Victoria General Hospital LibraryBorrow it
    2340 Pembina Highway, Winnipeg, MB, R3T 2E8, CA
    49.806755 -97.152739
  • William R Newman Library (Agriculture)Borrow it
    66 Dafoe Road, Winnipeg, MB, R3T 2R3, CA
    49.806936 -97.135525
Processing Feedback ...