Languages, Compilers, and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings

Languages, Compilers, and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings

Paperback(2001)

$99.00
Use Standard Shipping. For guaranteed delivery by December 24, use Express or Expedited Shipping.

Product Details

ISBN-13: 9783540417811
Publisher: Springer Berlin Heidelberg
Publication date: 04/20/2001
Series: Lecture Notes in Computer Science , #1985
Edition description: 2001
Pages: 228
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of 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 Shastic 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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews