Abstract is missing.
- Verification of Delayed-Reset Domino Circuits Using ATACSWendy Belluomini, Chris J. Myers, H. Peter Hofstee. 3-12 [doi]
- A Timing Verifier and Timing Profiler for Asynchronous CircuitsPer Arne Karlsen, Per Torstein Røine. 13 [doi]
- Reconfigurable Latch Controllers for Low Power Asynchronous CircuitsMike J. G. Lewis, Jim D. Garside, L. E. M. Brackenbury. 27-35 [doi]
- Behavioral Transformations to Increase Noise Immunity in Asynchronous SpecificationsAlexander Taubin, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno. 36 [doi]
- AMULET3 RevealedJim D. Garside, Stephen B. Furber, S. H. Chung. 51-59 [doi]
- RAPPID: An Asynchronous Instruction Length DecoderShai Rotem, Ken S. Stevens, Charles Dike, Marly Roncken, Boris Agapiev, Ran Ginosar, Rakefet Kol, Peter A. Beerel, Chris J. Myers, Kenneth Y. Yun. 60-70 [doi]
- Memory Faults in Asynchronous MicroprocessorsDavid W. Lloyd, Jim D. Garside, D. A. Gilbert. 71 [doi]
- Symbolic Time Separation of EventsTod Amon, Henrik Hulgaard. 83-93 [doi]
- Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with ChoiceAiguo Xie, Sangyun Kim, Peter A. Beerel. 94-107 [doi]
- Timed Trace Theoretic Verification Using Partial Order ReductionTomohiro Yoneda, Hiroshi Ryu. 108 [doi]
- Projection: A Synthesis Technique for Concurrent SystemsRajit Manohar, Tak-Kwan Lee, Alain J. Martin. 125-134 [doi]
- A Design Framework for Asynchronous/Synchronous Circuits Based on CHP to VHDL TranslationMarc Renaudin, Pascal Vivet, Frédéric Robin. 135-144 [doi]
- From STG to Extended-Burst-Mode MachinesJochen Beister, Gernot Eckstein, Ralf Wollowski. 145 [doi]
- A Counterflow Pipeline ExperimentBill Coates, Jo C. Ebergen, Jon K. Lexau, Scott Fairbanks, Ian W. Jones, Alex Ridgway, David Harris, Ivan E. Sutherland. 161-172 [doi]
- A Fast, asP*, RGD ArbiterMark R. Greenstreet, Tarik Ono-Tesfaye. 173-185 [doi]
- Real-Time MergingMark R. Greenstreet. 186 [doi]
- Theoretical Limits on the Data Dependent Performance of Asynchronous CircuitsDavid A. Kearney. 201-207 [doi]
- Relative TimingKen S. Stevens, Shai Rotem, Ran Ginosar. 208-218 [doi]
- Two-Phase Asynchronous Wave-Pipelines and Their Application to a 2D-DCTO. Hauck, M. Garg, Sorin A. Huss. 219 [doi]
- Analysis and Applications of the XDI modelWillem C. Mallon, Jan Tijmen Udding, Tom Verhoeff. 231-242 [doi]
- A Self-Timed Implementation of Boolean FunctionsMärt Saarepera, Tomohiro Yoneda. 243 [doi]