Embedded Software [[electronic resource] ] : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings / / edited by Thomas A. Henzinger, Christoph M. Kirsch |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (IX, 504 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computers Special purpose computers Computer logic Software Engineering/Programming and Operating Systems Theory of Computation Special Purpose and Application-Based Systems Logics and Meanings of Programs |
ISBN | 3-540-45449-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996465891103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Embedded Software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings / / edited by Thomas A. Henzinger, Christoph M. Kirsch |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (IX, 504 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computers Special purpose computers Computer logic Software Engineering/Programming and Operating Systems Theory of Computation Special Purpose and Application-Based Systems Logics and Meanings of Programs |
ISBN | 3-540-45449-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910143615603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|