Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
2211 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Embedded software, first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001, proceedings, Thomas A. Henzinger, Christoph M. Kirsch (eds.), 2001, New York, Springer, 1 vol. (IX-504 p.), Lecture notes in computer science, 3-540-42673-6 • Embedded Software, Texte imprimé, 9783662178027 |
Obsah:
- 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
- EmbeddedSoftware 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.