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

• 2007
• 
  Alan Burns, Andy J. Wellings:
  Introduction. IRTAW 2007: 59-60
• 
  Alan Burns, Andy J. Wellings:
  Programming execution-time servers in Ada 2005. IRTAW 2007: 48-52
• 
  Ben Brosgol, Mario Aldea Rivas:
  Introduction. IRTAW 2007: 88-89
• 
  Michael González Harbour, J. Javier Gutiérrez:
  Introduction. IRTAW 2007: 37-40
• 
  Stephen Michell:
  Interfacing Ada to operating systems. IRTAW 2007: 90-95
• 
  Juan Antonio de la Puente, Santiago Urueña:
  Summary. IRTAW 2007: 96-97
• 
  José Antonio Pulido, Juan Antonio de la Puente, Jérôme Hugues, Matteo Bordin, Tullio Vardanega:
  Ada 2005 code patterns for metamodel-based code generation. IRTAW 2007: 53-58
• 
  Jorge Real, Stephen Michell:
  Introduction. IRTAW 2007: 72-74
• 
  Mario Aldea Rivas, Michael González Harbour:
  Operating system support for execution time budgets for thread groups. IRTAW 2007: 67-71
• 
  Santiago Urueña, José Antonio Pulido, José Redondo, Juan Zamorano:
  Implementing the new Ada 2005 real-time features on a bare board kernel. IRTAW 2007: 61-66
• 
  Santiago Urueña, Juan Zamorano:
  Building high-integrity distributed systems with Ravenscar restrictions. IRTAW 2007: 29-36
• 
  Tullio Vardanega, José F. Ruiz:
  Introduction. IRTAW 2007: 15-17
• 
  Michael Ward, Neil C. Audsley:
  Suggestions for stream based parallel systems in Ada. IRTAW 2007: 82-87
• 
  Andy J. Wellings, Alan Burns:
  Beyond Ada 2005: allocating tasks to processors in SMP systems. IRTAW 2007: 75-81
• 
  Andy J. Wellings, Alan Burns:
  Integrating OOP and tasking: the missing requeue. IRTAW 2007: 23-28
• 
  Andy J. Wellings, Alan Burns:
  A framework for real-time utilities for Ada 2005. IRTAW 2007: 41-47
• 
  Alexandros Zerzelidis, Alan Burns, Andy J. Wellings:
  Correcting the EDF protocol in Ada 2005. IRTAW 2007: 18-22
• 
  Juan Antonio de la Puente:
  Proceedings of the 13th International Workshop on Real-Time Ada, IRTAW 2007, Woodstock, Vermont, USA, April 17-19, 2007. ACM 2007, ISBN 978-1-4503-7840-6 [contents]
• 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

skipping 174 more matches