RTSS A

34 papers

YearTitle / Authors
1992A Retargetable Technique for Predicting Execution Time.
Marion G. Harmon, Theodore P. Baker, David B. Whalley
1992A priority forwarding scheme for real-time multistage interconnection networks.
Kenji Toda, Kenji Nishida, Shuichi Sakai, Toshio Shimada
1992A proof theory for asynchronously communicating real-time systems.
Ping Zhou, Jozef Hooman
1992A simple assertional proof system for real-time systems.
A. Udaya Shankar
1992A small real-time kernel proven correct.
R. M. Tol
1992A virtual memory system for real-time applications.
C. C. Bakshi, L. Bela
1992Adaptive threshold-based scheduling for real-time and non-real-time traffic.
W. Zhu, Samuel T. Chanson
1992Allocation of periodic task modules with precedence and deadline constraints in distributed real-time systems.
Chao-Ju Hou, Kang G. Shin
1992An implementation of three algorithms for timing verification based on automata emptiness.
Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi
1992An optimal algorithm for scheduling soft-aperiodic tasks in fixed-priority preemptive systems.
John P. Lehoczky, S. Ramos-Thuel
1992An upper and a lower bound for tick synchronization.
Marios Mavronicolas
1992Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications.
Tei-Wei Kuo, Aloysius K. Mok
1992Bounds on the performance of heuristic algorithms for multiprocessor scheduling of hard real-time tasks.
Fuxing Wang, Krithi Ramamritham, John A. Stankovic
1992Bounds on the time to detect failures using bounded-capacity message links.
Stephen Ponzio
1992D
Gilad Koren, Dennis E. Shasha
1992Mode Changes In Priority Pre-Emptively Scheduled Systems.
Ken Tindell, Alan Burns, Andy J. Wellings
1992Monitoring Timing Constraints in Distributed Real-Time Systems.
Sitaram C. V. Raju, Ragunathan Rajkumar, Farnam Jahanian
1992On-line scheduling of imprecise computations to minimize error.
Wei-Kuan Shih, Jane W.-S. Liu
1992Optimal synchronous capacity allocation for hard real-time communications with the timed token protocol.
Biao Chen, Gopal Agrawal, Wei Zhao
1992Performance Effects of Information Sharing in a Distributed Multiprocessor Real-Time Scheduler.
Hongyi Zhou, Karsten Schwan, Ian F. Akyildiz
1992Preemptibility in Real-Time Operating Systems.
Clifford W. Mercer, Hideyuki Tokuda
1992Proceedings of the Real-Time Systems Symposium - 1992, Phoenix, Arizona, USA, December 1992
1992Provable transient recovery for frame-based, fault-tolerant computing systems.
Ben L. Di Vito, Ricky W. Butler
1992Real-time monitoring and diagnosing of robotic assembly with self-organizing neural maps.
A. Syed, Hoda A. ElMaraghy, N. Chagneux
1992Real-time process server for the micro-kernel based Alcatel Elin operating system testbed (AEOS).
Christian Koza, C. Reiser
1992Results about Fast Mutual Exclusion.
Rajeev Alur, Gadi Taubenfeld
1992Scheduling Sporadic Tasks with Shared Resources in Hard-Real-Time Systems.
Kevin Jeffay
1992Scheduling distance-constrained real-time tasks.
Ching-Chih Han, Kwei-Jay Lin
1992Scheduling real-time communication on dual-link networks.
Lui Sha, Shirish S. Sathaye, Jay K. Strosnider
1992The Airplane Information Management System: an integrated real-time flight-deck control system.
Kevin Driscoll, Ken Hoyme
1992The input-output control of real-time discrete event systems.
G. Hoffmann, Howard Wong-Toi
1992The programmer's view of MARS.
Hermann Kopetz, Gerhard Fohler, Günter Grünsteidl, Heinz Kantz, Gustav Pospischil, Peter P. Puschner, Johannes Reisinger, Ralf Schlatterbeck, Werner Schütz, Alexander Vrchoticky, Ralph Zainlinger
1992Timing-Based Mutual Exclusion.
Nancy A. Lynch, Nir Shavit
1992Transaction Scheduling in Multiclass Real-Time Database Systems.
HweeHwa Pang, Miron Livny, Michael J. Carey