5. ASYNC 1999: Barcelona, Spain

@proceedings{DBLP:conf/async/1999,
  title     = {5th  International Symposium on Advanced Research in Asynchronous
               Circuits and Systems (ASYNC '99), 19-22 April 1999, Barcelona,
               Spain},
  booktitle = {ASYNC},
  publisher = {IEEE Computer Society},
  year      = {1999},
  isbn      = {0-7695-0031-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Verification Techniques

• Wendy Belluomini, Chris J. Myers, H. Peter Hofstee:
  Verification of Delayed-Reset Domino Circuits Using ATACS. 3-12
  Electronic Edition (link) BibTeX
• Per Arne Karlsen, Per Torstein Røine:
  A Timing Verifier and Timing Profiler for Asynchronous Circuits. 13-
  Electronic Edition (link) BibTeX

Low Power/Noise

• Mike J. G. Lewis, Jim D. Garside, L. E. M. Brackenbury:
  Reconfigurable Latch Controllers for Low Power Asynchronous Circuits. 27-35
  Electronic Edition (link) BibTeX
• Alexander Taubin, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno:
  Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications. 36-
  Electronic Edition (link) BibTeX

Microprocessor Design

• Jim D. Garside, Stephen B. Furber, S.-H. Chung:
  AMULET3 Revealed. 51-59
  Electronic Edition (link) BibTeX
• Shai Rotem, Ken S. Stevens, Charles Dike, Marly Roncken, Boris Agapiev, Ran Ginosar, Rakefet Kol, Peter A. Beerel, Chris J. Myers, Kenneth Y. Yun:
  RAPPID: An Asynchronous Instruction Length Decoder. 60-70
  Electronic Edition (link) BibTeX
• David W. Lloyd, Jim D. Garside, D. A. Gilbert:
  Memory Faults in Asynchronous Microprocessors. 71-
  Electronic Edition (link) BibTeX

Timing Analysis

• Tod Amon, Henrik Hulgaard:
  Symbolic Time Separation of Events. 83-93
  Electronic Edition (link) BibTeX
• Aiguo Xie, Sangyun Kim, Peter A. Beerel:
  Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with Choice. 94-107
  Electronic Edition (link) BibTeX
• Tomohiro Yoneda, Hiroshi Ryu:
  Timed Trace Theoretic Verification Using Partial Order Reduction. 108-
  Electronic Edition (link) BibTeX

Synthesis

• Rajit Manohar, Tak-Kwan Lee, Alain J. Martin:
  Projection: A Synthesis Technique for Concurrent Systems. 125-134
  Electronic Edition (link) BibTeX
• Marc Renaudin, Pascal Vivet, Frédéric Robin:
  A Design Framework for Asynchronous/Synchronous Circuits Based on CHP to VHDL Translation. 135-144
  Electronic Edition (link) BibTeX
• Jochen Beister, Gernot Eckstein, Ralf Wollowski:
  From STG to Extended-Burst-Mode Machines. 145-
  Electronic Edition (link) BibTeX

Arbitration

• Bill Coates, Jo C. Ebergen, Jon K. Lexau, Scott Fairbanks, Ian W. Jones, Alex Ridgway, David Harris, Ivan E. Sutherland:
  A Counterflow Pipeline Experiment. 161-172
  Electronic Edition (link) BibTeX
• Mark R. Greenstreet, Tarik Ono-Tesfaye:
  A Fast, asP*, RGD Arbiter. 173-185
  Electronic Edition (link) BibTeX
• Mark R. Greenstreet:
  Real-Time Merging. 186-
  Electronic Edition (link) BibTeX

Pushing the Performance Limit

• David A. Kearney:
  Theoretical Limits on the Data Dependent Performance of Asynchronous Circuits. 201-207
  Electronic Edition (link) BibTeX
• Ken S. Stevens, Shai Rotem, Ran Ginosar:
  Relative Timing. 208-218
  Electronic Edition (link) BibTeX
• O. Hauck, M. Garg, Sorin A. Huss:
  Two-Phase Asynchronous Wave-Pipelines and Their Application to a 2D-DCT. 219-
  Electronic Edition (link) BibTeX

Theory

• Willem C. Mallon, Jan Tijmen Udding, Tom Verhoeff:
  Analysis and Applications of the XDI model. 231-242
  Electronic Edition (link) BibTeX
• Märt Saarepera, Tomohiro Yoneda:
  A Self-Timed Implementation of Boolean Functions. 243-
  Electronic Edition (link) BibTeX