Information Technology Reference
In-Depth Information
61. K. N. Patel, J. P. Hayes, and I. L. Markov. Evaluating circuit reliability under
probabilistic gate level fault models. In: IWLS: pp 59-64, May 2003.
62. V. L. Levin. Probability analysis of combination systems and their reliability,
Engineering Cybernetics, 6, pp 78-84, Nov-Dec 1964.
63. L. de Alfaro, M. Kwiatkowska, G. Norman, D. Parker, and R. Segala. Symbolic model
checking of concurrent probabilistic processes using mtbdds and the kronecker
representation. In: TACAS, 2000.
64. I. Bahar, E. Frohm, C. Gaona, G. Hachtel, E. Macii, A. Pardo, and F. Somenzi.
Algebraic decision diagrams and their applications. Journal of Formal Methods in
Systems Design, 10(2-3): pp 171-206, 1997.
65. R. I. Bahar, J. Mundy, and J. Chen. A probability-based design methodology for
nanoscale computation. In: International Conference on Computer-Aided Design. San
Jose, CA, Nov 2003.
66. J. Besag. Spatial interaction and the statistical analysis of lattice systems. Journal of the
Royal Statistical Society, Series B, 36(3): pp 192-236, 1994.
67. A. Sommerfeld. Thermodynamics and Statistical Mechanics: Lectures on Theoretical
Physics. New York: Academic Press, 1964.
68. http://www.pha.jhu.edu/
B
xerver/seminar2.
69. D. Bhaduri, S. Shukla, P. Graham, and M. Gokhale. Scalability techniques and tools
for reliability analysis of large circuits. International Conference on VLSI Design:
pp 705-710, Jan 2007.
Search WWH ::
Custom Search