Henzinger / Kirsch | Embedded Software | E-Book | sack.de
E-Book

E-Book, Englisch, Band 2211, 504 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Henzinger / Kirsch Embedded Software

First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
Erscheinungsjahr 2003
ISBN: 978-3-540-45449-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings

E-Book, Englisch, Band 2211, 504 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-45449-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Henzinger / Kirsch Embedded Software jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Henzinger, Thomas A.
Kirsch, Christoph M.

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.