Search dblp for Publications

export results for "toc:db/conf/async/async1994.bht:"

 download as .bib file

@inproceedings{DBLP:conf/async/AshkinazyEFGS94,
  author       = {Aaron Ashkinazy and
                  David A. Edwards and
                  Craig Farnsworth and
                  Gary Gendel and
                  Shiv S. Sikand},
  title        = {Tools for validating asynchronous digital circuits},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {12--21},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656282},
  doi          = {10.1109/ASYNC.1994.656282},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/async/AshkinazyEFGS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/BeerelBM94,
  author       = {Peter A. Beerel and
                  Jerry R. Burch and
                  Teresa H.{-}Y. Meng},
  title        = {Sufficient conditions for correct gate-level speed-independent circuits},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {33--43},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656284},
  doi          = {10.1109/ASYNC.1994.656284},
  timestamp    = {Mon, 20 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/BeerelBM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/BenkoE94,
  author       = {Igor Benko and
                  Jo C. Ebergen},
  title        = {Delay-insensitive solutions to the committee problem},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {228--237},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656315},
  doi          = {10.1109/ASYNC.1994.656315},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/BenkoE94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/Bickford94,
  author       = {Mark Bickford},
  title        = {Composable specifications for asynchronous systems using {UNITY}},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {216--227},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656314},
  doi          = {10.1109/ASYNC.1994.656314},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/Bickford94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/BrownLO94,
  author       = {Geoffrey Brown and
                  Wayne Luk and
                  John O'Leary},
  title        = {Retargeting a hardware compiler proof using protocol converters},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {54--63},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656286},
  doi          = {10.1109/ASYNC.1994.656286},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/BrownLO94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/ChappelZ94,
  author       = {John F. Chappel and
                  Safwat G. Zaky},
  title        = {A delay-controlled phase-locked loop to reduce timing errors in synchronous/asynchronous
                  communication links},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {156--165},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656307},
  doi          = {10.1109/ASYNC.1994.656307},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/ChappelZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/ChungK94,
  author       = {Edwin G. Y. Chung and
                  Lindsay Kleeman},
  title        = {Metastable-robust self-timed circuit synthesis from live safe simple
                  signal transition graphs},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {97--105},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656290},
  doi          = {10.1109/ASYNC.1994.656290},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/async/ChungK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/CortadellaLVY94,
  author       = {Jordi Cortadella and
                  Luciano Lavagno and
                  Peter Vanbekbergen and
                  Alex Yakovlev},
  title        = {Designing asynchronous circuits from behavioural specifications with
                  internal conflicts},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {106--115},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656296},
  doi          = {10.1109/ASYNC.1994.656296},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/CortadellaLVY94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/CummingsLM94,
  author       = {Uri Cummings and
                  Andrew Lines and
                  Alain J. Martin},
  title        = {An asynchronous pipelined lattice structure filter},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {126--133},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656301},
  doi          = {10.1109/ASYNC.1994.656301},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/CummingsLM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/FarnsworthES94,
  author       = {Craig Farnsworth and
                  David A. Edwards and
                  Shiv S. Sikand},
  title        = {Utilising dynamic logic for low power consumption in asynchronous
                  circuits},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {186--194},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656311},
  doi          = {10.1109/ASYNC.1994.656311},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/FarnsworthES94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/FranklinP94,
  author       = {Mark A. Franklin and
                  Tienyo Pan},
  title        = {Performance comparison of asynchronous adders},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {117--125},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656299},
  doi          = {10.1109/ASYNC.1994.656299},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/FranklinP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/GreenstreetC94,
  author       = {Mark R. Greenstreet and
                  Peter Cahoon},
  title        = {How fast will the flip flop?},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {77--86},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656288},
  doi          = {10.1109/ASYNC.1994.656288},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/GreenstreetC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/HulgaardB94,
  author       = {Henrik Hulgaard and
                  Steven M. Burns},
  title        = {Bounded delay timing analysis of a class of {CSP} programs with choice},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {2--11},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656281},
  doi          = {10.1109/ASYNC.1994.656281},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/HulgaardB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/JosephsLUV94,
  author       = {Mark B. Josephs and
                  Paul G. Lucassen and
                  Jan Tijmen Udding and
                  Tom Verhoeff},
  title        = {Formal design of an asynchronous {DSP} counterflow pipeline: a case
                  study in handshake algebra},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {206--215},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656313},
  doi          = {10.1109/ASYNC.1994.656313},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/JosephsLUV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/KhocheB94,
  author       = {Ajay Khoche and
                  Erik Brunvand},
  title        = {Testing micropipelines},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {239--246},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656316},
  doi          = {10.1109/ASYNC.1994.656316},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/KhocheB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/KishinevskyS94,
  author       = {Michael Kishinevsky and
                  J{\o}rgen Staunstrup},
  title        = {Characterizing speed-independence of high-level designs},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {44--53},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656285},
  doi          = {10.1109/ASYNC.1994.656285},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/KishinevskyS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/KondratyevT94,
  author       = {Alex Kondratyev and
                  Alexander Taubin},
  title        = {Verification of the speed-independent circuits by {STG} unfoldings},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {64--75},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656287},
  doi          = {10.1109/ASYNC.1994.656287},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/KondratyevT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/KudvaA94,
  author       = {Prabhakar Kudva and
                  Venkatesh Akella},
  title        = {A technique for estimating power in asynchronous circuits},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {166--175},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656309},
  doi          = {10.1109/ASYNC.1994.656309},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/KudvaA94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/KuwakoN94,
  author       = {Masashi Kuwako and
                  Takashi Nanya},
  title        = {Timing-reliability evaluation of asynchronous circuits based on different
                  delay models},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {22--31},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656283},
  doi          = {10.1109/ASYNC.1994.656283},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/KuwakoN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/MortonAL94,
  author       = {Shannon V. Morton and
                  Sam S. Appleton and
                  Michael J. Liebelt},
  title        = {An event controlled reconfigurable multi-chip {FFT}},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {144--153},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656304},
  doi          = {10.1109/ASYNC.1994.656304},
  timestamp    = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/async/MortonAL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/PatraF94,
  author       = {Priyadarsan Patra and
                  Donald S. Fussell},
  title        = {Efficient building blocks for delay insensitive circuits},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {196--205},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656312},
  doi          = {10.1109/ASYNC.1994.656312},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/PatraF94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/Roine94,
  author       = {Per Torstein R{\o}ine},
  title        = {Building fast bundled data circuits with a specialized standard cell
                  library},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {134--143},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656302},
  doi          = {10.1109/ASYNC.1994.656302},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/Roine94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/Roncken94,
  author       = {Marly Roncken},
  title        = {Partial scan test for asynchronous circuits illustrated on a {DCC}
                  error corrector},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {247--256},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656318},
  doi          = {10.1109/ASYNC.1994.656318},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/Roncken94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/Seizovic94,
  author       = {Jakov N. Seizovic},
  title        = {Pipeline synchronization},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {87--96},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656289},
  doi          = {10.1109/ASYNC.1994.656289},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/Seizovic94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/TiernoM94,
  author       = {Jos{\'{e}} A. Tierno and
                  Alain J. Martin},
  title        = {Low-energy asynchronous memory design},
  booktitle    = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  pages        = {176--185},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/ASYNC.1994.656310},
  doi          = {10.1109/ASYNC.1994.656310},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/TiernoM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/async/1994,
  title        = {Proceedings of the International Symposium on Advanced Research in
                  Asynchronous Circuits and Systems, {ASYNC} 1994, Salt Lake City, UT,
                  USA, November 3-5, 1994},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/5265/proceeding},
  isbn         = {0-8186-6210-7},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/async/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics