Embedded Software First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings / edited by Thomas A. Henzinger, Christoph M. Kirsch.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Henzinger, Thomas A. (Editor), Kirsch, Christoph M. (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
Edition:	1st ed. 2001.
Series:	Lecture Notes in Computer Science, 2211 Springer eBook Collection.
Subjects:	Software engineering. Computers. Special purpose computers. Computer logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

Heterogeneous Modeling Support for Embedded Systems Design
Hierarchical Hybrid Modeling of Embedded Systems
Some Synchronization Issues When Designing Embedded Systems from Components
Synchronous Programming Techniques for Embedded Systems: Present and Future
From Requirements to Validated Embedded Systems
Usage Scenarios for an Automated Model Compiler
Embedded Control: From Asynchrony to Synchrony and Back
Verification of Embedded Software: Problems and Perspectives
A Network-Centric Approach to Embedded Software for Tiny Devices
Storage Allocation for Real-Time, Embedded Systems
Interface Theories for Component-Based Design
Giotto: A Time-Triggered Language for Embedded Programming
Directions in Functional Programming for Real(-Time) Applications
Rate-Based Resource Allocation Models for Embedded Systems
The Temporal Specification of Interfaces in Distributed Real-Time Systems
System-Level Types for Component-Based Design
Embedded Software Implementation Tools for Fully Programmable Application Specific Systems
Compiler Optimizations for Adaptive EPIC Processors
Embedded Software Market Transformation through Reusable Frameworks
An End-to-End Methodology for Building Embedded Systems
An Implementation of Scoped Memory for Real-Time Java
Bus Architectures for Safety-Critical Embedded Systems
Using Multiple Levels of Abstractions in Embedded Software Design
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems
Modeling Real-Time Systems — Challenges and Work Directions
VEST — A Toolset for Constructing and Analyzing Component Based Embedded Systems
Embedded Software: Challenges and Opportunities
Embedded Software in Network Processors — Models and Algorithms
Design of Autonomous, Distributed Systems
Formalizing Software Architectures for Embedded Systems
Reliable and Precise WCET Determination for a Real-Life Processor
Embedded Systems and Real-Time Programming
Embedded Software for Video.

Embedded Software First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings / edited by Thomas A. Henzinger, Christoph M. Kirsch.

Similar Items