default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th RTSS 1992: Phoenix, Arizona, USA
- Proceedings of the Real-Time Systems Symposium - 1992, Phoenix, Arizona, USA, December 1992. IEEE Computer Society 1992, ISBN 0-8186-3195-3
- Nancy A. Lynch, Nir Shavit:
Timing-Based Mutual Exclusion. 2-11 - Rajeev Alur, Gadi Taubenfeld:
Results about Fast Mutual Exclusion. 12-21 - HweeHwa Pang
, Miron Livny, Michael J. Carey:
Transaction Scheduling in Multiclass Real-Time Database Systems. 23-34 - Tei-Wei Kuo, Aloysius K. Mok:
Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications. 35-45 - Hongyi Zhou, Karsten Schwan, Ian F. Akyildiz:
Performance Effects of Information Sharing in a Distributed Multiprocessor Real-Time Scheduler. 46-55 - Sitaram C. V. Raju, Ragunathan Rajkumar, Farnam Jahanian:
Monitoring Timing Constraints in Distributed Real-Time Systems. 57-67 - Marion G. Harmon, Theodore P. Baker, David B. Whalley:
A Retargetable Technique for Predicting Execution Time. 68-77 - Clifford W. Mercer, Hideyuki Tokuda:
Preemptibility in Real-Time Operating Systems. 78-87 - Kevin Jeffay:
Scheduling Sporadic Tasks with Shared Resources in Hard-Real-Time Systems. 89-99 - Ken Tindell, Alan Burns, Andy J. Wellings:
Mode Changes In Priority Pre-Emptively Scheduled Systems. 100-109 - John P. Lehoczky, S. Ramos-Thuel:
An optimal algorithm for scheduling soft-aperiodic tasks in fixed-priority preemptive systems. 110-123 - W. Zhu, Samuel T. Chanson:
Adaptive threshold-based scheduling for real-time and non-real-time traffic. 125-135 - Fuxing Wang, Krithi Ramamritham, John A. Stankovic:
Bounds on the performance of heuristic algorithms for multiprocessor scheduling of hard real-time tasks. 136-145 - Chao-Ju Hou, Kang G. Shin:
Allocation of periodic task modules with precedence and deadline constraints in distributed real-time systems. 146-155 - Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi:
An implementation of three algorithms for timing verification based on automata emptiness. 157-166 - A. Udaya Shankar:
A simple assertional proof system for real-time systems. 167-176 - Ping Zhou, Jozef Hooman:
A proof theory for asynchronously communicating real-time systems. 177-186 - Lui Sha, Shirish S. Sathaye, Jay K. Strosnider:
Scheduling real-time communication on dual-link networks. 188-197 - Biao Chen, Gopal Agrawal, Wei Zhao:
Optimal synchronous capacity allocation for hard real-time communications with the timed token protocol. 198-207 - Kenji Toda, Kenji Nishida, Shuichi Sakai, Toshio Shimada:
A priority forwarding scheme for real-time multistage interconnection networks. 208-217 - C. C. Bakshi, L. Bela:
A virtual memory system for real-time applications. 219-222 - 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:
The programmer's view of MARS. 223-226 - R. M. Tol:
A small real-time kernel proven correct. 227-230 - Christian Koza, C. Reiser:
Real-time process server for the micro-kernel based Alcatel Elin operating system testbed (AEOS). 231-234 - Stephen Ponzio:
Bounds on the time to detect failures using bounded-capacity message links. 236-245 - Marios Mavronicolas:
An upper and a lower bound for tick synchronization. 246-255 - G. Hoffmann, Howard Wong-Toi:
The input-output control of real-time discrete event systems. 256-265 - Kevin Driscoll, Ken Hoyme:
The Airplane Information Management System: an integrated real-time flight-deck control system. 267-270 - A. Syed, Hoda A. ElMaraghy, N. Chagneux:
Real-time monitoring and diagnosing of robotic assembly with self-organizing neural maps. 271-274 - Ben L. Di Vito, Ricky W. Butler:
Provable transient recovery for frame-based, fault-tolerant computing systems. 275-278 - Wei-Kuan Shih, Jane W.-S. Liu:
On-line scheduling of imprecise computations to minimize error. 280-289 - Gilad Koren, Dennis E. Shasha:
Dover; an optimal on-line scheduling algorithm for overloaded real-time systems. 290-299 - Ching-Chih Han, Kwei-Jay Lin:
Scheduling distance-constrained real-time tasks. 300-308
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
