Languages, Compilers and Tools for Embedded Systems: Acm Sigplan Workshop Lctes 2000, Vancouver, Canada, June 18, 2000, Proceedings - Lecture Notes in Computer Science - Jack W et Al Davidson - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540417811 - 7 de marzo de 2001
En caso de que portada y título no coincidan, el título será el correcto

Jack W et Al Davidson
Languages, Compilers and Tools for Embedded Systems: Acm Sigplan Workshop Lctes 2000, Vancouver, Canada, June 18, 2000, Proceedings - Lecture Notes in Computer Science

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Constitutes the post-proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, LCTES 2000, held in Vancouver, Canada, June 2000. The book presents 12 papers and five posters on formal methods and databases, compilers, tools, hardware, and work in progress.

Marc Notes: Includes bibliographical references and index. 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 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. Publisher Marketing: 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.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 7 de marzo de 2001
ISBN13 9783540417811
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 236
Dimensiones 156 × 234 × 12 mm   ·   557 g
Lengua Alemán  
Editor Davidson, Jack
Editor Min, Sang Lyul

Mere med samme udgiver

Ver todo de Jack W et Al Davidson ( Ej. Paperback Book )