Languages, Compilers, and Tools for Embedded Systems
Editat de Jack Davidson, Sang Lyul Minen Limba Engleză Paperback – 7 mar 2001
Preț: 318.89 lei
Preț vechi: 398.61 lei
-20%
Puncte Express: 478
Preț estimativ în valută:
56.34€ • 64.77$ • 48.93£
56.34€ • 64.77$ • 48.93£
Carte tipărită la comandă
Livrare economică 13-27 mai
Specificații
ISBN-13: 9783540417811
ISBN-10: 3540417818
Pagini: 236
Ilustrații: VIII, 228 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.37 kg
Ediția:2001
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540417818
Pagini: 236
Ilustrații: VIII, 228 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.37 kg
Ediția:2001
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.
Caracteristici
Includes supplementary material: sn.pub/extras