Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Embedded Software

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

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Thomas A. Henzinger

    1. Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Christoph M. Kirsch

    1. Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2211)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (34 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Heterogeneous Modeling Support for Embedded Systems Design

    • Perry Alexander, Cindy Kong
    Pages 1-13

  3. Hierarchical Hybrid Modeling of Embedded Systems

    • R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivančić et al.
    Pages 14-31

  4. Some Synchronization Issues When Designing Embedded Systems from Components

    • Albert Benveniste
    Pages 32-49

  5. Synchronous Programming Techniques for Embedded Systems: Present and Future

    • Gérard Berry
    Pages 50-50

  6. From Requirements to Validated Embedded Systems

    • Manfred Broy, Oscar Slotosch
    Pages 51-65

  7. Usage Scenarios for an Automated Model Compiler

    • Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffrey Cook, Bill Milam, Yanxin Wang
    Pages 66-79

  8. Embedded Control: From Asynchrony to Synchrony and Back

    • Paul Caspi
    Pages 80-96

  9. Verification of Embedded Software: Problems and Perspectives

    • Patrick Cousot, Radhia Cousot
    Pages 97-113

  10. A Network-Centric Approach to Embedded Software for Tiny Devices

    • David E. Culler, Jason Hill, Philip Buonadonna, Robert Szewczyk, Alec Woo
    Pages 114-130

  11. Storage Allocation for Real-Time, Embedded Systems

    • Steven M. Donahue, Matthew P. Hampton, Morgan Deters, Jonathan M. Nye, Ron K. Cytron, Krishna M. Kavi
    Pages 131-147

  12. Interface Theories for Component-Based Design

    • Luca de Alfaro, Thomas A. Henzinger
    Pages 148-165

  13. Giotto: A Time-Triggered Language for Embedded Programming

    • Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch
    Pages 166-184

  14. Directions in Functional Programming for Real(-Time) Applications

    • Walid Taha, Paul Hudak, Zhanyong Wan
    Pages 185-203

  15. Rate-Based Resource Allocation Models for Embedded Systems

    • Kevin Jeffay, Steve Goddard
    Pages 204-222

  16. The Temporal Specification of Interfaces in Distributed Real-Time Systems

    • H. Kopetz
    Pages 223-236

  17. System-Level Types for Component-Based Design

    • Edward A. Lee, Yuhong Xiong
    Pages 237-253

  18. Embedded Software Implementation Tools for Fully Programmable Application Specific Systems

    • Sharad Malik
    Pages 254-256

  19. Compiler Optimizations for Adaptive EPIC Processors

    • Krishna V. Palem, Surendranath Talla, Weng-Fai Wong
    Pages 257-273

  20. Embedded Software Market Transformation through Reusable Frameworks

    • Wolfgang Pree, Alessandro Pasetti
    Pages 274-286
Back to top

Editors and Affiliations

  • Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, USA

    Thomas A. Henzinger, Christoph M. Kirsch

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation