【摘 要】
：
未指定行为是导致OpenMP程序运行时错误的主要原因之一.给出一个静态地检测OpenMPFortran程序中的未指定行为的工具C-Checker.该工具基于扩展的控制流图和调用图,采用"程序分
【基金项目】
：
国家863重大软件专项(2002AA1Z2101,2004AA1Z2210)
论文部分内容阅读
未指定行为是导致OpenMP程序运行时错误的主要原因之一.给出一个静态地检测OpenMPFortran程序中的未指定行为的工具C-Checker.该工具基于扩展的控制流图和调用图,采用"程序分层、逐层分析"的策略分析控制结构所导致的不确定的程序行为,以定位程序中的未指定行为,并通过回溯记录控制流图中导致这些行为的路径.借助于调用图,它还能够记录跨越过程边界的路径.此外,C-Checker利用启发式规则估计每条路径的执行概率,能够量化路径所对应的警告的严重程度.实验表明,C-Checke
其他文献
目前,辽宁正处于经济结构调整、产业发展转型的机遇期和关键点,发展文化产业,有助于实现辽宁由文化大省转向文化强省的发展目标。本文在把握辽宁文化产业发展的实际情况下,明
脑血管疾病严重危害人类健康,其中最常见的疾病类型是缺血性脑卒中。目前,缺血性脑卒中尚无特别有效的治疗方法,而干细胞移植作为一种新兴的治疗手段,为缺血性脑卒中的治疗带
为贯彻落实《中共中央、国务院关于进一步加强和改进未成年人思想道德建设的若干意见》（中发[2004]8号）和党的十八大以来中央关于加强新形势下青少年教育的重要精神,2016年国家
目的探讨规范化特殊染色技术在肺真菌感染性疾病病理诊断中应用的意义。方法选取2011年9月～2016年3月北京朝阳医院最终病理诊断为肺真菌感染性疾病104例，行HE染色、HE染色联合
<正>李克强总理2011年5月23日在中国测绘创新基地观看天地图演示后指出,"‘天地图’既是政府服务的公益性平台、产业发展的基础平台,又是方便群众的服务平台、国家安全的保障
近年来,江苏省南通市崇川区学田街道的劳动保障服务平台,创新服务理念,推出了一系列创业特色服务,成功引领许多失业人员创业。推出“创业倍增金钥匙”为更好地开展创业服务,
为贯彻落实“以诚取信、以质取胜”的工作要求和“雪茄烟叶做精”的工作目标,以市场需求为导向,以生产“高油分、高香气、高纯度、颜色均匀”可用的雪茄烟叶为目的,提高原料
针对电熔镁炉数据采集问题,设计开发了一种基于JEasyOPC的数据采集客户端。该客户端通过JEasyOPC使数据采集客户端软件独立于PLC硬件平台,软件整体架构机制采用Eclipse RCP+p