并发程序相关论文
随着多核处理器的普及和移动互联网的蓬勃发展,并发程序变得越来越流行。而由于并发程序的复杂性,并发缺陷广泛存在与并发程序之中......
并发程序执行具有不确定性,交错空间大,导致并发缺陷难以检测。线性一致性是并发对象正确性的标准之一,而检测线性化通常需要在指......
随着多核处理器的普及和编程语言的发展,并发程序在近年来得到了迅速的普及。由于并发程序中的线程访问共享资源的顺序并不确定,导......
量子程序在量子计算机上执行时可能由于噪声产生错误.先前的量子程序映射策略将量子程序映射至量子计算机中的最健壮的区域上,以获......
并发程序由于将功能交由多个进程共同完成,因而与顺序程序相比具有高效性.现今,随着用户对软件系统的性能要求越来越高,并发技术得......
如今，随着计算机硬件以及网络技术的发展，并发程序在提高计算效率上发挥着越来越重要的作用。然而编写高质量的并发程序对于程序员而......
随着多核计算的兴起，并发软件成为计算机辅助验证的重要目标。并发软件系统在社会生活、国民经济等诸多关键领域的应用愈加普遍，软件......
随着多核处理器的发展,对并发程序的研究已成为程序设计的热点。然而并发程序执行的不确定性,导致传统测试方法很难发现程序中隐匿......
本文为提高分析效率，论文还提出了以对象为中心，结合Escape分析缩小检测范围的竞争检测算法,由于别名信息极大的影响了算法的效......
随着多核处理器的高速发展,并发程序已经成为现代程序设计的主流趋势。然而并发程序的执行存在不确定性,这使得传统的测试方法很难......
随着软件系统规模越来越大，软件调试技术在当今的软件工程中变得越发重要。多核处理器的不断发展和并发编程技术的广泛应用，使得传统......
作为一种重要的支持技术，并发程序演化技术能够持续地改进并发代码的品质，提高软件开发与维护的效率。重构是软件演化的一种重要手段......
针对并发程序中存在的主要缺陷类型,目前的研究包括单一类型的缺陷检测的技术和通用的多种类缺陷检测技术,而这些技术均存在各自的......
程序切片是一种重要的程序分析技术，用于从原有程序中抽取对特定程序点上特定变量有影响的成份以构成新程序，通过分析这种新程序(称......
随着信息技术和管理理论的发展以及计算机网络的广泛应用,工作流技术正在成为计算机应用领域的研究热点。现代企业的信息系统的分......
随着多线程等并发技术的发展,多线程编程技术被越来越广泛地应用于实际中。多线程技术通过提高CPU的利用率,减少资源的浪费,从而大......
随着多核处理器的广泛应用,并发编程成为软件开发的主流方式,但是并发编程给程序员带来了很大的挑战。传统的并发编程主要是用锁机......
给定某并发程序执行轨迹,基于约束求解的并发测试方法将并发错误模式和执行轨迹的可行性要求转化为一组约束条件,通过约束求解生成......
随着计算机用户数量的增加,计算机的使用规模也越来也庞大,越来越多的软件系统需要考虑并发程序设计,然而由于并发程序在设计过程......
随着计算机硬件的迅速发展,系统对软件的要求也越来越高,并发程序的应用越来越广泛。并发程序更好地发挥了多核处理器的性能优势,......
可达性测试方法具有在给定输入下生成并执行所有可行同步序列且不需要记录任何历史信息等诸多优势。基于拆分的可达性测试方法,通......
随着并发系统在现代软件开发中的应用日益广泛,并发程序的调试、测试技术的研究已经引起了人们的高度重视。但是由于并发行为的复......
随着多处理器和多核计算的兴起,并发程序的验证逐渐成为学术界广泛关注的热点问题之一。然而,由于并发程序本身存在的线程交互性,......
随着计算机技术的发展,多核计算机系统应用日益广泛,也使并发编程有了更多的需求,Petri网作为计算机科学中的重要形式模型,能有效......
为了实现PSP数据平台在油田中的推广应用,需首先简化POSC2.1的安装过程.在详细分析了POSC2.1软件集成平台环境组成的基础上,应用UN......
