1994年第5卷第5期目录

浏览其它刊期:

本期目录


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

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

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

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

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

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

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

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