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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Davidson, Jack (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Min, Sang Lyul (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 1985
• Θέματα: Programming languages (Electronic computers).; Software engineering.; Operating systems (Computers).; Special purpose computers.; Computer logic.; Programming Languages, Compilers, Interpreters.; Software Engineering/Programming and Operating Systems.; Operating Systems.; Software Engineering.; Special Purpose and Application-Based Systems.; Logics and Meanings of Programs.

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...

Πίνακας περιεχομένων:

• 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.