| 2000 | 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea |
| 2000 | A comparative study of the realization of rate-based computing services in general purpose operating systems. Kevin Jeffay, Gerardo Lamastra |
| 2000 | A concurrency control protocol for read-only transactions in real-time secure database systems. Heejun Han, Seog Park, Chanjung Park |
| 2000 | A framework to model dependable real-time systems based on real-time object model. Hyung-Taek Lim, Seung-Min Yang |
| 2000 | A multi-server design for a distributed MPEG video system with streaming support and QoS control. Joseph Kee-Yin Ng, Calvin Kin-Cheung Hui, Wai Wong |
| 2000 | A new method for testing real time systems. Ahmed Khoumsi |
| 2000 | A new queue discipline for various delay and jitter requirements in real-time packet-switched networks. Minseok Song, Naehyuck Chang, Heonshik Shin |
| 2000 | Admission control and resource allocation in a strictly priority based network. Allalaghatta Pavan, Vipin Gopal, Sejun Song, Nigel Birch, Raja Harinath, David Castanon |
| 2000 | An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon |
| 2000 | An example of performance evaluation by using the stochastic process algebra: ROSA. Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla |
| 2000 | An improved feasible shortest path real-time fault-tolerant scheduling algorithm. Hyungill Kim, Sungyoung Lee, Byeong-Soo Jeong |
| 2000 | Another formal proof for Deadline Driven Scheduler. Naijun Zhan |
| 2000 | Automatic code generation for real-time reactive systems in TROMLAB environment. Vangalur S. Alagar, L. Zhang |
| 2000 | Bounding the execution time of real-time tasks on modern processors. Stefan M. Petters |
| 2000 | Checkpointing strategy for multiple real-time tasks. Seong Woo Kwak, Byung-Jae Choi, Byung Kook Kim |
| 2000 | Chopping and versioning real-time transactions to avoid remote blocking. LihChyun Shu, Michal Young |
| 2000 | Conformance testing of priority inheritance protocols. David Polock, Dieter Zöbel |
| 2000 | Control tasks delay reduction under static and dynamic scheduling policies. Patricia Balbastre, Ismael Ripoll, Alfons Crespo |
| 2000 | Current Issues and Challenges in Embedded Software Development. In Ryu |
| 2000 | DC Daeyoung Kim, Yann-Hang Lee |
| 2000 | Deadline dependent coding-a framework for wireless real-time communication. Elisabeth Uhlemann, Per-Arne Wiberg, Tor Aulin, Lars K. Rasmussen |
| 2000 | Debugging protocol for remote cross development environment. Seungwoo Son, Chaedeok Lim, Heung-Nam Kim |
| 2000 | Deriving reliability estimates of distributed real-time systems by simulation. Mats Lindgren, Hans Hansson, Christer Norström, Sasikumar Punnekkat |
| 2000 | Dragon: soft real-time event delivering architecture for networked sensors and appliances. Masayuki Iwai, Jin Nakazawa, Hideyuki Tokuda |
| 2000 | Dynamic memory management for real-time embedded Java chips. Chi-Min Lin, Tien-Fu Chen |
| 2000 | Effect of scheduling jitter on end-to-end delay in TDMA protocols. Libin Dong, Rami G. Melhem, Daniel Mossé |
| 2000 | Efficient pure-buffer algorithms for real-time systems. James H. Anderson, Philip Holman |
| 2000 | Efficient resource management for hard real-time communication over differentiated services architectures. Byung-Kyu Choi, Riccardo Bettati |
| 2000 | Eliminating annotations by automatic flow analysis of real-time programs. Jan Gustafsson |
| 2000 | Explicit binding interface for supporting native ATM networks in a CORBA system. Tatsuo Nakajima |
| 2000 | Extensions to optimistic concurrency control with time intervals. Jan Lindström |
| 2000 | Extracting safe and precise control flow from binaries. Henrik Theiling |
| 2000 | Finding the critical path in a time-constrained workflow. Jin Hyun Son, Myoung-Ho Kim |
| 2000 | Fixed-priority preemptive multiprocessor scheduling: to partition or not to partition. Björn Andersson, Jan Jonsson |
| 2000 | Frame packing in real-time communication. Kristian Sandström, Christer Norström, Magnus Ahlmark |
| 2000 | From Hard to Soft Real-Time Systems: Predictability vs. Efficiency. Giorgio C. Buttazzo |
| 2000 | Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support. Pascal Chevochot, Isabelle Puaut |
| 2000 | IEEE1394 OHCI device driver architecture for guarantee real-time requirement. Dong-Hwan Park, Soon-Ju Kang |
| 2000 | Implementing real-time scheduling daemon in general purpose operating system Unix. Jin-Ho Kim, Sang-Wook Kim, Dae-Yong Kim, Wan Choi |
| 2000 | Imprecise task scheduling and overload management using OR-ULD. Jörgen Hansson, Marcus Thuresson, Sang Hyuk Son |
| 2000 | Including user-defined timing exception support in FRTL. Andrés Terrasa, Ana García-Fornes, Vicente J. Botti |
| 2000 | Integrating the fixed priority scheduling and the total bandwidth server for aperiodic tasks. Song Wang, Yu-Chung Wang, Kwei-Jay Lin |
| 2000 | Low-level analysis of a portable Java byte code WCET analysis framework. Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner |
| 2000 | Minimizing the maximum end-to-end delay on tree structure using the distributed pinwheel model. Yu-Sheng Huang, Chih-wen Hsueh |
| 2000 | Multiprocessor algorithms for uniprocessor feasibility analysis. Joël Goossens, Sanjoy K. Baruah |
| 2000 | On the verification of Wireless Transaction Protocol using SGM and RED. Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen |
| 2000 | Optimal scheduling of imprecise computation tasks in the presence of multiple faults. Hakan Aydin, Rami G. Melhem, Daniel Mossé |
| 2000 | PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems. Alexander Münnich |
| 2000 | Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini |
| 2000 | Pfair scheduling: beyond periodic task systems. James H. Anderson, Anand Srinivasan |
| 2000 | Probabilistic analysis of causal message ordering. Li-Hsing Yen |
| 2000 | Probabilistic approach to switched Ethernet for real-time control applications. Baek-Young Choi, Sejun Song, Nigel Birch, Jim Huang |
| 2000 | ProtEx: a toolkit for the analysis of distributed real-time systems. Yves Meylan, Aneema Bajpai, Riccardo Bettati |
| 2000 | Real-time multiple video player systems. Chris C. H. Ngan, Kam-yiu Lam |
| 2000 | Real-time scheduling on multithreaded processors. Jochen Kreuzinger, A. Schulz, Matthias Pfeffer, Theo Ungerer, Uwe Brinkschulte, C. Krakowski |
| 2000 | Real-time systems development: from structured analysis to object-oriented design. Jyhjong Lin |
| 2000 | Real-time task scheduling algorithms for maximum utilization of secondary batteries in portable devices. Yukikazu Nakamoto, Yoshihiro Tsujino, Nobuki Tokura |
| 2000 | Real-time transaction processing with partial validation at mobile clients. Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son |
| 2000 | SPIRIT-μKernel for strongly partitioned real-time systems. Daeyoung Kim, Yann-Hang Lee, Mohamed F. Younis |
| 2000 | Schedulability-aware mapping of real-time object-oriented models to multi-threaded implementations. Saehwa Kim, Sukjae Cho, Seongsoo Hong |
| 2000 | Scheduling optional computations in fault-tolerant real-time systems. Pedro Mejía-Alvarez, Hakan Aydin, Daniel Mossé, Rami G. Melhem |
| 2000 | Space efficient wait-free buffer sharing in multiprocessor real-time systems based on timing information. Håkan Sundell, Philippas Tsigas |
| 2000 | Support for dynamic QoS in the HARTIK kernel. Luca Abeni, Giorgio C. Buttazzo |
| 2000 | Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules. Sergio Sáez, Joan Vila i Carbó, Alfons Crespo |
| 2000 | Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules. Radu Dobrin, Yusuf Özdemir, Gerhard Fohler |
| 2000 | Testing embedded real-time systems. Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
| 2000 | Testing timed systems with timed purposes. Hacène Fouchal, Eric Petitjean, Sébastien Salva |
| 2000 | Towards a mechanical verification of real-time reactive systems modeled in UML. Vangalur S. Alagar, D. Muthiayen |
| 2000 | Tracking Real-Time Systems Requirements. Aloysius K. Mok |
| 2000 | Two-step backup mechanism for real-time main memory database recovery. Miseon Choi, Hye-Sook Yoon, Eun-Mi Song, Young-Keol Kim, Young-Kuk Kim, Seong-Il Jin, Mi-kyong Han, Wan Choi |
| 2000 | Using importance of transactions and optimistic concurrency control in firm real-time databases. Jan Lindström, Kimmo E. E. Raatikainen |
| 2000 | Using measurements to derive the worst-case execution time. Markus Lindgren, Hans Hansson, Henrik Thane |
| 2000 | Verifying temporal constraints on data in multi-rate transactions using timed automata. Anders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström, Wang Yi |