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

• 2010
• 
  Sidharta Andalam, Partha S. Roop, Alain Girault:
  Predictable multithreading of embedded applications using PRET-C. MEMOCODE 2010: 159-168
• 
  Emil Axelsson, Koen Claessen, Gergely Dévai, Zoltán Horváth, Karin Keijzer, Bo Lyckegård, Anders Persson, Mary Sheeran, Josef Svenningsson, András Vajda:
  Feldspar: A domain specific language for digital signal processing algorithms. MEMOCODE 2010: 169-178
• 
  Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, John W. O'Leary:
  ATLAS: Automatic Term-level abstraction of RTL designs. MEMOCODE 2010: 31-40
• 
  Roberto Bruttomesso, Edgar Pek, Natasha Sharygina:
  A flexible schema for generating explanations in lazy theory propagation. MEMOCODE 2010: 41-48
• 
  Tevfik Bultan, Fang Yu, Aysu Betin-Can:
  Modular verification of synchronization with reentrant locks. MEMOCODE 2010: 59-68
• 
  Jordi Cortadella, Marc Galceran Oms, Michael Kishinevsky:
  Elastic systems. MEMOCODE 2010: 149-158
• 
  Alain Darte:
  Understanding loops: The influence of the decomposition of Karp, Miller, and Winograd. MEMOCODE 2010: 139-148
• 
  Nirav Dave, Man Cheuk Ng, Michael Pellauer, Arvind:
  A design flow based on modular refinement. MEMOCODE 2010: 11-20
• 
  Mike Gemunde, Jens Brandt, Klaus Schneider:
  Compilation of imperative synchronous programs with refined clocks. MEMOCODE 2010: 209-218
• 
  David J. Greaves, Satnam Singh:
  Designing application specific circuits with concurrent C# programs. MEMOCODE 2010: 21-30
• 
  Daniel Große, Hoang Minh Le, Rolf Drechsler:
  Proving transaction and system-level properties of untimed SystemC TLM designs. MEMOCODE 2010: 113-122
• 
  Josef Haid, Christian Bachmann, Andreas Genser, Christian Steger, Reinhold Weiss:
  Power emulation: Methodology and applications for HW/SW power optimization. MEMOCODE 2010: 133-138
• 
  Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta:
  Numerical stability analysis of floating-point computations using software model checking. MEMOCODE 2010: 49-58
• 
  Mohammad Hassan Khabbazian, Hassan Eslami, Ehsan Totoni, AmadReza Khadem:
  High-throughput stream categorization and intrusion detection on GPU. MEMOCODE 2010: 81-84
• 
  Rupak Majumdar, Indranil Saha, Zilong Wang:
  Systematic testing for control applications. MEMOCODE 2010: 1-10
• 
  Oleg S. Medvedev, Ilya Posov:
  Using hardware-software codesign language to implement CANSCID. MEMOCODE 2010: 85-88
• 
  Patrick O'Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu:
  A formal executable semantics of Verilog. MEMOCODE 2010: 179-188
• 
  Hiroshi Nakahara, Tsutomu Sasao, Munehiro Matsuura:
  A regular expression matching using non-deterministic finite automaton. MEMOCODE 2010: 73-76
• 
  Michael Pellauer, Abhinav Agarwal, Asif Khan, Man Cheuk Ng, Muralidaran Vijayaraghavan, Forrest Brewer, Joel S. Emer:
  Design contest overview: Combined architecture for network stream categorization and intrusion detection (CANSCID). MEMOCODE 2010: 69-72
• 
  Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic:
  LTSs for translation validation of (multi-clocked) SIGNAL specifications. MEMOCODE 2010: 199-208
• 
  Laurence Pierre, Luca Ferro:
  Enhancing the assertion-based verification of TLM designs with reentrancy. MEMOCODE 2010: 103-112
• 
  Adarsha Rao, Pramod P. Udupa:
  A hardware accelerated system for deep packet inspection. MEMOCODE 2010: 89-92
• 
  Velacheri Jagadeesan Sananda:
  A high throughput parallel architecture for category specific Deep Packet Inspection. MEMOCODE 2010: 93-94
• 
  Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt:
  Message from the chairs. MEMOCODE 2010: 1-3
• 
  Sunil Shukla, Rodric M. Rabbah, Martin Vorbach:
  FPGA-based combined architecture for stream categorization and intrusion detection. MEMOCODE 2010: 77-80
• 
  Michael Steffen, Veerendra Allada, Phillip H. Jones, Joseph Zambreno:
  CANSCID-CUDA. MEMOCODE 2010: 95-98
• 
  Deian Tabakov, Moshe Y. Vardi:
  Monitoring temporal SystemC properties. MEMOCODE 2010: 123-132
• 
  Sudhanshu Vyas, Pooja Mhapsekar, Aditya Ashok, Moinuddin Sayed, Avinash Srinivasa, Gunjan Pandey, Adam Jackson, Matthew Nelson, Anand Saggi, Harini Sundararaman, Phillip H. Jones:
  Team [Ii][Ss][Uu][0-2]{4} design overview: MEMOCODE 2010 design contest. MEMOCODE 2010: 99-102
• 
  Bin Xue, Sandeep K. Shukla, S. S. Ravi:
  Minimizing back pressure for latency insensitive system synthesis. MEMOCODE 2010: 189-198
• 
  8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010. IEEE Computer Society 2010, ISBN 978-1-4244-7885-9 [contents]