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

• 2006
• 
  Alex Aiken:
  Scalable program analysis using Boolean satisfiability. MEMOCODE 2006: 89
• 
  Rajeev Alur:
  Games for formal design and verification of reactive systems. MEMOCODE 2006: 3
• 
  Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno:
  Specifying and proving properties of timed I/O automata in the TIOA toolkit. MEMOCODE 2006: 129-138
• 
  Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
  Formal methods for checking realizability of coalitions in 3-party systems. MEMOCODE 2006: 198
• 
  Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
  A methodology for abstracting RTL designs into TL descriptions. MEMOCODE 2006: 103-112
• 
  Julien Boucaron, Robert de Simone, Jean-Vivien Millo:
  Latency-insensitive design and central repetitive scheduling. MEMOCODE 2006: 175-183
• 
  Tevfik Bultan, Constance L. Heitmeyer:
  Analyzing tabular requirements specifications using infinite state model checking. MEMOCODE 2006: 7-16
• 
  E. Czeck, Ravi Nanavati, Joseph E. Stoy:
  Reliable design with multiple clock domains. MEMOCODE 2006: 139-148
• 
  Nirav Dave, Michael Pellauer, S. Gerding, Arvind:
  802.11a transmitter: a case study in microarchitectural exploration. MEMOCODE 2006: 59-68
• 
  Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar:
  Compositional interaction specifications for SystemC. MEMOCODE 2006: 201
• 
  Wolfgang Ecker, Volkan Esen, Michael Hull:
  Execution semantics and formalisms for multi-abstraction TLM assertions. MEMOCODE 2006: 93-102
• 
  Masahiro Fujita, Subash Shankar, Sasaki Shunsuke:
  Equivalence checking: a rule-based approach. MEMOCODE 2006: 197
• 
  Flavius Gruian, Partha S. Roop, Zoran A. Salcic, Ivan Radojevic:
  The SystemJ approach to system-level design. MEMOCODE 2006: 149-158
• 
  Rajesh Gupta:
  Programming models and languages for SoC-implemented architectures. MEMOCODE 2006: 125
• 
  M. Hsiao, Sandeep K. Shukla, Maya B. Gokhale, Alvin R. Lebeck:
  Panel: Nano-computing - do we need new formal approaches? MEMOCODE 2006: 85-86
• 
  Alistair A. McEwan, Steve A. Schneider:
  A verified development of hardware using CSP∥B. MEMOCODE 2006: 81
• 
  Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Rishiyur S. Nikhil:
  A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design. MEMOCODE 2006: 39-48
• 
  Niloofar Razavi, Marjan Sirjani:
  Using Reo for formal specification and verification of system designs. MEMOCODE 2006: 113-122
• 
  Klaus Schneider, Jens Brandt, Eric Vecchié:
  Efficient code generation from synchronous programs. MEMOCODE 2006: 165-174
• 
  C. Seger:
  Integrating design and verification - from simple idea to practical system. MEMOCODE 2006: 161
• 
  Gaurav Singh, Sandeep K. Shukla:
  Low-power hardware synthesis from TRS-based specifications. MEMOCODE 2006: 49-58
• 
  Olivier Tardieu, Stephen A. Edwards:
  R-SHIM: deterministic concurrency with recursion and shared variables. MEMOCODE 2006: 202
• 
  Bart D. Theelen, Marc Geilen, Twan Basten, Jeroen Voeten, Stefan Valentin Gheorghita, Sander Stuijk:
  A scenario-aware data flow model for combined long-run average and worst-case performance analysis. MEMOCODE 2006: 185-194
• 
  Íñigo Ugarte, Pablo Sanchez:
  Assertion checking of control dominated systems with nonlinear solvers. MEMOCODE 2006: 200
• 
  Shobha Vasudevan, Jacob A. Abraham, Vinod Viswanath, Jiajin Tu:
  Automatic decomposition for sequential equivalence checking of system level and RTL descriptions. MEMOCODE 2006: 71-80
• 
  Fei Xie, Guowu Yang, Xiaoyu Song:
  Component-based hardware/software co-verification. MEMOCODE 2006: 27-36
• 
  Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic:
  Mixed symbolic representations for model checking software programs. MEMOCODE 2006: 17-26
• 
  Qi Zhu, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli:
  A semantic-driven synthesis flow for platform-based design. MEMOCODE 2006: 199
• 
  4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 27-29 July 2006, Embassy Suites, Napa, California, USA. IEEE Computer Society 2006, ISBN 1-4244-0421-5 [contents]