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

• 2003
• 
  Alan Burns, Tullio Vardanega:
  Report of session: generating new AIs. IRTAW 2003: 93-95
• 
  Alan Burns, Andy J. Wellings:
  Task attribute-based scheduling: extending Ada's support for scheduling. IRTAW 2003: 36-41
• 
  Alan Burns, Andy J. Wellings, Tullio Vardanega:
  Report of session: flexible scheduling in Ada. IRTAW 2003: 32-35
• 
  Peter Amey, Brian Dobbing:
  Static analysis of Ravenscar programs. IRTAW 2003: 58-64
• 
  Brian Dobbing, Juan Antonio de la Puente:
  Session: status and future of the Ravenscar profile. IRTAW 2003: 55-57
• 
  Michael González Harbour, Mario Aldea Rivas:
  Managing multiple execution-time timers from a single task. IRTAW 2003: 28-31
• 
  Michael González Harbour, Tullio Vardanega:
  Report of session: current real-time AIs. IRTAW 2003: 22-23
• 
  Douglas J. Howe, Stephen Michell:
  An approach to formal verication of real time concurrent Ada programs. IRTAW 2003: 87-92
• 
  Ricardo Maia, Flávio Moreira, R. Barbosa, Diamantino Costa, Kjeld Hjortaes, Patricia Rodríguez, Luís Miguel Pinho:
  Verifying, validating and monitoring the open Ravenscar real time kernel. IRTAW 2003: 74-81
• 
  Javier Miranda, Edmond Schonberg, Miguel Masmano, Jorge Real, Alfons Crespo:
  Dynamic ceiling priorities in GNAT implementation report. IRTAW 2003: 24-27
• 
  Juan Antonio de la Puente, Juan Zamorano:
  Execution-time clocks and Ravenscar kernels. IRTAW 2003: 82-86
• 
  Mario Aldea Rivas, Michael González Harbour:
  Application-defined scheduling in Ada. IRTAW 2003: 42-51
• 
  Joyce L. Tokar:
  Space & Time Partitioning with ARINC 653 and pragma profile. IRTAW 2003: 52-54
• 
  Joyce L. Tokar, Brian Dobbing:
  Session summary: new core language features. IRTAW 2003: 11-12
• 
  Tullio Vardanega:
  Ravenscar design patterns?: reflections on use of the Ravenscar profile. IRTAW 2003: 65-73
• 
  Tullio Vardanega, Luís Miguel Pinho:
  Session summary: the future of IRTAW. IRTAW 2003: 96
• 
  Andy J. Wellings:
  Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95? IRTAW 2003: 16-21
• 
  Andy J. Wellings, Joyce L. Tokar:
  Session summary: integration versus orthogonality (RTSJ scheduling policies versus Ada's). IRTAW 2003: 13-15
• 
  Tullio Vardanega:
  Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW 2003, Viana do Castelo, Portugal, September 15-19, 2003. ACM 2003, ISBN 978-1-4503-7446-0 [contents]