Languages, Compilers, and Tools for Embedded Systems (Record no. 189129)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 05163nam a22006135i 4500 |
001 - CONTROL NUMBER | |
control field | 978-3-540-45245-4 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20240423132547.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 121227s2001 gw | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9783540452454 |
-- | 978-3-540-45245-4 |
024 7# - OTHER STANDARD IDENTIFIER | |
Standard number or code | 10.1007/3-540-45245-1 |
Source of number or code | doi |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA76.76.C65 |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | UMC |
Source | bicssc |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | COM010000 |
Source | bisacsh |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | UMC |
Source | thema |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.45 |
Edition number | 23 |
245 10 - TITLE STATEMENT | |
Title | Languages, Compilers, and Tools for Embedded Systems |
Medium | [electronic resource] : |
Remainder of title | ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings / |
Statement of responsibility, etc | edited by Jack Davidson, Sang Lyul Min. |
250 ## - EDITION STATEMENT | |
Edition statement | 1st ed. 2001. |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg : |
-- | Imprint: Springer, |
-- | 2001. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | VIII, 228 p. |
Other physical details | online resource. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, |
International Standard Serial Number | 1611-3349 ; |
Volume number/sequential designation | 1985 |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | 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. |
520 ## - SUMMARY, ETC. | |
Summary, etc | 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 ofthanks 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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Compilers (Computer programs). |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Software engineering. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Operating systems (Computers). |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computers, Special purpose. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer science. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Compilers and Interpreters. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Software Engineering. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Operating Systems. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Special Purpose and Application-Based Systems. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer Science Logic and Foundations of Programming. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Davidson, Jack. |
Relator term | editor. |
Relator code | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Min, Sang Lyul. |
Relator term | editor. |
Relator code | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
773 0# - HOST ITEM ENTRY | |
Title | Springer Nature eBook |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Display text | Printed edition: |
International Standard Book Number | 9783540417811 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Display text | Printed edition: |
International Standard Book Number | 9783662204443 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Lecture Notes in Computer Science, |
-- | 1611-3349 ; |
Volume number/sequential designation | 1985 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="https://doi.org/10.1007/3-540-45245-1">https://doi.org/10.1007/3-540-45245-1</a> |
912 ## - | |
-- | ZDB-2-SCS |
912 ## - | |
-- | ZDB-2-SXCS |
912 ## - | |
-- | ZDB-2-LNC |
912 ## - | |
-- | ZDB-2-BAE |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | eBooks-CSE-Springer |
No items available.