1994年第5卷第5期目录

浏览其它刊期:

本期目录


	基于解释的算法构架的学习
	费宗铭,张家重,徐家福
	1994,5(5):1-7 [摘要(3844)] [PDF 392.65 K (4487)]

	数据并行的性能分析
	刘德才,王鼎兴,沈美明,郑纬民
	1994,5(5):8-15 [摘要(3817)] [PDF 411.17 K (4302)]

	面向对象逻辑语言SCKE中的限制推理
	金芝,胡守仁
	1994,5(5):16-25 [摘要(4125)] [PDF 431.54 K (4378)]

	测试集自动生成工具TUGEN的设计与实现
	郝瑞兵
	1994,5(5):26-38 [摘要(3251)] [PDF 548.64 K (4435)]

	数据流图的形式规范
	秦晓
	1994,5(5):39-45 [摘要(4961)] [PDF 791.14 K (4611)]

	利用算符分析的问题求解
	何钦铭,王申康,俞瑞钊
	1994,5(5):46-51 [摘要(3318)] [PDF 441.32 K (4867)]

	一种基于格局的程序分析方法
	邢光荣,郑国梁,李宣东
	1994,5(5):52-57 [摘要(3874)] [PDF 757.39 K (4387)]

	基于时区与时区估计的层次调度模型
	黄必清,张钹
	1994,5(5):58-64 [摘要(4332)] [PDF 432.96 K (4332)]