• 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 12 matches

• 2003
• 
  José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya:
  Integrating Schedulability Analysis and Design Techniques in SD. Real Time Syst. 24(3): 267-302 (2003)
• 
  Sanjoy K. Baruah:
  Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks. Real Time Syst. 24(1): 93-128 (2003)
• 
  Alan Burns:
  How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study. Real Time Syst. 24(2): 135-151 (2003)
• 
  Ramesh Chandra, Xue Liu, Lui Sha:
  On the Scheduling of Flexible and Reliable Real-Time Control Systems. Real Time Syst. 24(2): 153-169 (2003)
• 
  Byung-Kyu Choi, Dong Xuan, Riccardo Bettati, Wei Zhao, Chengzhi Li:
  Utilization-Based Admission Control for Scalable Real-Time Communication. Real Time Syst. 24(2): 171-202 (2003)
• 
  Christof Fetzer, Flaviu Cristian:
  Fail-Awareness: An Approach to Construct Fail-Safe Systems. Real Time Syst. 24(2): 203-238 (2003)
• 
  Joël Goossens:
  Scheduling of Offset Free Systems. Real Time Syst. 24(2): 239-258 (2003)
• 
  Yann-Hang Lee, C. Mani Krishna:
  Voltage-Clock Scaling for Low Energy Consumption in Fixed-Priority Real-Time Systems. Real Time Syst. 24(3): 303-317 (2003)
• 
  José María López, Manuel García, José Luis Díaz, Daniel F. García:
  Utilization Bounds for Multiprocessor Rate-Monotonic Scheduling. Real Time Syst. 24(1): 5-28 (2003)
• 
  Kristina Lundqvist, Lars Asplund:
  A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems. Real Time Syst. 24(1): 29-54 (2003)
• 
  P. D. V. van der Stok, A. H. T. Janssen-Raemaekers:
  Real-Time Atomic Multicast Algorithms Implemented on a Shared Memory Multiprocessor. Real Time Syst. 24(1): 55-91 (2003)
• 
  Andy J. Wellings, Peter P. Puschner:
  Evaluating the Expressive Power of the Real-Time Specification for Java. Real Time Syst. 24(3): 319-359 (2003)