并发程序相关论文
随着多核处理器的普及和移动互联网的蓬勃发展,并发程序变得越来越流行。而由于并发程序的复杂性,并发缺陷广泛存在与并发程序之中......
并发程序执行具有不确定性,交错空间大,导致并发缺陷难以检测。线性一致性是并发对象正确性的标准之一,而检测线性化通常需要在指......
随着多核处理器的普及和编程语言的发展,并发程序在近年来得到了迅速的普及。由于并发程序中的线程访问共享资源的顺序并不确定,导......
量子程序在量子计算机上执行时可能由于噪声产生错误.先前的量子程序映射策略将量子程序映射至量子计算机中的最健壮的区域上,以获......
并发程序由于将功能交由多个进程共同完成,因而与顺序程序相比具有高效性.现今,随着用户对软件系统的性能要求越来越高,并发技术得......
如今，随着计算机硬件以及网络技术的发展，并发程序在提高计算效率上发挥着越来越重要的作用。然而编写高质量的并发程序对于程序员而......
随着多核计算的兴起，并发软件成为计算机辅助验证的重要目标。并发软件系统在社会生活、国民经济等诸多关键领域的应用愈加普遍，软件......
随着多核处理器的发展,对并发程序的研究已成为程序设计的热点。然而并发程序执行的不确定性,导致传统测试方法很难发现程序中隐匿......
本文为提高分析效率，论文还提出了以对象为中心，结合Escape分析缩小检测范围的竞争检测算法,由于别名信息极大的影响了算法的效......
随着多核处理器的高速发展,并发程序已经成为现代程序设计的主流趋势。然而并发程序的执行存在不确定性,这使得传统的测试方法很难......
随着软件系统规模越来越大，软件调试技术在当今的软件工程中变得越发重要。多核处理器的不断发展和并发编程技术的广泛应用，使得传统......
作为一种重要的支持技术，并发程序演化技术能够持续地改进并发代码的品质，提高软件开发与维护的效率。重构是软件演化的一种重要手段......
针对并发程序中存在的主要缺陷类型,目前的研究包括单一类型的缺陷检测的技术和通用的多种类缺陷检测技术,而这些技术均存在各自的......
程序切片是一种重要的程序分析技术，用于从原有程序中抽取对特定程序点上特定变量有影响的成份以构成新程序，通过分析这种新程序(称......
随着信息技术和管理理论的发展以及计算机网络的广泛应用,工作流技术正在成为计算机应用领域的研究热点。现代企业的信息系统的分......
随着多线程等并发技术的发展,多线程编程技术被越来越广泛地应用于实际中。多线程技术通过提高CPU的利用率,减少资源的浪费,从而大......
随着多核处理器的广泛应用,并发编程成为软件开发的主流方式,但是并发编程给程序员带来了很大的挑战。传统的并发编程主要是用锁机......
给定某并发程序执行轨迹,基于约束求解的并发测试方法将并发错误模式和执行轨迹的可行性要求转化为一组约束条件,通过约束求解生成......
随着计算机用户数量的增加,计算机的使用规模也越来也庞大,越来越多的软件系统需要考虑并发程序设计,然而由于并发程序在设计过程......
随着计算机硬件的迅速发展,系统对软件的要求也越来越高,并发程序的应用越来越广泛。并发程序更好地发挥了多核处理器的性能优势,......
可达性测试方法具有在给定输入下生成并执行所有可行同步序列且不需要记录任何历史信息等诸多优势。基于拆分的可达性测试方法,通......
随着并发系统在现代软件开发中的应用日益广泛,并发程序的调试、测试技术的研究已经引起了人们的高度重视。但是由于并发行为的复......
随着多处理器和多核计算的兴起,并发程序的验证逐渐成为学术界广泛关注的热点问题之一。然而,由于并发程序本身存在的线程交互性,......
随着计算机技术的发展,多核计算机系统应用日益广泛,也使并发编程有了更多的需求,Petri网作为计算机科学中的重要形式模型,能有效......
为了实现PSP数据平台在油田中的推广应用,需首先简化POSC2.1的安装过程.在详细分析了POSC2.1软件集成平台环境组成的基础上,应用UN......
测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化......
模型检查技术在硬件和协议设计方面已经取得很大成功，但在软件验证方面仍存在很多困难。其主要问题是如何从源代码中自动抽取验证所......
轨迹静态简化技术是在确保与原轨迹等价的前提下,通过随机减少程序执行时线程切换的数量,达到提高程序员调试并发程序效率的目的.......
并发程序切片是并发程序分析、理解、调试、测试和维护的重要手段.文章在针对Ada任务机制讨论通信Petri网的基础上,分析了由任务间......
文章在收集数据竞争访问对时，对内存访问记录进行过滤，只关注用户代码中共享变量，减少运行时开销；将有害的数据竞争分为雨类，并根据他们......
详细介绍了在Unix/Linux平台上的3种并发处理模式及其实现原理,并对他们各自的优缺点加以比较.随后以一个项目实例来综合分析多种......
并发程序的测试路径具有不可预测性,而Petri网在描述并发方面具有其它系统模型无法比拟的优势。因此通过Petri网来产生并发程序的......
并发程序切片是并发程序分析的一种重要手段。针对多线程共享变量通信机制,在通过程序分析工具CodeSurfer获取程序基本信息的基础......
依赖性分析是一种重要的程序分析手段．针对多线程共享变量通信机制，本文在提出一种新的并发程序表示一线程交互可达图（tIRG）的基础上，从......
通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间......
并发程序的设计、分析和验证已经成为计算机理论界基础理论研究的方向之一.Petri网和时序逻辑被认为是探讨该问题较为有效的两个理......
软件可测试性是对测试软件难易程度的预测,在测试、度量等许多领域中得到了广泛应用.由于并发程序执行的不确定性,其可测试性分析......
提出了一种对并发程序进行切片以缩减模型检验状态空间的方法.首先针对并发程序中的同步与通信定义了一组依赖关系,包括并发分支与......
用静态分析方法对并发程序进行死锁检测通常比较困难，其原因是会遇到状态空间爆炸问题．文中针对作者曾提出的一种可有效避免状态爆炸......
基于无界FIFO消息队列的通信框架作为一种通用的并发系统模型，常用于事件驱动的并发程序或分布式程序建模．然而当模型包含递归过程调......
如今移动设备已经进入了多核心CPU时代,并且随着时间的推移,CPU的核心数只会增加不会减少。作为软件开发者需要尽可能地提高应用的......
以以色列的并发程序验证器CPV1．1为蓝本，深入研究了并发程序检测的设计实现过程，讨论了该软件的各种数据类的结构和它们之间的相互关......
