Abstract is missing.
- Timing-Based Mutual ExclusionNancy A. Lynch, Nir Shavit. 2-11 [doi]
- Results about Fast Mutual ExclusionRajeev Alur, Gadi Taubenfeld. 12-22 [doi]
- Transaction Scheduling in Multiclass Real-Time Database SystemsHweeHwa Pang, Miron Livny, Michael J. Carey. 23-34 [doi]
- Performance Effects of Information Sharing in a Distributed Multiprocessor Real-Time SchedulerHongyi Zhou, Karsten Schwan, Ian F. Akyildiz. 46-56 [doi]
- Monitoring Timing Constraints in Distributed Real-Time SystemsSitaram C. V. Raju, Ragunathan Rajkumar, Farnam Jahanian. 57-67 [doi]
- A Retargetable Technique for Predicting Execution TimeMarion G. Harmon, Theodore P. Baker, David B. Whalley. 68-77 [doi]
- Preemptibility in Real-Time Operating SystemsClifford W. Mercer, Hideyuki Tokuda. 78-88 [doi]
- Scheduling Sporadic Tasks with Shared Resources in Hard-Real-Time SystemsKevin Jeffay. 89-99 [doi]
- Mode Changes In Priority Pre-Emptively Scheduled SystemsKen Tindell, Alan Burns, Andy J. Wellings. 100-109 [doi]
- An optimal algorithm for scheduling soft-aperiodic tasks in fixed-priority preemptive systemsJohn P. Lehoczky, S. Ramos-Thuel. 110-123 [doi]
- Adaptive threshold-based scheduling for real-time and non-real-time trafficW. Zhu, Samuel T. Chanson. 125-135 [doi]
- Bounds on the performance of heuristic algorithms for multiprocessor scheduling of hard real-time tasksFuxing Wang, Krithi Ramamritham, John A. Stankovic. 136-145 [doi]
- Allocation of periodic task modules with precedence and deadline constraints in distributed real-time systemsChao-Ju Hou, Kang G. Shin. 146-155 [doi]
- An implementation of three algorithms for timing verification based on automata emptinessRajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi. 157-166 [doi]
- A simple assertional proof system for real-time systemsA. Udaya Shankar. 167-176 [doi]
- A proof theory for asynchronously communicating real-time systemsPing Zhou, Jozef Hooman. 177-186 [doi]
- Scheduling real-time communication on dual-link networksLui Sha, Shirish S. Sathaye, Jay K. Strosnider. 188-197 [doi]
- Optimal synchronous capacity allocation for hard real-time communications with the timed token protocolBiao Chen, Gopal Agrawal, Wei Zhao. 198-207 [doi]
- A priority forwarding scheme for real-time multistage interconnection networksKenji Toda, Kenji Nishida, Shuichi Sakai, Toshio Shimada. 208-217 [doi]
- The programmer s view of MARSHermann Kopetz, Gerhard Fohler, Günter Grünsteidl, Heinz Kantz, G. Pospischil, Peter P. Puschner, J. Reisinger, R. Schlatterbeck, Werner Schütz, Alexander Vrchoticky, R. Zainlinger. 223-226 [doi]
- Real-time process server for the micro-kernel based Alcatel Elin operating system testbed (AEOS)Christian Koza, C. Reiser. 231-234 [doi]
- Bounds on the time to detect failures using bounded-capacity message linksStephen Ponzio. 236-245 [doi]
- An upper and a lower bound for tick synchronizationMarios Mavronicolas. 246-255 [doi]
- The input-output control of real-time discrete event systemsG. Hoffmann, Howard Wong-Toi. 256-265 [doi]
- The Airplane Information Management System: an integrated real-time flight-deck control systemKevin Driscoll, Ken Hoyme. 267-270 [doi]
- Real-time monitoring and diagnosing of robotic assembly with self-organizing neural mapsA. Syed, Hoda A. ElMaraghy, N. Chagneux. 271-274 [doi]
- Provable transient recovery for frame-based, fault-tolerant computing systemsBen L. Di Vito, R. W. Butler. 275-278 [doi]
- On-line scheduling of imprecise computations to minimize errorWei Kuan Shih, Jane W.-S. Liu. 280-289 [doi]
- D:::over:::; an optimal on-line scheduling algorithm for overloaded real-time systemsGilad Koren, Dennis Shasha. 290-299 [doi]
- Scheduling distance-constrained real-time tasksChing-Chih Han, Kwei-Jay Lin. 300-308 [doi]