Information Technology Reference
In-Depth Information
41. G. Norman, D. Parker, M. Kwiatkowska, and S. Shukla. Evaluating the reliability of
nano multiplexing with prism. IEEE Transactions on Computer-Aided Design of
Integrated Circuits and Systems, 24(9): to appear September 2005.
42. E. Clarke, M. Fujita, P. McGeer, J. Yang, and X. Zhao. Multi-terminal binary decision
diagrams: An efficient data structure for matrix representation. In: International
Workshop on Logic Synthesis (IWLS), 1993.
43. E. Clarke, E. Emerson, and A. Sistla. Automatic verification of finite state concurrent
systems using temporal logic specifications. In: 10th Annual Symposium on Principles
of Programming Languages, 1983.
44. C. E. Shannon. A mathematical theory of communication. Bell Systems Technical
Journal, 27: pp 379-423-623-656, 1948.
45. R. W. Hamming. Error-detecting and error-correcting codes. Bell Systems Technical
Journal, 29: pp 147-160, 1950.
46. R. Hamming. Coding and Information Theory, 2nd ed. Prentice Hall, 1986.
47. J. von Neumann. Probabilistic logics and synthesis of reliable organisms from
unreliable components. Automata Studies, pp 43-98, 1956.
48. P. Gacs and A. Gal. Lower bounds for the complexity of reliable Boolean circuits with
noisy gates. IEEE Transactions on Information Theory, 40: pp 579-583, 1994.
49. C. H. Bennett. Notes on the history of reversible computation. IBM Journal of
Research and Development, 32(16-23): 1988.
50. R. Landauer. Irreversibility and heat generation in the computing process. IBM
Journal of Research and Development, 5(183-191): 1961.
51. R. Landauer. Computation: a fundamental physical view. Physical Science, 35(88-95):
1987.
52. N. Pippenger. Reliable computation by formulas in the presence of noise. IEEE
Transactions on Information Theory, 34(2): pp 194-197, 1988.
53. N. Pippenger. On Networks of Noisy Gates. 26. New York: IEEE, 1985, pp. 30-38.
54. N. Pippenger. Developments in the Synthesis of Reliable Organisms from Unreliable
Components. 50. Providence, RI: American Mathematical Society, 1990, pp. 311-323.
55. J. Han and P. Jonker. A system architecture solution for unreliable nanoelectronic
devices. IEEE Transactions on Nanotechnology, 1: pp 201-208, 2002.
56. A. S. Sadek, K. Nicoli'c, and M. Forshaw. Parallel information and computation
with restitution for noise-tolerant nanoscale logic networks. Nanotechnology, 15(1):
pp. 192-210, Jan 2004.
57. S. Roy and V. Beiu. Majority multiplexing-economical redundant fault-
tolerant designs for nanoarchitectures. IEEE Transactions on Nanotechnology, 4(4):
pp 441-451, 2005.
58. K. Nikolic, A. Sadek, and M. Forshaw. Architectures for reliable computing
with unreliable nanodevices. In: Proceeding of the IEEE-NANO'01. IEEE, 2001,
pp. 254-259.
59. K. Nikolic, A. Sadek, and M. Forshaw. Fault-tolerant techniques for nano-computers.
In: Nanotechnology(13): pp 357-362, 2002.
60. M. Forshaw, K. Nikolic, and A. Sadek. Ec answers project (melari 28667). Tech. Rep.
http://ipga.phys.ucl.ac.uk/research/answers.
 
Search WWH ::




Custom Search