-
3
-
-
0000006297
-
A probabilistic remark on algebraic program testing
-
R. A. DeMillo and R. J. Lipton. A probabilistic remark on algebraic program testing. Information Processing Letters, 7(4):193-195, 1978.
-
(1978)
Information Processing Letters
, vol.7
, Issue.4
, pp. 193-195
-
-
DeMillo, R.A.1
Lipton, R.J.2
-
7
-
-
0000328287
-
Irreversibility and heat generation in the computing process
-
July
-
R. Landauer. Irreversibility and heat generation in the computing process. IBM J. Research and Development, 3:183-191, July 1961.
-
(1961)
IBM J. Research and Development
, vol.3
, pp. 183-191
-
-
Landauer, R.1
-
8
-
-
0029292398
-
Low power microelectronics: Retrospect and prospect
-
Apr.
-
J. D. Meindl. Low power microelectronics: Retrospect and prospect. Proceedings of IEEE, pages 619-635, Apr. 1995.
-
(1995)
Proceedings of IEEE
, pp. 619-635
-
-
Meindl, J.D.1
-
9
-
-
0000793139
-
Cramming more components onto integrated circuits
-
G. E. Moore. Cramming more components onto integrated circuits. Electronics, 38(8), 1965.
-
(1965)
Electronics
, vol.38
, Issue.8
-
-
Moore, G.E.1
-
11
-
-
18844410749
-
Thermodynamics of randomized computing, a discipline for energy aware algorithm design and analysis
-
Georgia Institute of Technology, Nov.
-
K. V. Palem. Thermodynamics of randomized computing, a discipline for energy aware algorithm design and analysis. Technical Report GIT-CC-02-56, Georgia Institute of Technology, Nov. 2002.
-
(2002)
Technical Report
, vol.GIT-CC-02-56
-
-
Palem, K.V.1
-
12
-
-
18844371428
-
Energy aware computation: From algorithms and thermodynamics to randomized (semiconductor) devices
-
Georgia Institute of Technology, Feb.
-
K. V. Palem. Energy aware computation: From algorithms and thermodynamics to randomized (semiconductor) devices. Technical Report GIT-CC-03-10, Georgia Institute of Technology, Feb. 2003.
-
(2003)
Technical Report
, vol.GIT-CC-03-10
-
-
Palem, K.V.1
-
13
-
-
18844457802
-
Energy aware computing through randomized switching
-
Georgia Institute of Technology, May
-
K. V. Palem. Energy aware computing through randomized switching. Technical Report GIT-CC-03-16, Georgia Institute of Technology, May 2003.
-
(2003)
Technical Report
, vol.GIT-CC-03-16
-
-
Palem, K.V.1
-
15
-
-
0039830178
-
Developments in 'the synthesis of reliable organisms from unreliable components'
-
N. Pippenger. Developments in 'the synthesis of reliable organisms from unreliable components'. In Proc. of Symposia in Pure Mathematics, pages 311-324, 1990.
-
(1990)
Proc. of Symposia in Pure Mathematics
, pp. 311-324
-
-
Pippenger, N.1
-
16
-
-
0011284552
-
Degree of difficulty of computing a function and a partial ordering of recursive sets
-
Hebrew University, Israel
-
M. O. Rabin. Degree of difficulty of computing a function and a partial ordering of recursive sets. Technical Report 2, Hebrew University, Israel, 1960.
-
(1960)
Technical Report
, vol.2
-
-
Rabin, M.O.1
-
18
-
-
84976779342
-
Fast probabilistic algorithms for verification of polynomial identities
-
J. T. Schwartz. Fast probabilistic algorithms for verification of polynomial identities. J ACM, 27:701-717, 1980.
-
(1980)
J ACM
, vol.27
, pp. 701-717
-
-
Schwartz, J.T.1
-
19
-
-
0017547755
-
Noise-induced error rate as limiting factor for energy per operation in digital ICS
-
K.-U. Stein. Noise-induced error rate as limiting factor for energy per operation in digital ICS. IEEE Journal of Solid-State Circuits, SC-31(5), 1977.
-
(1977)
IEEE Journal of Solid-state Circuits
, vol.SC-31
, Issue.5
-
-
Stein, K.-U.1
|