Conferences in DBLP
Nancy A. Lynch , Nir Shavit Timing-Based Mutual Exclusion. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Gadi Taubenfeld Results about Fast Mutual Exclusion. [Citation Graph (0, 0)][DBLP ] Conf ] HweeHwa Pang , Miron Livny , Michael J. Carey Transaction Scheduling in Multiclass Real-Time Database Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Tei-Wei Kuo , Aloysius K. Mok Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications. [Citation Graph (1, 0)][DBLP ] Conf ] Hongyi Zhou , Karsten Schwan , Ian F. Akyildiz Performance Effects of Information Sharing in a Distributed Multiprocessor Real-Time Scheduler. [Citation Graph (0, 0)][DBLP ] Conf ] Sitaram C. V. Raju , Ragunathan Rajkumar , Farnam Jahanian Monitoring Timing Constraints in Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marion G. Harmon , Theodore P. Baker , David B. Whalley A Retargetable Technique for Predicting Execution Time. [Citation Graph (0, 0)][DBLP ] Conf ] Clifford W. Mercer , Hideyuki Tokuda Preemptibility in Real-Time Operating Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Jeffay Scheduling Sporadic Tasks with Shared Resources in Hard-Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ken Tindell , Alan Burns , Andy J. Wellings Mode Changes In Priority Pre-Emptively Scheduled Systems. [Citation Graph (0, 0)][DBLP ] Conf ] An optimal algorithm for scheduling soft-aperiodic tasks in fixed-priority preemptive systems. [Citation Graph (, )][DBLP ] Adaptive threshold-based scheduling for real-time and non-real-time traffic. [Citation Graph (, )][DBLP ] Bounds on the performance of heuristic algorithms for multiprocessor scheduling of hard real-time tasks. [Citation Graph (, )][DBLP ] Allocation of periodic task modules with precedence and deadline constraints in distributed real-time systems. [Citation Graph (, )][DBLP ] An implementation of three algorithms for timing verification based on automata emptiness. [Citation Graph (, )][DBLP ] A simple assertional proof system for real-time systems. [Citation Graph (, )][DBLP ] A proof theory for asynchronously communicating real-time systems. [Citation Graph (, )][DBLP ] Scheduling real-time communication on dual-link networks. [Citation Graph (, )][DBLP ] Optimal synchronous capacity allocation for hard real-time communications with the timed token protocol. [Citation Graph (, )][DBLP ] A priority forwarding scheme for real-time multistage interconnection networks. [Citation Graph (, )][DBLP ] A virtual memory system for real-time applications. [Citation Graph (, )][DBLP ] The programmer's view of MARS. [Citation Graph (, )][DBLP ] A small real-time kernel proven correct. [Citation Graph (, )][DBLP ] Real-time process server for the micro-kernel based Alcatel Elin operating system testbed (AEOS). [Citation Graph (, )][DBLP ] Bounds on the time to detect failures using bounded-capacity message links. [Citation Graph (, )][DBLP ] An upper and a lower bound for tick synchronization. [Citation Graph (, )][DBLP ] The input-output control of real-time discrete event systems. [Citation Graph (, )][DBLP ] The Airplane Information Management System: an integrated real-time flight-deck control system. [Citation Graph (, )][DBLP ] Real-time monitoring and diagnosing of robotic assembly with self-organizing neural maps. [Citation Graph (, )][DBLP ] Provable transient recovery for frame-based, fault-tolerant computing systems. [Citation Graph (, )][DBLP ] On-line scheduling of imprecise computations to minimize error. [Citation Graph (, )][DBLP ] Dover ; an optimal on-line scheduling algorithm for overloaded real-time systems. [Citation Graph (, )][DBLP ] Scheduling distance-constrained real-time tasks. [Citation Graph (, )][DBLP ] 