Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems: November 3 - 5, 1994, Salt Lake City, Utah
Gespeichert in:
Körperschaft: | |
---|---|
Format: | Tagungsbericht Buch |
Sprache: | English |
Veröffentlicht: |
Los Alamitos, Calif.
IEEE Computer Society Pr.
1994
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | XII, 258 S.: graph. Darst. |
ISBN: | 0818662107 0818662115 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV011202401 | ||
003 | DE-604 | ||
005 | 19970724 | ||
007 | t | ||
008 | 970214s1994 |||| 10||| eng d | ||
020 | |a 0818662107 |9 0-8186-6210-7 | ||
020 | |a 0818662115 |9 0-8186-6211-5 | ||
035 | |a (OCoLC)31762561 | ||
035 | |a (DE-599)BVBBV011202401 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-91 |a DE-83 | ||
050 | 0 | |a TK7868.A79 | |
082 | 0 | |a 621.39/5 |2 20 | |
084 | |a ELT 459f |2 stub | ||
111 | 2 | |a International Symposium on Advanced Research in Asynchronous Circuits and Systems |n 1 |d 1994 |c Salt Lake City, Utah |j Verfasser |0 (DE-588)5129801-6 |4 aut | |
245 | 1 | 0 | |a Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems |b November 3 - 5, 1994, Salt Lake City, Utah |c [Ed. production by Mary E. Kavanaugh] |
264 | 1 | |a Los Alamitos, Calif. |b IEEE Computer Society Pr. |c 1994 | |
300 | |a XII, 258 S.: graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
650 | 4 | |a Asynchronous circuits |v Congresses | |
650 | 0 | 7 | |a VLSI |0 (DE-588)4117388-0 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Digitaltechnik |0 (DE-588)4012303-0 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Computerarchitektur |0 (DE-588)4048717-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Asynchrones Schaltwerk |0 (DE-588)4271581-7 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Flip-Flop |0 (DE-588)4135907-0 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z Salt Lake City Utah |2 gnd-content | |
689 | 0 | 0 | |a Asynchrones Schaltwerk |0 (DE-588)4271581-7 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Flip-Flop |0 (DE-588)4135907-0 |D s |
689 | 1 | |8 1\p |5 DE-604 | |
689 | 2 | 0 | |a Computerarchitektur |0 (DE-588)4048717-9 |D s |
689 | 2 | |8 2\p |5 DE-604 | |
689 | 3 | 0 | |a Digitaltechnik |0 (DE-588)4012303-0 |D s |
689 | 3 | |8 3\p |5 DE-604 | |
689 | 4 | 0 | |a VLSI |0 (DE-588)4117388-0 |D s |
689 | 4 | |8 4\p |5 DE-604 | |
700 | 1 | |a Kavanaugh, Mary E. |e Sonstige |4 oth | |
856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007513454&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-007513454 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
_version_ | 1804125698825125888 |
---|---|
adam_text | Table
of
Contents
Message
from the
Chairs
ix
Program Committee
xii
I
—
Analysis Tools
Chair: Jens Spars0
—
Technical University of Denmark
Bounded Delay Timing Analysis of a Class of CSP Programs with Choice
2
H. Hulgaard and S.M. Burns
Tools for Validating Asynchronous Digital Circuits
................................................................................ 12
A. Ashkinazy, D. Edwards,
C. Farnsworth, G. Gendel,
and S. Sikand
Timing-Reliability Evaluation of Asynchronous Circuits Based on Different Delay Models
22
M. Kuwako and T. Nanya
II
—
Formal Verification
Chair: David Dill
—
Stanford University, USA
Sufficient Conditions for Correct Gate-Level Speed-Independent Circuits
33
P.A.
Beerei,
J.R. Burch, and T.H-Y.
Meng
Characterizing Speed-Independence of High-Level Designs
44
M. Kishinevsky and J. Staunstrup
Retargeting a Hardware Compiler Proof Using Protocol Converters
54
G. Brown, W.
Luk,
and
J. O Leary
Verification of the Speed-Independent Circuits by STG Unfoldings
64
A. Kondratyev and A. Taubin
III
—
Metastability
Chair: Charles
Moinar
—
Washington University, USA
How Fast Will the Flip Flop?
................................................................................................................77
M.R. Greenstreet and P. Cahoon
Pipeline Synchronization
..........................................................................................................87
J.N. Seizovic
Metastable-Robust Self-Timed Circuit Synthesis from Live Safe Simple Signal
Transition Graphs
97
E. C. Y. Chung and L. Kleetnan
Designing Asynchronous Circuits from Behavioural Specifications with Internal Conflicts
106
J. Cortadella, L. Lavagno, P.
Vanbekbergen,
and A. Yakovlev
IV
—
Practice and Experience
Chair: Ted Williams
—
HaL Computer Systems, USA
Performance Comparison of Asynchronous Adders
117
M.A. Franklin and T. Pan
An Asynchronous Pipelined Lattice Structure Filter
............................................................................... 126
U. V. Cummings, A.M. Lines, and A.J. Martin
Building Fast Bundled Data Circuits with a Specialized Standard Cell Library
134
P.T. R0ine
An Event Controlled
Reconfigurable
Multi-Chip FFT
144
S.V.
Morton,
S.S. Appleton,
and
M. J.
Liebelt
Invited Speaker
—
Ivan Sutherland, V.P. and Fellow, Sun Microsystems Laboratories
Why is Design of Asynchronous Systems Hard? Or Is It Easy?
V
—
Power and Interfacing
Chair: Bill Athas
—
USC
/Information Sciences Institute, USA
A Delay-Controlled Phase-Locked Loop to Reduce Timing Errors in
Synchronous/Asynchronous Communication Links
............................................................................... 156
J.F. Chappel and S.G. Zaky
A Technique for Estimating Power in Asynchronous Circuits
................................................................166
P. Kudva and V. Akella
Low-Energy Asynchronous Memory Design
......................................................................................... 176
J.A.
Tierno
and A.J. Martin
Utilising Dynamic Logic for Low Power Consumption in Asynchronous Circuits
186
С
Farnsworth, D.A. Edwards, and
S.S.
Sikand
VI
—
Formal Methods
Chair: Martin
Rem
—
Eindhoven University, The Netherlands
Efficient Building Blocks for Delay Insensitive Circuits
1%
P.
Patra
and
D.S. Fussel
Formal Design of an Asynchronous DSP Counterflow Pipeline: A Case Study in
Handshake Algebra
.......................................................................................................206
M.B. Josephs, P.G.
Lucassen,
J.
T.
Hading, and
T. Verhoeff
Composable Specifications for Asynchronous Systems Using UNITY
216
M. Bickford
Delay-Insensitive Solutions to the Committee Problem
228
/.
Benko and J. C. Ebergen
VII
—
Testing
Chair: Luciano Lavagno
—
Politecnico di
Torino, Italy
Testing Micropipelines
239
A. Khoche and
E. B
run
vand
Partial Scan Test for Asynchronous Circuits Illustrated on a DCC Error Corrector
247
M. Roncken
Special
Invited
Session — An
Extended Industrial
Design
Example
The Counterflow Pipeline Processor
Ivan Sutherland, Robert Sproull, Dave Roberts, Charles
Moinar,
Ian Jones, Bill
Coates,
Robert Yung, and John Lexau
Author Index
........................................................................................................
25s
|
any_adam_object | 1 |
author_corporate | International Symposium on Advanced Research in Asynchronous Circuits and Systems Salt Lake City, Utah |
author_corporate_role | aut |
author_facet | International Symposium on Advanced Research in Asynchronous Circuits and Systems Salt Lake City, Utah |
author_sort | International Symposium on Advanced Research in Asynchronous Circuits and Systems Salt Lake City, Utah |
building | Verbundindex |
bvnumber | BV011202401 |
callnumber-first | T - Technology |
callnumber-label | TK7868 |
callnumber-raw | TK7868.A79 |
callnumber-search | TK7868.A79 |
callnumber-sort | TK 47868 A79 |
callnumber-subject | TK - Electrical and Nuclear Engineering |
classification_tum | ELT 459f |
ctrlnum | (OCoLC)31762561 (DE-599)BVBBV011202401 |
dewey-full | 621.39/5 |
dewey-hundreds | 600 - Technology (Applied sciences) |
dewey-ones | 621 - Applied physics |
dewey-raw | 621.39/5 |
dewey-search | 621.39/5 |
dewey-sort | 3621.39 15 |
dewey-tens | 620 - Engineering and allied operations |
discipline | Elektrotechnik Elektrotechnik / Elektronik / Nachrichtentechnik |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02625nam a2200577 c 4500</leader><controlfield tag="001">BV011202401</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970724 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970214s1994 |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818662107</subfield><subfield code="9">0-8186-6210-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818662115</subfield><subfield code="9">0-8186-6211-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31762561</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011202401</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK7868.A79</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.39/5</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ELT 459f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Symposium on Advanced Research in Asynchronous Circuits and Systems</subfield><subfield code="n">1</subfield><subfield code="d">1994</subfield><subfield code="c">Salt Lake City, Utah</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5129801-6</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems</subfield><subfield code="b">November 3 - 5, 1994, Salt Lake City, Utah</subfield><subfield code="c">[Ed. production by Mary E. Kavanaugh]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif.</subfield><subfield code="b">IEEE Computer Society Pr.</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 258 S.: graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Asynchronous circuits</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Digitaltechnik</subfield><subfield code="0">(DE-588)4012303-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerarchitektur</subfield><subfield code="0">(DE-588)4048717-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Asynchrones Schaltwerk</subfield><subfield code="0">(DE-588)4271581-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Flip-Flop</subfield><subfield code="0">(DE-588)4135907-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1994</subfield><subfield code="z">Salt Lake City Utah</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Asynchrones Schaltwerk</subfield><subfield code="0">(DE-588)4271581-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Flip-Flop</subfield><subfield code="0">(DE-588)4135907-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Computerarchitektur</subfield><subfield code="0">(DE-588)4048717-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Digitaltechnik</subfield><subfield code="0">(DE-588)4012303-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kavanaugh, Mary E.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007513454&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007513454</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 1994 Salt Lake City Utah gnd-content |
genre_facet | Konferenzschrift 1994 Salt Lake City Utah |
id | DE-604.BV011202401 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T18:05:42Z |
institution | BVB |
institution_GND | (DE-588)5129801-6 |
isbn | 0818662107 0818662115 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007513454 |
oclc_num | 31762561 |
open_access_boolean | |
owner | DE-91 DE-BY-TUM DE-83 |
owner_facet | DE-91 DE-BY-TUM DE-83 |
physical | XII, 258 S.: graph. Darst. |
publishDate | 1994 |
publishDateSearch | 1994 |
publishDateSort | 1994 |
publisher | IEEE Computer Society Pr. |
record_format | marc |
spelling | International Symposium on Advanced Research in Asynchronous Circuits and Systems 1 1994 Salt Lake City, Utah Verfasser (DE-588)5129801-6 aut Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems November 3 - 5, 1994, Salt Lake City, Utah [Ed. production by Mary E. Kavanaugh] Los Alamitos, Calif. IEEE Computer Society Pr. 1994 XII, 258 S.: graph. Darst. txt rdacontent n rdamedia nc rdacarrier Asynchronous circuits Congresses VLSI (DE-588)4117388-0 gnd rswk-swf Digitaltechnik (DE-588)4012303-0 gnd rswk-swf Computerarchitektur (DE-588)4048717-9 gnd rswk-swf Asynchrones Schaltwerk (DE-588)4271581-7 gnd rswk-swf Flip-Flop (DE-588)4135907-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Salt Lake City Utah gnd-content Asynchrones Schaltwerk (DE-588)4271581-7 s DE-604 Flip-Flop (DE-588)4135907-0 s 1\p DE-604 Computerarchitektur (DE-588)4048717-9 s 2\p DE-604 Digitaltechnik (DE-588)4012303-0 s 3\p DE-604 VLSI (DE-588)4117388-0 s 4\p DE-604 Kavanaugh, Mary E. Sonstige oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007513454&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems November 3 - 5, 1994, Salt Lake City, Utah Asynchronous circuits Congresses VLSI (DE-588)4117388-0 gnd Digitaltechnik (DE-588)4012303-0 gnd Computerarchitektur (DE-588)4048717-9 gnd Asynchrones Schaltwerk (DE-588)4271581-7 gnd Flip-Flop (DE-588)4135907-0 gnd |
subject_GND | (DE-588)4117388-0 (DE-588)4012303-0 (DE-588)4048717-9 (DE-588)4271581-7 (DE-588)4135907-0 (DE-588)1071861417 |
title | Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems November 3 - 5, 1994, Salt Lake City, Utah |
title_auth | Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems November 3 - 5, 1994, Salt Lake City, Utah |
title_exact_search | Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems November 3 - 5, 1994, Salt Lake City, Utah |
title_full | Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems November 3 - 5, 1994, Salt Lake City, Utah [Ed. production by Mary E. Kavanaugh] |
title_fullStr | Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems November 3 - 5, 1994, Salt Lake City, Utah [Ed. production by Mary E. Kavanaugh] |
title_full_unstemmed | Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems November 3 - 5, 1994, Salt Lake City, Utah [Ed. production by Mary E. Kavanaugh] |
title_short | Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems |
title_sort | proceedings of the international symposium on advanced research in asynchronous circuits and systems november 3 5 1994 salt lake city utah |
title_sub | November 3 - 5, 1994, Salt Lake City, Utah |
topic | Asynchronous circuits Congresses VLSI (DE-588)4117388-0 gnd Digitaltechnik (DE-588)4012303-0 gnd Computerarchitektur (DE-588)4048717-9 gnd Asynchrones Schaltwerk (DE-588)4271581-7 gnd Flip-Flop (DE-588)4135907-0 gnd |
topic_facet | Asynchronous circuits Congresses VLSI Digitaltechnik Computerarchitektur Asynchrones Schaltwerk Flip-Flop Konferenzschrift 1994 Salt Lake City Utah |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007513454&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT internationalsymposiumonadvancedresearchinasynchronouscircuitsandsystemssaltlakecityutah proceedingsoftheinternationalsymposiumonadvancedresearchinasynchronouscircuitsandsystemsnovember351994saltlakecityutah AT kavanaughmarye proceedingsoftheinternationalsymposiumonadvancedresearchinasynchronouscircuitsandsystemsnovember351994saltlakecityutah |