论文部分内容阅读
介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.
基于控制流的多线程程序的静态切片算法
【摘 要】
：
介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能够判断出程序中的多线程可实现路径
【机 构】
：
吉林大学计算机科学与技术学院
【出 处】
：
吉林大学学报：理学版
【发表日期】
：
2003年4期
【基金项目】
：
国家自然科学基金
其他文献
提出一种基于双曲正切函数的智能天线变步长最小均方（LMS）算法。通过建立步长因子与误差信号的双曲正切函数关系改进LMS算法，解决了固定步长时收敛速度和稳态误差间的矛盾。仿真
探讨基于VoiceXML通过电话(固定或移动电话)的声音指令建立Internet的声音浏览器交互服务.在Tellme Stud io为开发平台下,利用VoiceXML标准作为声音文件并与XML动态数据库技术相结合,实现W eb天气信息实时语音交互查询,提出了一种基于VoiceXML标准的天气信息语音发布模式.
提出一种手指静脉图像增强算法.该算法包括去噪、对比度增强和二值化.在去噪部分,根据小波变换后各频带的不同特点,结合手指静脉的特点,分别设计了不同的去噪策略;在增强部分,设计了一种新的方法,称为灰度直方图模板均衡化方法,较好地增强了静脉和背景的对比度;在二值化部分,采用了OTSU方法.实验表明,该算法能有效的增强图像的对比度,改善图像的质量.