Embedded Software

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

Editors:

ISBN: 978-3-540-42673-8 (Print) 978-3-540-45449-6 (Online)

Table of contents (34 chapters)

previous Page of 2
  1. No Access

    Book Chapter

    Pages 1-13

    Heterogeneous Modeling Support for Embedded Systems Design

  2. No Access

    Book Chapter

    Pages 14-31

    Hierarchical Hybrid Modeling of Embedded Systems

  3. No Access

    Book Chapter

    Pages 32-49

    Some Synchronization Issues When Designing Embedded Systems from Components

  4. No Access

    Book Chapter

    Pages 50-50

    Synchronous Programming Techniques for Embedded Systems: Present and Future

  5. No Access

    Book Chapter

    Pages 51-65

    From Requirements to Validated Embedded Systems

  6. No Access

    Book Chapter

    Pages 66-79

    Usage Scenarios for an Automated Model Compiler

  7. No Access

    Book Chapter

    Pages 80-96

    Embedded Control: From Asynchrony to Synchrony and Back

  8. No Access

    Book Chapter

    Pages 97-113

    Verification of Embedded Software: Problems and Perspectives

  9. No Access

    Book Chapter

    Pages 114-130

    A Network-Centric Approach to Embedded Software for Tiny Devices

  10. No Access

    Book Chapter

    Pages 131-147

    Storage Allocation for Real-Time, Embedded Systems

  11. No Access

    Book Chapter

    Pages 148-165

    Interface Theories for Component-Based Design

  12. No Access

    Book Chapter

    Pages 166-184

    Giotto: A Time-Triggered Language for Embedded Programming

  13. No Access

    Book Chapter

    Pages 185-203

    Directions in Functional Programming for Real(-Time) Applications

  14. No Access

    Book Chapter

    Pages 204-222

    Rate-Based Resource Allocation Models for Embedded Systems

  15. No Access

    Book Chapter

    Pages 223-236

    The Temporal Specification of Interfaces in Distributed Real-Time Systems

  16. No Access

    Book Chapter

    Pages 237-253

    System-Level Types for Component-Based Design

  17. No Access

    Book Chapter

    Pages 254-256

    Embedded Software Implementation Tools for Fully Programmable Application Specific Systems

  18. No Access

    Book Chapter

    Pages 257-273

    Compiler Optimizations for Adaptive EPIC Processors

  19. No Access

    Book Chapter

    Pages 274-286

    Embedded Software Market Transformation through Reusable Frameworks

  20. No Access

    Book Chapter

    Pages 287-288

    An End-to-End Methodology for Building Embedded Systems

previous Page of 2