대구한의대학교 향산도서관

링크메뉴

No	기사제목	기사저자명	출판사	발행년
211	Formal Verification Usign Edge-Valued Binary Decision Diagrams	Y.-T.Lai M.Pedram S.B.K.Vrudhula	IEEE computer society	1996

212	Self-Checking Comparator with One Periodic Output	S.Kundu E.S.Sogomonyan M.Goessel	IEEE computer society	1996

213	A Note on Radially Moore Digraphs	M.Knor	IEEE computer society	1996

214	Global Commutative and Associative Reduction Operations in Faulty SIMD Hypercubes	C.S.Raghavendra M.A.Sridhar	IEEE computer society	1996

215	Efficient Techniques for the Analysis of Algorithm-Based Fault Tolerance (ABFT) Schemes	V.S.S.Nair J.A.Abraham P.Banerjee	IEEE computer society	1996

216	Comparison of Duplex and Triplex Memory Reliability	N.H.Vaidya	IEEE computer society	1996

217	A Generalization of the Signle b-Bit Byte Error Correcting and Double Bit Error Detecting Codes for High-Speed Memory Systems	S.Xiao X.Shih G.L.Feng	IEEE computer society	1996

218	Negarion Trees: A Unified Approach to Boolean Function Complementation	T.Wang C.McCrosky	IEEE computer society	1996

219	A New Self-Routing Permutation Network	W.-J.Cheng W.-T.Chen	IEEE computer society	1996

220	Multiple Fault Detection in Fan-Out Free Circuits Using Minimal Single Fault Test Set	K.Lai P.K.Lala	IEEE computer society	1996