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

링크메뉴

No	기사제목	기사저자명	출판사	발행년
41	A Case Study of Software Process Improvement During Development	I.Bhandari M.Halliday E.Tarver	IEEE computer society	1993

42	Modified Rate-Monotonic Algorithm for Scheduling Periodic Jobs with Deferred Deadlines	W.K.Shih J.W.S.Liu C.L.Liu	IEEE computer society	1993

43	State-Based Model Checking of Event-Driven System	J.M.Atlee J.Gannon	IEEE computer society	1993

44	Specifying and Verifying Requirement of Real-Time Systems	A.P.Ravn H.Rischel K.M.Hansen	IEEE computer society	1993

45	Performance Comparison of Three Modern DBMS Architectures	A.Delis N.Roussopoulos	IEEE computer society	1993

46	Multiprocessor Scheduling of Processes with Release Times, Deadlines, Precedence, and Exclusion Relations	J.Xu	IEEE computer society	1993

47	Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements	J.Micallef G.E.Kaiser	IEEE computer society	1993

48	Optimal Scheduling of Cooperative Tasks in a Distributed System Using an Enumerative Method	D.-T.Peng K.G.Shin	IEEE computer society	1993

49	A Human Factors Experimental Comparison of SQL and QBE	M.Y.-M.Yen R.W.Scamell	IEEE computer society	1993

50	L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols	L.Ness	IEEE computer society	1993