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

• 2001
• 
  Charles Andre, Frédéric Boulanger, Alain Girault:
  Software Implementation of Synchronous Programs. ACSD 2001: 133-142
• 
  Thomas Arts, Izak van Langevelde:
  Correct Performance of Transaction Capabilities. ACSD 2001: 35-42
• 
  Michael Baldamus, Klaus Schneider:
  The BDD Space Complexity of Different Forms of Concurrency. ACSD 2001: 231-
• 
  Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
  Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems. ACSD 2001: 13-
• 
  Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo:
  Implementing Communicating Processes in the Event of Interface Difference. ACSD 2001: 87-
• 
  Josep Carmona, Jordi Cortadella, Enric Pastor:
  A structural encoding technique for the synthesis of asynchronous circuits. ACSD 2001: 157-166
• 
  Stanislav Chachkov, Didier Buchs:
  From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach. ACSD 2001: 99-
• 
  Oscar Garnica, Juan Lanchares, Román Hermida:
  Optimization of Asynchronous Delay-Insensitive Pipeline Latency Using Stage Reorganization and Optimal Stage Parameter Estimation. ACSD 2001: 167-178
• 
  Martin Grajcar:
  Strength and Weaknesses of Genetic List Scheduling for Heterogeneous Systems. ACSD 2001: 123-132
• 
  Juhana Helovuo, Sari Leppänen:
  Exploration Testing. ACSD 2001: 201-210
• 
  Gerard J. Holzmann:
  From Code to Models. ACSD 2001: 3-10
• 
  Miguel J. Hornos, Manuel I. Capel:
  Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic. ACSD 2001: 221-230
• 
  Jan Jürjens:
  Abstracting from Failure Probabilities. ACSD 2001: 53-
• 
  Jeff Kramer:
  Making Meaningful Models for Mere Mortal. ACSD 2001: 11-12
• 
  Louise Lorentsen, Lars Michael Kristensen:
  Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. ACSD 2001: 211-220
• 
  Ricardo Jorge Machado, João M. Fernandes:
  A Petri Net Meta-Model to Develop Software Components for Embedded Systems. ACSD 2001: 113-122
• 
  Radu Negulescu, Xiaohua Kong:
  Semi-Hiding Operators and the Analysis of Active-Edge Specifications for Digital Circuits. ACSD 2001: 189-
• 
  Sibylle Peuker:
  Property Preserving Transition Refinement with Concurrent Runs: An Example. ACSD 2001: 77-86
• 
  Marta Pietkiewicz-Koutny:
  Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems. ACSD 2001: 245-254
• 
  Klaus Schneider:
  Embedding Imperative Synchronous Languages in Interactive Theorem Provers. ACSD 2001: 143-
• 
  Nikolai Starodoubtsev, Sergei Bystrov, Michael V. Goncharov, Ilya V. Klotchkov, Alexander B. Smirnov:
  Towards Synthesis of Monotonic Asynchronous Circuits from Signal Transition Graphs. ACSD 2001: 179-188
• 
  Fei Xia, Ian G. Clark:
  Algorithms for Signal and Message Asynchronous Communication Mechanisms and Their Analysis. ACSD 2001: 65-
• 
  Wlodzimierz M. Zuberek:
  Analysis of Performance Limitations in Multithreaded Multiprocessor Architectures. ACSD 2001: 43-52
• 
  2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 25-30 June 2001, Newcastle upon Tyne, UK. IEEE Computer Society 2001, ISBN 0-7695-1071-X [contents]