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

• 2010
• 
  William Bail:
  Effective requirements engineering. SIGAda 2010: 1-2
• 
  Peter J. Bradley, Juan Antonio de la Puente, Juan Zamorano:
  Real-time system development in ada using LEGO® mindstorms® NXT. SIGAda 2010: 37-40
• 
  Cindy Della Torre Cicalese, Joel Sherrill, Ricky E. Sward, Richard M. Weatherly:
  Unmanned systems with Ada and RTEMS. SIGAda 2010: 9-10
• 
  Elizabeth Fong, Paul E. Black, Richard F. Leslie, Simson L. Garfinkel, Larry Wagoner, Gary McGraw, Jeff Williams:
  Wouldn't it be nice to have software labels. SIGAda 2010: 31-32
• 
  Mamdouh Jemli, Jean-Pierre Rosen:
  A methodology for avoiding known compiler problems using static analysis. SIGAda 2010: 23-30
• 
  Chris Lane:
  Systems software integrity assurance. SIGAda 2010: 11-12
• 
  You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li:
  Extending Ada to support multi-core based monitoring and fault tolerance. SIGAda 2010: 53-62
• 
  John W. McCormick:
  Ada for parallel, embedded, and real-time applications. SIGAda 2010: 5-6
• 
  Brad J. Moore:
  Parallelism generics for Ada 2005 and beyond. SIGAda 2010: 41-52
• 
  Robert G. Pettit IV:
  Designing real-time, concurrent, and embedded software systems using UML and Ada. SIGAda 2010: 7-8
• 
  Jim Ras, Albert M. K. Cheng:
  A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller. SIGAda 2010: 13-22
• 
  Jean-Pierre Rosen:
  Use of object oriented technologies in high reliability system. SIGAda 2010: 3-4
• 
  Richard B. Schmidt:
  Experience report: Ada & Java integration in the FAA's ERAM SWIM program. SIGAda 2010: 33-34
• 
  Edmond Schonberg:
  Towards Ada 2012: an interim report. SIGAda 2010: 63-70
• 
  Ricky E. Sward:
  The rise, fall and persistence of Ada. SIGAda 2010: 71-74
• 
  Richard M. Weatherly:
  "Unmanned systems and Ada". SIGAda 2010: 35-36
• 
  Alok Srivastava, Jeff Boleng:
  Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, October 24-28, 2010. ACM 2010, ISBN 978-1-4503-0027-8 [contents]