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

링크메뉴

No	기사제목	기사저자명	출판사	발행년
1	Flow Control for Limited Buffer Multicast	P.B.Danzig	IEEE computer society	1994

2	Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems	M.Gonzalez Harbour;M.H.Klein;J.P.Lehoczky	IEEE computer society	1994

3	Automating Output Size and Reuse Metrics in a Repository-Based Computer-Aided Software Engineering (CASE) Environment	R.D.Banker R.J.Kauffman C.Wright	IEEE computer society	1994

4	Designing an Agent Synthesis for Cross-RPC Communication	Y.-M.Huang C.Ravishankar	IEEE computer society	1994

5	Maisie: A Language for the Design of Efficient Discrete-Event Simulations	R.L.Bagrodia W.Liao	IEEE computer society	1994

6	Architecture-Directed Refinement	G.-C.Roman C.D.Wilcox	IEEE computer society	1994

7	Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis	M.Notomi T.Murata	IEEE computer society	1994

8	An Empirical Evaluation of Weak Mutation	A.J.Offutt S.D.Lee	IEEE computer society	1994

9	Specification and Validation of Control-Intensive IC's in hopCP	V.Akella G.Gopalakrishnan	IEEE computer society	1994

10	Linear Complexity Assertions for Sorting	N.R.Saxena E.J.McCluskey	IEEE computer society	1994