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

링크메뉴

No	기사제목	기사저자명	출판사	발행년
81	An Intelligent Tutoring System for the Dijkstra-Gries Methodology	F.Ng G.Butler J.Kay	IEEE computer society	1995

82	Analyzing Expected Time by Scheduler-Luck Games	S.Dolev A.Israeli S.Moran	IEEE computer society	1995

83	Verifying Definite Iteration Over Data Structures	A.M.Stavely	IEEE computer society	1995

84	Using Automatic Process Clustering for Design Revovery and Distributed Debugging	T.Kunz J.P.Black	IEEE computer society	1995

85	An Accurate Worst Case Timing Analysis for RISC Processors	S.S.Lim Y.H.Cae G.T.Jang	IEEE computer society	1995

86	Response-Time Bounds of EQL Rule-Based Programs Under Rule Priority Structure	R.-H.Wang A.K.Mok	IEEE computer society	1995

87	Parametric Graph Drawing	P.Bertolazzi G.Di Battista;G.Liotta	IEEE computer society	1995

88	Experience With the Accuracy of Software Maintenance Task Effort Prediction Models	M.Jorgensen	IEEE computer society	1995

89	The Programmers' Playground: I/O Abstraction for User-Configurable Distributed Applications	K.J.Goldman B.Swaminathan T.P.McCartney	IEEE computer society	1995

90	A Model of Code Sharing for Estimating Software Failure on Demand Probabilities	J.H.R.May A.D.Lunn	IEEE computer society	1995