Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Gopalakrishnan, Ganesh
and
Akella, Venkatesh
1994.
Asynchronous Circuit Design for VLSI Signal Processing.
p.
33.
Kondratyev, A.
and
Taubin, A.
1994.
Verification of the speed-independent circuits by STG unfoldings.
p.
64.
Gopalakrishnan, Ganesh
and
Akella, Venkatesh
1994.
High-level optimizations in compiling process descriptions to asynchronous circuits.
Journal of VLSI signal processing systems for signal, image and video technology,
Vol. 7,
Issue. 1-2,
p.
33.
van Berkel, Kees
and
Rem, Martin
1995.
Asynchronous Digital Circuit Design.
p.
151.
Davis, Al
and
Nowick, Steven M.
1995.
Asynchronous Digital Circuit Design.
p.
1.
Smith, Scott F.
and
Zwarico, Amy E.
1995.
Correct compilation of specifications to deterministic asynchronous circuits.
Formal Methods in System Design,
Vol. 7,
Issue. 3,
p.
155.
Brown, Geoffrey
Luk, Wayne
and
O'Leary, John
1996.
Retargeting a hardware compiler using protocol converters.
Formal Aspects of Computing,
Vol. 8,
Issue. 2,
p.
209.
Furber, S. B.
1997.
Low Power Design in Deep Submicron Electronics.
p.
461.
O'Leary, John
Brown, Geoffrey
and
Luk, Wayne
1997.
Verified compilation of communicating processes into clocked circuits.
Formal Aspects of Computing,
Vol. 9,
Issue. 5-6,
p.
537.
Josephs, Mark B.
and
Bailey, Andrew M.
1997.
The Use of SI-Algebra in the design of sequencer circuits.
Formal Aspects of Computing,
Vol. 9,
Issue. 4,
p.
395.
Josephs, Mark B.
1998.
Mathematics of Program Construction.
Vol. 1422,
Issue. ,
p.
234.
Bardsley, Andrew
and
Edwards, Doug
2000.
Synthesising an asynchronous DMA controller with Balsa.
Journal of Systems Architecture,
Vol. 46,
Issue. 14,
p.
1309.
Sharp, Richard
and
Mycroft, Alan
2001.
Static Analysis.
Vol. 2126,
Issue. ,
p.
57.
Mycroft, Alan
and
Sharp, Richard
2001.
Correct Hardware Design and Verification Methods.
Vol. 2144,
Issue. ,
p.
13.
Kienhuis, Bart
Deprettere, Ed F.
van der Wolf, Pieter
and
Vissers, Kees
2002.
Embedded Processor Design Challenges.
Vol. 2268,
Issue. ,
p.
18.
Yakovlev, Alex
2002.
Application and Theory of Petri Nets 2002.
Vol. 2360,
Issue. ,
p.
70.
Hehner, Eric C. R.
Norvell, Theodore S.
and
Paige, Richard F.
2003.
Programming Methodology.
p.
381.
Teifel, J.
and
Manohar, R.
2004.
Static tokens: using data .ow to automate concurrent pipeline synthesis.
p.
17.
Boubekeur, Menouer
Borrione, Dominique
Mounier, Laurent
Siriani, Antoine
and
Renaudin, Marc
2004.
Languages for System Specification.
p.
285.
Capewell, P.
and
Watson, I.
2005.
A RISC hardware platform for low power Java.
p.
138.