1. EMSOFT 2001:
Tahoe City,
CA,
USA
Thomas A. Henzinger, Christoph M. Kirsch (Eds.):
Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings.
Lecture Notes in Computer Science 2211 Springer 2001, ISBN 3-540-42673-6 BibTeX
@proceedings{DBLP:conf/emsoft/2001,
editor = {Thomas A. Henzinger and
Christoph M. Kirsch},
title = {Embedded Software, First International Workshop, EMSOFT 2001,
Tahoe City, CA, USA, October, 8-10, 2001, Proceedings},
booktitle = {EMSOFT},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2211},
year = {2001},
isbn = {3-540-42673-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Perry Alexander, Cindy Kong:
Heterogeneous Modeling Support for Embedded Systems Design.
1-13
Electronic Edition (Springer LINK) BibTeX
- Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael B. Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky:
Hierarchical Hybrid Modeling of Embedded Systems.
14-31
Electronic Edition (Springer LINK) BibTeX
- Albert Benveniste:
Some Synchronization Issues When Designing Embedded Systems from Components.
32-49
Electronic Edition (Springer LINK) BibTeX
- Gérard Berry:
Synchronous Programming Techniques for Embedded Systems: Present and Future.
50
Electronic Edition (Springer LINK) BibTeX
- Manfred Broy, Oscar Slotosch:
From Requirements to Validated Embedded Systems.
51-65
Electronic Edition (Springer LINK) BibTeX
- Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffrey Cook, Bill Milam, Yanxin Wang:
Usage Scenarios for an Automated Model Compiler.
66-79
Electronic Edition (Springer LINK) BibTeX
- Paul Caspi:
Embedded Control: From Asynchrony to Synchrony and Back.
80-96
Electronic Edition (Springer LINK) BibTeX
- Patrick Cousot, Radhia Cousot:
Verification of Embedded Software: Problems and Perspectives.
97-113
Electronic Edition (Springer LINK) BibTeX
- David E. Culler, Jason L. Hill, Philip Buonadonna, Robert Szewczyk, Alec Woo:
A Network-Centric Approach to Embedded Software for Tiny Devices.
114-130
Electronic Edition (Springer LINK) BibTeX
- Steven M. Donahue, Matthew P. Hampton, Morgan Deters, Jonathan M. Nye, Ron Cytron, Krishna M. Kavi:
Storage Allocation for Real-Time, Embedded Systems.
131-147
Electronic Edition (Springer LINK) BibTeX
- Luca de Alfaro, Thomas A. Henzinger:
Interface Theories for Component-Based Design.
148-165
Electronic Edition (Springer LINK) BibTeX
- Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch:
Giotto: A Time-Triggered Language for Embedded Programming.
166-184
Electronic Edition (Springer LINK) BibTeX
- Walid Taha, Paul Hudak, Zhanyong Wan:
Directions in Functional Programming for Real(-Time) Applications.
185-203
Electronic Edition (Springer LINK) BibTeX
- Kevin Jeffay, Steve Goddard:
Rate-Based Resource Allocation Models for Embedded Systems.
204-222
Electronic Edition (Springer LINK) BibTeX
- Hermann Kopetz:
The Temporal Specification of Interfaces in Distributed Real-Time Systems.
223-236
Electronic Edition (Springer LINK) BibTeX
- Edward A. Lee, Yuhong Xiong:
System-Level Types for Component-Based Design.
237-253
Electronic Edition (Springer LINK) BibTeX
- Sharad Malik:
Embedded Software Implementation Tools for Fully Programmable Application Specific Systems.
254-256
Electronic Edition (Springer LINK) BibTeX
- Krishna V. Palem, Surendranath Talla, Weng-Fai Wong:
Compiler Optimizations for Adaptive EPIC Processors.
257-273
Electronic Edition (Springer LINK) BibTeX
- Wolfgang Pree, Alessandro Pasetti:
Embedded Software Market Transformation through Reusable Frameworks.
274-286
Electronic Edition (Springer LINK) BibTeX
- Ragunathan Rajkumar:
An End-To-End Methodology for Building Embedded Systems.
287-288
Electronic Edition (Springer LINK) BibTeX
- William S. Beebee, Martin C. Rinard:
An Implementation of Scoped Memory for Real-Time Java.
289-305
Electronic Edition (Springer LINK) BibTeX
- John M. Rushby:
Bus Architectures for Safety-Critical Embedded Systems.
306-323
Electronic Edition (Springer LINK) BibTeX
- Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Using Multiple Levels of Abstractions in Embedded Software Design.
324-343
Electronic Edition (Springer LINK) BibTeX
- Tak-John Koo, Judith Liebman, Cedric Ma, Shankar Sastry:
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software.
344-360
Electronic Edition (Springer LINK) BibTeX
- Douglas C. Schmidt:
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems.
361-372
Electronic Edition (Springer LINK) BibTeX
- Joseph Sifakis:
Modeling Real-Time Systems-Challenges and Work Directions.
373-389
Electronic Edition (Springer LINK) BibTeX
- John A. Stankovic:
VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems.
390-402
Electronic Edition (Springer LINK) BibTeX
- Janos Sztipanovits, Gabor Karsai:
Embedded Software: Challenges and Opportunities.
403-415
Electronic Edition (Springer LINK) BibTeX
- Lothar Thiele, Samarjit Chakraborty, Matthias Gries, Alexander Maxiaguine, Jonas Greutert:
Embedded Software in Network Processors - Models and Algorithms.
416-434
Electronic Edition (Springer LINK) BibTeX
- Tunc Simsek, Pravin Varaiya:
Design of Autonomous, Distributed Systems.
435-450
Electronic Edition (Springer LINK) BibTeX
- Pam Binns, Steve Vestal:
Formalizing Software Architectures for Embedded Systems.
451-468
Electronic Edition (Springer LINK) BibTeX
- Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm:
Reliable and Precise WCET Determination for a Real-Life Processor.
469-485
Electronic Edition (Springer LINK) BibTeX
- Niklaus Wirth:
Embedded Systems and Real-Time Programming.
486-492
Electronic Edition (Springer LINK) BibTeX
- Wayne Wolf:
Embedded Software for Video.
493-502
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:09:19 2009
by Michael Ley (ley@uni-trier.de)