依赖分析相关论文
随着计算机内存的不断增大,内存数据库逐渐成为研究的热点。单线程在线事务处理模型在内存数据库中被广泛使用。单线程在线事务处......
在众多保障软件可靠性和安全性的途径中,采用形式化方法对系统进行形式化验证和分析是被很多计算机科学家所认同的。形式化验证主......
随着大数据技术的快速发展和广泛应用,学术界和IT企业都涌现了大量的相关研究,包括分布式数据挖掘平台Hadoop、Spark等的技术改进,......
在某个测试用例GTC的驱动下,程序的执行结果与预期结果不符,需进行错误定位.首先根据测试用例与测试需求的关系,得到和GTC覆盖相同需......
电子转移可以在反应物组分的各种遭遇方式下发生,只是反应几率有所不同。为了精确描述综合电子转称速率,既要考虑不同接触距离时的电......
随着信息技术的发展,业务流程管理已经成为管理复杂业务的一个标准的解决方案,其业务领域包括:供应链管理、客户关系管理和知识管理等......
贝叶斯分类模型作为分类知识发现的一种重要方法,是贝叶斯网络学习、理论研究的核心问题之一.本文主要运用贝叶斯学习理论和信息论的......
贝叶斯网络是非常重要的一类概率图模型,它用直观的图结构描述随机变量之间的条件独立关系,在不确定性知识的表达和推理方面具有独......
贝叶斯网络是不确定性环境下知识表示和推理的有效工具之一。现有的贝叶斯网络结构学习算法不同程度地存在学习效率偏低的问题,为......
TRANS是基于CTL的优化变换描述语言,对TRANS语言作了宏扩展,给出了循环嵌套、循环归纳变量、循环依赖及方向向量的时序逻辑描述。......
贝叶斯网络将概率理论和图论相结合,为解决不确定性问题提供了一种自然而直观的方法.近年来,贝叶斯网络逐渐成为国内外智能数据处......
本文提出了一种为分布式应用动态构造依赖性模型的方法。这个方法通过对系统进行主动干扰来获得建模的先验知识,然后基于贝叶斯网......
指针别名分析是数据流分析中的关键性技术,其分析结果是编译优化和程序变换的基础。在向量化方法和动态指针别名分析相关研究的基......
软件回归测试在软件测试中扮演着重要的角色。C++Test原型系统是一个自动化测试驱动系统。它主要功能包括:对C、C++源程序进行静态分析......
传感网技术是物联网得以实现的重要基础.然而,受到资源有限以及程序行为不确定等因素的影响,无线传感器网络上编程和调试的难度尤......
设计了一种针对图像处理类应用程序的并行性分类的方法,并使用工具初步实现了对程序的分类.还研究了图像处理算法的并行性.通过对......
目前主要基于EM算法和打分-搜索方法进行具有丢失数据的贝叶斯网络结构学习,算法效率较低,而且易于陷入局部最优结构.针对这些问题......
SPMD翻译是指将一种特定类型的SPMD程序编译到多种设备上,当前的细粒度SPMD翻译研究建立在线程之间相互独立的假定上,线程之间只通......
摘要:程序错误定位是程序调试中最复杂最耗时的任务之一。文中提出一种新颖的基于依赖分析的错误定位方法,这种方法构造可疑代码的数......
基于变量之间基本依赖关系、基本结构、d-separation标准、依赖分析思想和混合定向策略.给出了一种有效实用的贝叶斯网络结构学习方......
设计一种基于多面体模型的静态数据依赖分析方法,对程序中的循环体进行分析,将生存周期思想引入到数据的依赖分析中.数据的依赖关......
本文对类文件之中Java程序运行阶段的异常进行了分析。其可以通过无Java源代码文件的条件之下,直接实现类文件的处理。异常跟普通的......
传统的并行编译技术能够在编译期间进行相关性分析,有效地并行化循环程序,但是对于程序运行时潜在的并行性却无能为力.因此,并行编......
在数据缺失的情况下,文章建立的贝叶斯网络结构学习方法BC-ISOR基于界定折叠方法进行变量集联合概率的估计,基于依赖分析的基本思想......
切片思想在软件体系结构层的应用,可以使研究人员把握系统中某个特定功能的构件实现,并为研究人员集中精力改进软件体系结构的设计......
期刊
基于一种带有标签的Java程序描述(JavaSDG),给出JavaSDG中的过程依赖图(PDG)的形式化定义,然后分析Java程序方法调用引起的参数之间的......
贝叶斯网络具有强大的推理能力,能与先验知识和数据结合,进行定性和定量分析。提供了1条有效的处理预测问题的途径,本文首先介绍了贝......
随着Web技术的飞速发展,Web应用系统的应用越来越广泛,Web应用发生故障的频率也越来越高,Web应用发生的故障大多数情况下都会与Web......
提出一种基于类文件的Java运行时异常分析技术。它可在没有Java源代码文件的情况下,直接对类文件进行处理,分析可能抛出的异常信息,并......
提高验证过程的并行性是提高程序验证效率的重要手段之一。为此,提出一种基于控制结构依赖分析的方法来组织程序的并行验证,在验证过......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们......
时至今日,调试仍然占据软件开发过程中近70%的时间;以断点的设置和检查为基础的传统交互式调试依旧是实际工作中最常用的错误定位......
基于扩展有限状态机(EFSM)的回归测试过程需要根据依赖关系变化对软件所做修改的影响域进行分析。为了针对软件某一功能进行修复,通常......
<正> 英国语言学家Richard A.Hudson创立的词项语法(Word Grammar)涉及到句法学、语义学、形态学、社会语言学、历史语言学以及言......
死锁是并发程序特有的一种运行时错误,由于并发程序在执行时的不确定性,死锁的检测和定位是非常困难的.本文提出了一种基于依赖分析的......
切片技术对于分析和约减扩展有限状态机EFSM(Extended Finite State Machine)是非常重要的方法。大多数现有的切片方法都是基于依......
贝叶斯网络将概率理论和图论相结合,为解决不确定性问题提供了一种自然而直观的方法。近年来,贝叶斯网络逐渐成为国内外智能数据处......
针对现有动态贝叶斯网络结构学习方法具有低效率和低可靠性等问题,基于变量之间的基本依赖关系和依赖分析方法进行动态贝叶斯网络......
本文认为:路径依赖分析框架是利用动态非线性随机模型来分析路径依赖现象的理论方法,被新制度经济学广泛应用于技术变迁路径、企业制......
贝叶斯网络由于具有图形化的模型表示形式、局部及分布式的学习机制、直观的推理;适用于表达和分析不确定性和概率性的事物;能够对......
路径依赖是描述对过去和将来产生强大影响的术语。人们过去的选择决定了他们现在可能的选择。路径依赖类似于物理学中的'惯性&......
单指令多数据(SIMD)扩展部件旨在发掘多媒体程序和科学计算程序的数据级并行,归约操作引起的真依赖给发掘程序中的数据级并行带来了......