Abstract is missing.
- Heterogeneous Modeling Support for Embedded Systems DesignPerry Alexander, Cindy Kong. 1-13 [doi]
- Hierarchical Hybrid Modeling of Embedded SystemsRajeev Alur, Thao Dang, Joel M. Esposito, Rafael B. Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky. 14-31 [doi]
- Some Synchronization Issues When Designing Embedded Systems from ComponentsAlbert Benveniste. 32-49 [doi]
- Synchronous Programming Techniques for Embedded Systems: Present and FutureGĂ©rard Berry. 50 [doi]
- From Requirements to Validated Embedded SystemsManfred Broy, Oscar Slotosch. 51-65 [doi]
- Usage Scenarios for an Automated Model CompilerKen Butts, Dave Bostic, Alongkrit Chutinan, Jeffrey Cook, Bill Milam, Yanxin Wang. 66-79 [doi]
- Embedded Control: From Asynchrony to Synchrony and BackPaul Caspi. 80-96 [doi]
- Verification of Embedded Software: Problems and PerspectivesPatrick Cousot, Radhia Cousot. 97-113 [doi]
- A Network-Centric Approach to Embedded Software for Tiny DevicesDavid E. Culler, Jason L. Hill, Philip Buonadonna, Robert Szewczyk, Alec Woo. 114-130 [doi]
- Storage Allocation for Real-Time, Embedded SystemsSteven M. Donahue, Matthew P. Hampton, Morgan Deters, Jonathan M. Nye, Ron Cytron, Krishna M. Kavi. 131-147 [doi]
- Interface Theories for Component-Based DesignLuca de Alfaro, Thomas A. Henzinger. 148-165 [doi]
- Giotto: A Time-Triggered Language for Embedded ProgrammingThomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch. 166-184 [doi]
- Directions in Functional Programming for Real(-Time) ApplicationsWalid Taha, Paul Hudak, Zhanyong Wan. 185-203 [doi]
- Rate-Based Resource Allocation Models for Embedded SystemsKevin Jeffay, Steve Goddard. 204-222 [doi]
- The Temporal Specification of Interfaces in Distributed Real-Time SystemsHermann Kopetz. 223-236 [doi]
- System-Level Types for Component-Based DesignEdward A. Lee, Yuhong Xiong. 237-253 [doi]
- Embedded Software Implementation Tools for Fully Programmable Application Specific SystemsSharad Malik. 254-256 [doi]
- Compiler Optimizations for Adaptive EPIC ProcessorsKrishna V. Palem, Surendranath Talla, Weng-Fai Wong. 257-273 [doi]
- Embedded Software Market Transformation through Reusable FrameworksWolfgang Pree, Alessandro Pasetti. 274-286 [doi]
- An End-To-End Methodology for Building Embedded SystemsRagunathan Rajkumar. 287-288 [doi]
- An Implementation of Scoped Memory for Real-Time JavaWilliam S. Beebee, Martin C. Rinard. 289-305 [doi]
- Bus Architectures for Safety-Critical Embedded SystemsJohn M. Rushby. 306-323 [doi]
- Using Multiple Levels of Abstractions in Embedded Software DesignJerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli. 324-343 [doi]
- Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded SoftwareTak-John Koo, Judith Liebman, Cedric Ma, Shankar Sastry. 344-360 [doi]
- Adaptive and Reflective Middleware for Distributed Real-Time and Embedded SystemsDouglas C. Schmidt. 361-372 [doi]
- Modeling Real-Time Systems-Challenges and Work DirectionsJoseph Sifakis. 373-389 [doi]
- VEST - A Toolset for Constructing and Analyzing Component Based Embedded SystemsJohn A. Stankovic. 390-402 [doi]
- Embedded Software: Challenges and OpportunitiesJanos Sztipanovits, Gabor Karsai. 403-415 [doi]
- Embedded Software in Network Processors - Models and AlgorithmsLothar Thiele, Samarjit Chakraborty, Matthias Gries, Alexander Maxiaguine, Jonas Greutert. 416-434 [doi]
- Design of Autonomous, Distributed SystemsTunc Simsek, Pravin Varaiya. 435-450 [doi]
- Formalizing Software Architectures for Embedded SystemsPam Binns, Steve Vestal. 451-468 [doi]
- Reliable and Precise WCET Determination for a Real-Life ProcessorChristian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm. 469-485 [doi]
- Embedded Systems and Real-Time ProgrammingNiklaus Wirth. 486-492 [doi]
- Embedded Software for VideoWayne Wolf. 493-502 [doi]