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

• 1994
• 
  Brad Adelberg, Hector Garcia-Molina, Ben Kao:
  Emulating Soft Real-Time Scheduling Using Traditional Operating System Schedulers. RTSS 1994: 292-298
• 
  Robert D. Arnold, Frank Mueller, David B. Whalley, Marion G. Harmon:
  Bounding Worst-Case Instruction Cache Performance. RTSS 1994: 172-181
• 
  Neil C. Audsley, Robert I. Davis, Alan Burns:
  Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems. RTSS 1994: 12-21
• 
  Sanjoy K. Baruah, Jayant R. Haritsa, Nitin Sharma:
  On-Line Scheduling to Maximize Task Completions. RTSS 1994: 228-236
• 
  Azer Bestavros, Spyridon Braoudakis:
  Timeliness via Speculation for Real-Time Databases. RTSS 1994: 36-45
• 
  Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi:
  Computing Quantitative Characteristics of Finite-State Real-Time Systems. RTSS 1994: 266-270
• 
  Rosa M. L. R. Carmo, Francisco Vasques, Guy Juanole:
  Real-Time Communication Services in a DQDB Network. RTSS 1994: 249-258
• 
  Todd Carpenter, Kevin Driscoll, Ken Hoyme, Jim Carciofini:
  ARINC 659 Scheduling: Problem Definition. RTSS 1994: 165-169
• 
  James C. Corbett:
  Modeling and Analysis of Real-Time Ada Tasking Programs. RTSS 1994: 132-141
• 
  Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.:
  Verifying an Intelligent Structural Control System: A Case Study. RTSS 1994: 271-275
• 
  Paul J. Fortier, Victor Fay Wolfe, Janet J. Prichard:
  Flexible Real-Time SQL Transactions. RTSS 1994: 276-280
• 
  Richard Gerber, Seongsoo Hong, Manas Saksena:
  Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes. RTSS 1994: 192-203
• 
  Rajiv Gupta, Madalene Spezialetti:
  Busy-Idle Profiles and Compact Task Graphs: Compile-Time Support for Interleaved and Overlapped Scheduling of Real- Time Tasks. RTSS 1994: 86-96
• 
  Constance L. Heitmeyer, Nancy A. Lynch:
  The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems. RTSS 1994: 120-131
• 
  Jiandong Huang, Ding-Zhu Du:
  Resource Management for Continuous Multimedia Database Applications. RTSS 1994: 46-54
• 
  Daniel I. Katcher, Kevin A. Kettler, Jay K. Strosnider:
  Modeling DSP Operating Systems for Multimedia Applications. RTSS 1994: 287-291
• 
  Hermann Kopetz:
  A Solution to an Automotive Control System Benchmark. RTSS 1994: 154-158
• 
  Kai Chiu Kwan, Parameswaran Ramanathan:
  Multiple Route Real-Time Channels in Packet-Switched Networks. RTSS 1994: 74-83
• 
  Sung-Soo Lim, Young Hyun Bae, Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Chong-Sang Kim:
  An Accurate Worst Case Timing Analysis Technique for RISC Processors. RTSS 1994: 97-108
• 
  Jyh-Charn Liu, Hung-ju Lee:
  Deterministic Upperbounds of the Worst-Case Execution Times of Cached Programs. RTSS 1994: 182-191
• 
  Louise E. Moser, P. M. Melliar-Smith:
  Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol. RTSS 1994: 238-248
• 
  Marco Di Natale, John A. Stankovic:
  Dynamic End-to-End Guarantees in Distributed Real Time Systems. RTSS 1994: 216-227
• 
  Dan Picker, Ronald D. Fellman:
  Scaling and Performance of a Priority Packet Queue for Real-Time Applications. RTSS 1994: 56-62
• 
  Marco Spuri, Giorgio C. Buttazzo:
  Efficient Aperiodic Service Under Earliest Deadline Scheduling. RTSS 1994: 2-11
• 
  Sandra R. Thuel, John P. Lehoczky:
  Algorithms for Scheduling Hard Aperiodic Tasks in Fixed-Priority Systems Using Slack Stealing. RTSS 1994: 22-33
• 
  Ken Tindell, H. Hanssmon, Andy J. Wellings:
  Analysing Real-Time Communications: Controller Area Network (CAN). RTSS 1994: 259-263
• 
  Kenji Toda, Kenji Nishida, Eiichi Takahashi, Yoshinori Yamaguchi:
  A Priority Forwarding Router Chip for Real-Time Interconnection Networks. RTSS 1994: 63-73
• 
  David del Val, Ángel Viña:
  Applying RMA to Improve a High-Speed, Real Time Data Acquisition System. RTSS 1994: 159-164
• 
  Chitra Venkatramani, Tzi-cker Chiueh:
  Supporting Real-Time Traffic on Ethernet. RTSS 1994: 282-286
• 
  Kai Wang, Tein-Hsiang Lin:
  Scheduling Adaptive Tasks in Real-Time Systems. RTSS 1994: 206-215

skipping 3 more matches