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

• 2009
• 
  José L. Ayala, Marisa López-Vallejo, Davide Bertozzi, Luca Benini:
  SoC Communication Architectures: From Interconnection Buses to Packet-Switched NoCs. Embedded Systems Design and Verification 2009: 14
• 
  Ivan Cibrario Bertolotti:
  Network-Ready, Open Source Operating Systems for Embedded Real-Time Applications. Embedded Systems Design and Verification 2009: 8
• 
  Hendrik Bohn, Frank Golatowski:
  Web Services for Embedded Devices. Embedded Systems Design and Verification 2009: 19
• 
  Stephen A. Edwards:
  Languages for Design and Verification. Embedded Systems Design and Verification 2009: 5
• 
  Anastasios Fragopoulos, Dimitrios N. Serpanos, Artemios G. Voyiatzis:
  Design Issues in Secure Embedded Systems. Embedded Systems Design and Verification 2009: 18
• 
  Hans Hansson, Thomas Nolte, Mikael Sjödin, Daniel Sundmark:
  Real-Time in Networked Embedded Systems. Embedded Systems Design and Verification 2009: 1
• 
  Mike Hutton, Vaughn Betz:
  FPGA Synthesis and Physical Design. Embedded Systems Design and Verification 2009: 17
• 
  Margarida F. Jacome, Anand Ramachandran:
  Power Aware Embedded Computing. Embedded Systems Design and Verification 2009: 11
• 
  Axel Jantsch:
  Models of Embedded Computation for Distributed Embedded Systems. Embedded Systems Design and Verification 2009: 3
• 
  Luciano Lavagno, Claudio Passerone:
  Design of Embedded Systems. Embedded Systems Design and Verification 2009: 2
• 
  Steve Leibson:
  Processors for Embedded Systems. Embedded Systems Design and Verification 2009: 12
• 
  Steve Leibson, Himanshu Sanghavi, Nupur Andrews:
  Processor-Centric Architecture Description Languages. Embedded Systems Design and Verification 2009: 7
• 
  Grant Martin:
  System-on-Chip Design. Embedded Systems Design and Verification 2009: 13
• 
  Marco Di Natale:
  Embedded Software Modeling and Design. Embedded Systems Design and Verification 2009: 4
• 
  Katalin Popovici, Wander O. Cesário, Flávio Rech Wagner, Ahmed Amine Jerraya:
  Hardware/Software Interfaces Design for SoC. Embedded Systems Design and Verification 2009: 16
• 
  Dumitru Potop-Butucaru, Robert de Simone, Jean-Pierre Talpin:
  Synchronous Hypothesis and Polychronous Languages. Embedded Systems Design and Verification 2009: 6
• 
  Lothar Thiele, Ernesto Wandeler, Wolfgang Haid:
  Performance Analysis of Distributed Embedded Systems. Embedded Systems Design and Verification 2009: 10
• 
  Francisco Gilabert Villamón, Davide Bertozzi, Luca Benini, Giovanni De Micheli:
  Networks-on-Chip: an Interconnect Fabric for Multiprocessor Systems-on-Chip. Embedded Systems Design and Verification 2009: 15
• 
  Reinhard Wilhelm:
  Determining Bounds on Execution Times. Embedded Systems Design and Verification 2009: 9
• 
  Richard Zurawski:
  Embedded Systems Design and Verification - Volume 1 of the Embedded Systems Handbook. CRC Press 2009, ISBN 978-1-4398-0755-2 [contents]