Embedded Software

Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings

By: Rajeev Alur (Editor)

Write A Review

Paperback | 29 September 2003

At a Glance

Paperback
388 Pages

Dimensions(cm)
22.86 x 14.61 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.

The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip.

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 Science Systems Analysis & Design Computer Programming & Software Development Programming & Scripting Languages Operating Systems Business Applications Information Technology General Issue

Databases Data Capture & Analysis Artificial Intelligence Expert Systems & Knowledge-Based Systems Computer Architecture & Logic Design

A Probabilistic Framework for Schedulability Analysis	p. 1
Resource-Efficient Scheduling for Real Time Systems	p. 16
Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems	p. 20
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment	p. 35
HOKES/POKES: Light-Weight Resource Sharing	p. 51
Rate Monotonic vs. EDF: Judgment Day	p. 67
Translating Discrete-Time Simulink to Lustre	p. 84
Minimizing Variables' Lifetime in Loop-Intensive Applications	p. 100
Resource Interfaces	p. 117
Clocks as First Class Abstract Types	p. 134
Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications	p. 156
Space Reductions for Model Checking Quasi-Cyclic Systems	p. 173
Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs	p. 190
Clock-Driven Automatic Distribution of Lustre Programs	p. 206
Reasoning about Abstract Open Systems with Generalized Module Checking	p. 223
Schedule-Carrying Code	p. 241
Energy-Efficient Multi-processor Implementation of Embedded Software	p. 257
A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications	p. 274
Constraint-Based Design-Space Exploration and Model Synthesis	p. 290
Eliminating Stack Overflow by Abstract Interpretation	p. 306
Event Correlation: Language and Semantics	p. 323
Generating Heap-Bounded Programs in a Functional Setting	p. 340
Pre-Scheduling: Integrating Offline and Online Scheduling Techniques	p. 356
Author Index	p. 373
Table of Contents provided by Blackwell. All Rights Reserved.

Embedded Software

Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Systems Analysis & Design

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Fundamentals of Software Architecture

A Modern Engineering Approach

Systems Analysis and Design

12th edition

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Rust Atomics and Locks

Low-Level Concurrency in Practice

DAMA-DMBOK

Data Management Body of Knowledge

Business Driven Information Systems ISE

9th Edition

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Domain-Driven Transformation

Modernize Legacy Systems and Mitigate Risk

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

Fundamentals of DevOps and Software Delivery

A Hands-On Guide to Deploying and Managing Software in Production

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Kubernetes - Up and Running

Dive into the Future of Infrastructure

AI Systems Performance Engineering

Optimizing Model Training and Inference Workloads with Gpus, Cuda, and Pytorch

UX For Beginners

A Crash Course in 100 Short Lessons

Exploring Research Through Co-Design

Multiple Perspectives for Collaborative Inquiry

Rust Programming in easy steps

In Easy Steps

The Bloomsbury Handbook of Service Design

Plural perspectives and a critical contemporary agenda

Head First Objects-Oriented Analysis and Design

The Best Introduction to Object Orientated Programming

Bluetooth LE Audio

Fundamental to Recent Advances

Ethics and Governance of Artificial Intelligence

Frameworks, Risks, and Society

This product is categorised by