Conferences in DBLP
Simin Nadjm-Tehrani , Jan-Erik Strömberg Proving Dynamic Properties in an Aerospace Application. [Citation Graph (0, 0)][DBLP ] Conf ] Nigel Baker , Wayne Harris , Chris S. Wallace , Richard McClatchey , Jean-Marie Le Goff Modelling a Real Time Control System Based on Distributed Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Injong Rhee , Graham R. Martin A Scalable Real-Time Synchronization Protocol for Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] James H. Anderson , Srikanth Ramamurthy , Kevin Jeffay Real-Time Computing with Lock-Free Shared Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Marty Humphrey , Gary Wallace , John A. Stankovic Kernel-Level Threads for Dynamic, Hard Real-Time Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Mueller , Viresh Rustagi , Ted Baker MiThOS - A Real-Time Micro-Kernel Threads Operating System. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas A. Henzinger , Pei-Hsin Ho , Howard Wong-Toi HyTech: The Next Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Conrado Daws , Sergio Yovine Two Examples of Verification of Multirate Timed Automata with Kronos. [Citation Graph (0, 0)][DBLP ] Conf ] Kim Guldstrand Larsen , Paul Pettersson , Wang Yi Compositional and Symbolic Model-Checking of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio C. Buttazzo , Marco Spuri , Fabrizio Sensini Value vs. Deadline Scheduling in Overload Conditions. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Davis , Andy J. Wellings Dual Priority Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Gilad Koren , Dennis Shasha An Approach To Handling Overloaded Systems That Allow Skips. [Citation Graph (0, 0)][DBLP ] Conf ] Sunondo Ghosh , Rami G. Melhem , Daniel Mossé Enhancing Real-Time Schedules to Tolerate Transient Faults. [Citation Graph (0, 0)][DBLP ] Conf ] Scott Dawson , Farnam Jahanian , Todd Mitton A Software Fault Injection Tool on Real-Time Mach. [Citation Graph (0, 0)][DBLP ] Conf ] Biao Chen , Sanjay Kamat , Wei Zhao Fault-tolerant Real-Time Communication in FDDI-Based Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Fohler Joint Scheduling of Distributed Complex Periodic and Hard Aperiodic Tasks in Statically Scheduled Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Tarek F. Abdelzaher , Kang G. Shin Optimal Combined Task and Message Scheduling in Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Chih-wen Hsueh , Kwei-Jay Lin , Nong Fan Distributed Pinwheel Scheduling with End-to-End Timing Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Hermann Kopetz , Martin Braun , Christian Ebner , Andreas Krüger , Dietmar Millinger , Roman Nossal , Anton V. Schedl The Design of Large Real-Time Systems: The Time-Triggered Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Di Natale , John A. Stankovic Applicability of Simulated Annealing Methods to Real-Time Scheduling and Jitter Control. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjoy K. Baruah Fairness in Periodic Real-Time Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Spuri , Giorgio C. Buttazzo , Fabrizio Sensini Robust Aperiodic Scheduling Under Dynamic Priority Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ching-Chih Han , Chao-Ju Hou , Kang G. Shin On Slot Reuse for Isochronous Services in DQDB Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Chao-Ju Hou , Kar Shun Tsoi Dynamic Real-Time Channel Setup and Tear-Down in DQDB Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin A. Kettler , Jay K. Strosnider Modeling Bus Scheduling Policies for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Puchol , Aloysius K. Mok , Douglas A. Stuart Compiling Modechart Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Jin-Young Choi , Insup Lee , Hong-liang Xie The Specification and Schedulability Analysis of Real-Time Systems using ACSR. [Citation Graph (0, 0)][DBLP ] Conf ] Hanêne Ben-Abdallah , Insup Lee , Jin-Young Choi A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher A. Healy , David B. Whalley , Marion G. Harmon Integrating the Timing Analysis of Pipelining and Instruction Caching. [Citation Graph (0, 0)][DBLP ] Conf ] Yau-Tsun Steven Li , Sharad Malik , Andrew Wolfe Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software. [Citation Graph (0, 0)][DBLP ] Conf ] Yerang Hur , Young Hyun Bae , Sung-Soo Lim , Sung-Kwan Kim , Byung-Do Rhee , Sang Lyul Min , Chang Yun Park , Heonshik Shin , Chong-Sang Kim Worst Case Timing Analysis of RISC Processors: R3000/R3010 Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Y. C. Tay Some Performance Issues for Database Transactions with Firm Deadlines. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew R. Lehr , Young-Kuk Kim , Sang Hyuk Son Managing Contention and Timing Constraints in a Real-Time Database System. [Citation Graph (0, 0)][DBLP ] Conf ] John E. Sasinowski , Jay K. Strosnider ARTIFACT: A Platform for Evaluating Real-Time Window System Designs. [Citation Graph (0, 0)][DBLP ] Conf ] 