-
1
-
-
0005336517
-
Syntax- directed translation of concurrent programs into self-timed circuits
-
J. Allen and F. Leighton, editors, MIT Press
-
Steven M. Burns and Alain J. Martin. Syntax- directed translation of concurrent programs into self-timed circuits. In J. Allen and F. Leighton, editors, Proceedings of the Fifth MIT Conference on Advanced Research in VLSI, pages 35-50. MIT Press, 1988.
-
(1988)
Proceedings of the Fifth MIT Conference on Advanced Research in VLSI
, pp. 35-50
-
-
Burns, S.M.1
Martin, A.J.2
-
2
-
-
0003889387
-
Trace theory for automatic hierarchical verification of speed-independent circuits
-
Jonathan Allen and F. Thomson Leighton, editors, MIT Press
-
David L. Dill. Trace theory for automatic hierarchical verification of speed-independent circuits. In Jonathan Allen and F. Thomson Leighton, editors, Advanced Research in VLSI: Proceedings of the Fifth MIT Conference, pages 51-65. MIT Press, 1988.
-
(1988)
Advanced Research in VLSI: Proceedings of the Fifth MIT Conference
, pp. 51-65
-
-
Dill, D.L.1
-
3
-
-
0018005391
-
Communicating sequential processes
-
August
-
C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, August 1978.
-
(1978)
Communications of the ACM
, vol.21
, Issue.8
, pp. 666-677
-
-
Hoare, C.A.R.1
-
4
-
-
84938015047
-
A method for the construction of minimum redundancy codes
-
D. A. Huffman. A method for the construction of minimum redundancy codes. In Proc. IRE, volume 40, pages 1098-1101, 1952.
-
(1952)
Proc. IRE
, vol.40
, pp. 1098-1101
-
-
Huffman, D.A.1
-
6
-
-
33646948980
-
The first asynchronous microprocessor: The test results
-
June
-
Alain J. Martin, Steven M. Burns, T. K. Lee, Drazen Borkovic, and Pieter J. Hazewindus. The first asynchronous microprocessor: the test results. Computer Architecture News, 17(4):95-110, June 1989.
-
(1989)
Computer Architecture News
, vol.17
, Issue.4
, pp. 95-110
-
-
Martin, A.J.1
Burns, S.M.2
Lee, T.K.3
Borkovic, D.4
Hazewindus, P.J.5
-
7
-
-
0029182645
-
Towards a high-level power estimation capability
-
Association for Computing Machinery, April
-
Farid Najm. Towards a high-level power estimation capability. In Proceedings 1995 Symposium on Low Power Design, pages 87-92. Association for Computing Machinery, April 1995.
-
(1995)
Proceedings 1995 Symposium on Low Power Design
, pp. 87-92
-
-
Najm, F.1
-
9
-
-
84940644968
-
A mathematical theory of communication
-
C. Shannon. A mathematical theory of communication. In Bell Systems Tech. J., volume 27, pages 379-423, 1948.
-
(1948)
Bell Systems Tech. J.
, vol.27
, pp. 379-423
-
-
Shannon, C.1
-
11
-
-
0028017043
-
A fully-asynchronous low-power error corrector for the DCC player
-
February
-
Kees van Berkel, Ronan Burgess, Joep Kessels, Ad Peeters, Marly Roncken, and Frits Schalij. A fully-asynchronous low-power error corrector for the DCC player. In International Solid State Circuits Conference, pages 88-89, February 1994.
-
(1994)
International Solid State Circuits Conference
, pp. 88-89
-
-
Van-Berkel, K.1
Burgess, R.2
Kessels, J.3
Peeters, A.4
Roncken, M.5
Schalij, F.6
|