| 2000 | A Fast Algorithm for Scheduling Imprecise Computations with Timing Constraints to Minimize Weighted Error. Wei-Kuan Shih, Che-Rung Lee, Ching-Hui Tang |
| 2000 | A Formal Method for Providing Temporal Equivalence in Binary-to-Binary Translation of Real-Time Applications. Inkyu Kim, Zary Segall |
| 2000 | A User-Customizable Energy-Adaptive Combined Static/Dynamic Scheduler for Mobile Applications. Trolan C. L. Ma, Kang G. Shin |
| 2000 | A framework for achieving inter-application isolation in multiprogrammed, hard real-time environments. Giuseppe Lipari, John Carpenter, Sanjoy K. Baruah |
| 2000 | Adding PEP to Real-Time Distributed Commit Processing. Jayant R. Haritsa, Krithi Ramamritham |
| 2000 | Admission of High Priority Real-Time Calls in an ATM Network via Bandwidth Reallocation and Dynamic Rerouting of Active Channels. Lawrence K. Miller, Albert M. K. Cheng |
| 2000 | An Efficient Feasibility Test Method for Hard Real-Time Periodic Tasks. Moonju Park, Yookun Cho |
| 2000 | An Incremental Approach to Scheduling during Overloads in Real-Time Systems. Pedro Mejía-Alvarez, Rami G. Melhem, Daniel Mossé |
| 2000 | An Integrated Approach to Real-Time System Design and On-Line Performance Visualization with Steering. Aleksandar M. Bakic, Matt W. Mutka |
| 2000 | Analysis of a Window-Constrained Scheduler for Real-Time and Best-Effort Packet Streams. Richard West, Christian Poellabauer |
| 2000 | CReMeS: A CORBA Compliant Reflective Memory Communication Service. Sun-Tae Chung, Oscar González, Krithi Ramamritham, Chia Shen |
| 2000 | Cache and Pipeline Sensitive Fixed Priority Scheduling for Preemptive Real-Time Systems. Jörn Schneider |
| 2000 | Capacity Sharing for Overrun Control. Marco Caccamo, Giorgio C. Buttazzo, Lui Sha |
| 2000 | Constructing Real-time Group Communication Middleware Using the Resource Kernel. Scott Johnson, Farnam Jahanian, Akihiko Miyoshi, Dionisio de Niz, Ragunathan Rajkumar |
| 2000 | Dynamic Scheduling of Distributed Method Invocations. Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser |
| 2000 | Efficient Scheduling of Sporadic, Aperiodic, and Periodic Tasks with Complex Constraints. Damir Isovic, Gerhard Fohler |
| 2000 | Enhanced Fixed-Priority Scheduling with (m, k)-Firm Guarantee. Gang Quan, Xiaobo Sharon Hu |
| 2000 | Formal Analysis of the Priority Ceiling Protocol. Bruno Dutertre |
| 2000 | Formal Specification for Building Robust Real-time Microkernels. Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat |
| 2000 | High Speed Hardware-Assisted Real-Time Interprocess Communication for Embedded Microcontrollers. Sujaya Srinivasan, David B. Stewart |
| 2000 | Implementation and Performance Evaluation of a Real-Time E-Brokerage System. Prabhudev Konana, Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Guangtian Liu |
| 2000 | Modeling Complex Flows for Worst-Case Execution Time Analysis. Jakob Engblom, Andreas Ermedahl |
| 2000 | Performance Specifications and Metrics for Adaptive Real-Time Systems. Chenyang Lu, John A. Stankovic, Tarek F. Abdelzaher, Gang Tao, Sang Hyuk Son, Michael Marley |
| 2000 | Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), Orlando, Florida, USA, 27-30 November 2000 |
| 2000 | Real-Time Digital Signal Processing of Component-Oriented Phased Array Radars. Chin-Fu Kuo, Tei-Wei Kuo, Cheng Chang |
| 2000 | Real-Time control system analysis: an integrated approach. Luigi Palopoli, Luca Abeni, Fabio Conticelli, Marco Di Natale, Giorgio C. Buttazzo |
| 2000 | Scalable Real-Time System Design using Preemption Thresholds. Manas Saksena, Yun Wang |
| 2000 | Scheduling The Can Bus With Earliest Deadline Techniques. Marco Di Natale |
| 2000 | Static-Priority Periodic Scheduling on Multiprocessors. Srikanth Rarnarnurthy, Mark Moir |
| 2000 | Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka |