Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Computer Science

Embedded Software

Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings

Editors: Alur, Rajeev (Ed.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD
  • ISBN 978-3-540-45212-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
About this book

This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.

The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip.

Table of contents (23 chapters)

Table of contents (23 chapters)
  • A Probabilistic Framework for Schedulability Analysis

    Pages 1-15

    Burns, Alan (et al.)

  • Resource-Efficient Scheduling for Real Time Systems

    Pages 16-19

    Larsen, Kim G.

  • Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems

    Pages 20-34

    Loyall, Joseph P.

  • Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment

    Pages 35-50

    Benveniste, Albert (et al.)

  • HOKES/POKES: Light-Weight Resource Sharing

    Pages 51-66

    Bos, Herbert (et al.)

Buy this book

eBook $84.99
price for USA in USD
  • ISBN 978-3-540-45212-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Embedded Software
Book Subtitle
Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings
Editors
  • Rajeev Alur
Series Title
Lecture Notes in Computer Science
Series Volume
2855
Copyright
2003
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45212-6
DOI
10.1007/b13983
Softcover ISBN
978-3-540-20223-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 378
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.