1994年第5卷第5期目录

浏览其它刊期:

本期目录


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

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

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

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

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

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

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

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