Languages, Compilers, and Tools for Embedded Systems

ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings

By: Jack Davidson (Editor), Sang Lyul Min (Editor)

Write A Review

Paperback | 7 March 2001

At a Glance

Paperback
236 Pages

Dimensions(cm)
24.13 x 15.88 x 1.27

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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 in computer science and engineering in the new millennium. Interest in the workshop has been con rmed by the submission of papers from all over the world. There were 43 submissions representing more than 14 countries. Each submitted paper was reviewed by at least three members of the program committee. The expert opinions of many outside reviewers were in- luable in making the selections and ensuring the high quality of the program, for which, we express our sincere gratitude. The nal program features one invited talk, twelve presentations, and ve poster presentations, which re?ect recent - vances in formal systems, compilers, tools, and hardware for embedded systems. We owe a great deal of thanks to the authors, reviewers, and the members of the program committee for making the workshop a success. Special thanks to Jim Larus, the General Chair of PLDI 2000 and Julie Goetz of ACM for all their help and support. Thanks should also be given to Sung-Soo Lim at Seoul National University for his help in coordinating the paper submission and review process. We also thank Professor Gaetano Borriello of the University of Washington for his invited talk on Chinook, a hardware-software co-synthesis CAD tool for embedded systems.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Engineering & Technology Electronics & Communications Engineering Electronics Engineering Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Compilers & Interpreters Computer Science Systems Analysis & Design Operating Systems Software Engineering

Artificial Intelligence Expert Systems & Knowledge-Based Systems Computer Architecture & Logic Design

Formal Methods and Databases
Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network	p. 1
Complex Reactive Control with Simple Synchronous Models	p. 19
Optimistic Secure Real-Time Concurrency Control
Using Multiple Data Version	p. 33
Compiler
Array Reference Allocation Using SSA-Form and Live Range Growth	p. 48
PROPAN: A Retargetable System for Postpass Optimisations and Analyses	p. 63
A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors	p. 81
Tools
A Stochastic Framework for Co-synthesis of Real-Time Systems	p. 96
A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems	p. 114
A Real-Time Animator for Hybrid Systems	p. 134
Hardware
Reordering Memory Bus Transactions for Reduced Power Consumption	p. 146
A Power Efficient Cache Structure for Embedded Processors Based on the Dual Cache Structure	p. 162
Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems	p. 178
Work in Progress
A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software	p. 199
Optimizing Code Size through Procedural Abstraction	p. 204
Automatic Validation of Code-Improving Transformations	p. 206
Towards Energy-Aware Iteration Space Tiling	p. 211
An Integrated Push/Pull Buffer Management Method in Multimedia Communication Environments	p. 216
Author Index	p. 221
Table of Contents provided by Publisher. All Rights Reserved.

Languages, Compilers, and Tools for Embedded Systems

ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Compilers & Interpreters

FORTRAN Programming in Easy Steps

In Easy Steps

Learning and Reasoning

4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, Nanjing, China, September 20-22, 2024, Proceedings

Modern Compiler Design

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Flex & Bison [With Access Code]

O'Reilly Ser.

Applied Mathematics With F#

Practical Microservices Architectural Patterns

Build Highly Scalable Distributed Applications With Spring Boot 3 and Spring Cloud

Programming Languages and Systems

23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings

Language Implementation Patterns

Pragmatic Programmers

Modern Systems Programming with Scala Native

Metaprogramming Elixir

C# Programming in easy steps

Master C# fundamentals!

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Compilers

A Practical Approach

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Java For Dummies

Java for Dummies

Loop Tiling for Parallelism

KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE

Recent Trends in Algebraic Development Techniques

14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers

Recent Advances in Parallel Virtual Machine and Message Passing Interface

7th European PVM/MPI Users' Group Meeting Balatonf¼red, Hungary, September 10-13, 2000 Proceedings

Internet Programming with OmniMark

UML 2000 - The Unified Modeling Language. Advancing the Standard

Third International Conference York, UK, October 2-6, 2000 Proceedings

This product is categorised by