Abstract is missing.
- A Probabilistic Framework for Schedulability AnalysisAlan Burns, Guillem Bernat, Ian Broster. 1-15 [doi]
- Resource-Efficient Scheduling for Real Time SystemsKim Guldstrand Larsen. 16-19 [doi]
- Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded SystemsJoseph P. Loyall. 20-34 [doi]
- Heterogeneous Reactive Systems Modeling and Correct-by-Construction DeploymentAlbert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli. 35-50 [doi]
- HOKES/POKES: Light-Weight Resource SharingHerbert Bos, Bart Samwel. 51-66 [doi]
- Rate Monotonic vs. EDF: Judgment DayGiorgio C. Buttazzo. 67-83 [doi]
- Translating Discrete-Time Simulink to LustrePaul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis. 84-99 [doi]
- Minimizing Variables Lifetime in Loop-Intensive ApplicationsNoureddine Chabini, Wayne Wolf. 100-116 [doi]
- Resource InterfacesArindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga. 117-133 [doi]
- Clocks as First Class Abstract TypesJean-Louis Colaço, Marc Pouzet. 134-155 [doi]
- Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive ApplicationsVictor De La Luz, Mahmut T. Kandemir, Guangyu Chen, Ibrahim Kolcu. 156-172 [doi]
- Space Reductions for Model Checking Quasi-Cyclic SystemsMatthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff. 173-189 [doi]
- Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented ProgramsJanosch Fauster, Raimund Kirner, Peter P. Puschner. 190-205 [doi]
- Clock-Driven Automatic Distribution of Lustre ProgramsAlain Girault, Xavier Nicollin. 206-222 [doi]
- Reasoning about Abstract Open Systems with Generalized Module CheckingPatrice Godefroid. 223-240 [doi]
- Schedule-Carrying CodeThomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic. 241-256 [doi]
- Energy-Efficient Multi-processor Implementation of Embedded SoftwareShaoxiong Hua, Gang Qu, Shuvra S. Bhattacharyya. 257-273 [doi]
- A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java ApplicationsChristos Kloukinas, Chaker Nakhli, Sergio Yovine. 274-289 [doi]
- Constraint-Based Design-Space Exploration and Model SynthesisSandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts. 290-305 [doi]
- Eliminating Stack Overflow by Abstract InterpretationJohn Regehr, Alastair Reid, Kirk Webb. 306-322 [doi]
- Event Correlation: Language and SemanticsCésar Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna. 323-339 [doi]
- Generating Heap-Bounded Programs in a Functional SettingWalid Taha, Stephan Ellner, Hongwei Xi. 340-355 [doi]
- Pre-Scheduling: Integrating Offline and Online Scheduling TechniquesWeirong Wang, Aloysius K. Mok, Gerhard Fohler. 356-372 [doi]