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