• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 35 matches

• 1995
• 
  Tarek F. Abdelzaher, Kang G. Shin:
  Optimal Combined Task and Message Scheduling in Distributed Real-Time Systems. RTSS 1995: 162-171
• 
  James H. Anderson, Srikanth Ramamurthy, Kevin Jeffay:
  Real-Time Computing with Lock-Free Shared Objects. RTSS 1995: 28-37
• 
  Nigel Baker, Wayne Harris, Chris Wallace, Richard McClatchey, Jean-Marie Le Goff:
  Modelling a Real Time Control System Based on Distributed Objects. RTSS 1995: 11-15
• 
  Sanjoy K. Baruah:
  Fairness in Periodic Real-Time Scheduling. RTSS 1995: 200-209
• 
  Hanêne Ben-Abdallah, Insup Lee, Jin-Young Choi:
  A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. RTSS 1995: 276-286
• 
  Giorgio C. Buttazzo, Marco Spuri, Fabrizio Sensini:
  Value vs. Deadline Scheduling in Overload Conditions. RTSS 1995: 90-99
• 
  Biao Chen, Sanjay Kamat, Wei Zhao:
  Fault-tolerant Real-Time Communication in FDDI-Based Networks. RTSS 1995: 141-150
• 
  Jin-Young Choi, Insup Lee, Hong-liang Xie:
  The Specification and Schedulability Analysis of Real-Time Systems using ACSR. RTSS 1995: 266-275
• 
  Robert I. Davis, Andy J. Wellings:
  Dual Priority Scheduling. RTSS 1995: 100-109
• 
  Conrado Daws, Sergio Yovine:
  Two Examples of Verification of Multirate Timed Automata with Kronos. RTSS 1995: 66-75
• 
  Scott Dawson, Farnam Jahanian, Todd Mitton:
  A Software Fault Injection Tool on Real-Time Mach. RTSS 1995: 130-140
• 
  Gerhard Fohler:
  Joint Scheduling of Distributed Complex Periodic and Hard Aperiodic Tasks in Statically Scheduled Systems. RTSS 1995: 152-161
• 
  Sunondo Ghosh, Rami G. Melhem, Daniel Mossé:
  Enhancing Real-Time Schedules to Tolerate Transient Faults. RTSS 1995: 120-129
• 
  Ching-Chih Han, Chao-Ju Hou, Kang G. Shin:
  On Slot Reuse for Isochronous Services in DQDB Networks. RTSS 1995: 222-231
• 
  Christopher A. Healy, David B. Whalley, Marion G. Harmon:
  Integrating the Timing Analysis of Pipelining and Instruction Caching. RTSS 1995: 288-297
• 
  Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
  HyTech: The Next Generation. RTSS 1995: 56-65
• 
  Chao-Ju Hou, Kar Shun Tsoi:
  Dynamic Real-Time Channel Setup and Tear-Down in DQDB Networks. RTSS 1995: 232-241
• 
  Chih-wen Hsueh, Kwei-Jay Lin, Nong Fan:
  Distributed Pinwheel Scheduling with End-to-End Timing Constraints. RTSS 1995: 172-181
• 
  Marty Humphrey, Gary Wallace, John A. Stankovic:
  Kernel-Level Threads for Dynamic, Hard Real-Time Environments. RTSS 1995: 38-48
• 
  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. RTSS 1995: 308-319
• 
  Kevin A. Kettler, Jay K. Strosnider:
  Modeling Bus Scheduling Policies for Real-Time Systems. RTSS 1995: 242-253
• 
  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. RTSS 1995: 182-187
• 
  Gilad Koren, Dennis E. Shasha:
  An Approach To Handling Overloaded Systems That Allow Skips. RTSS 1995: 110-119
• 
  Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
  Compositional and Symbolic Model-Checking of Real-Time Systems. RTSS 1995: 76-87
• 
  Matthew R. Lehr, Young-Kuk Kim, Sang Hyuk Son:
  Managing Contention and Timing Constraints in a Real-Time Database System. RTSS 1995: 332-341
• 
  Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe:
  Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software. RTSS 1995: 298-307
• 
  Frank Mueller, Viresh Rustagi, Ted Baker:
  MiThOS - A Real-Time Micro-Kernel Threads Operating System. RTSS 1995: 49-53
• 
  Simin Nadjm-Tehrani, Jan-Erik Strömberg:
  Proving Dynamic Properties in an Aerospace Application. RTSS 1995: 2-10
• 
  Marco Di Natale, John A. Stankovic:
  Applicability of Simulated Annealing Methods to Real-Time Scheduling and Jitter Control. RTSS 1995: 190-199
• 
  Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart:
  Compiling Modechart Specifications. RTSS 1995: 256-265

skipping 5 more matches