Languages, Compilers and Tools for Embedded Systems ACM Sigplan Workshop LCTES 2000, Vancouver, Canada, June 2000 - Proceedings

Name: Languages, Compilers and Tools for Embedded Systems ACM Sigplan Workshop LCTES 2000, Vancouver, Canada, June 2000 - Proceedings
Availability: InStock
ISBN: 9783540417811

ISBN-10: 3540417818

ISBN-13: 9783540417811

Edition: 2001

Authors: Jack Davidson, Sang Lyul Min

List price: $54.99

30 day, 100% satisfaction guarantee!

Rent eBooks

30 day rental: $16.50 Expiration date: 6/15/2024

90 day rental: $27.50 Expiration date: 8/14/2024

180 day rental: $35.75 Expiration date: 11/12/2024

Marketplace

3 new & used from $42.64

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

This book constitutes the thoroughly refereed post-proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, LCTES 2000, held in Vancouver, Canada, in June 2000.The 12 revised full papers presented together with five posters were carefully reviewed and selected from a total of 43 submissions. The book presents topical sections on formal methods and databases, compilers, tools, hardware, and work in process.

Book details

List price: $54.99
Copyright year: 2001
Publisher: Springer Berlin / Heidelberg
Publication date: 3/7/2001
Binding: Paperback
Pages: 228
Size: 6.10" wide x 9.25" long x 0.50" tall
Weight: 1.650
Language: English



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



Author Index