并发程序相关论文
随着多核处理器的普及和移动互联网的蓬勃发展,并发程序变得越来越流行。而由于并发程序的复杂性,并发缺陷广泛存在与并发程序之中......
并发程序由多个共享存储空间并发执行的流程组成.由于流程之间执行次序的不确定性,使得并发软件系统的测试比较困难.变异测试是一......
并发程序执行具有不确定性,交错空间大,导致并发缺陷难以检测。线性一致性是并发对象正确性的标准之一,而检测线性化通常需要在指......
随着多核处理器的普及和编程语言的发展,并发程序在近年来得到了迅速的普及。由于并发程序中的线程访问共享资源的顺序并不确定,导......
针对并发程序数据竞争检测时准确率低和开销大的问题,基于Adaboost模型设计并发程序数据竞争语句级检测方法.对多线程并发程序进行......
期刊
为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,缓存技术也会造成共享数据的更新顺序与本来的执行顺序不同......
随着实际应用对并发软件需求的不断增加，并发程序的应用越来越广，程序切片的研究不再仅仅局限于顺序程序，并发程序切片的研究也越来越......
量子程序在量子计算机上执行时可能由于噪声产生错误.先前的量子程序映射策略将量子程序映射至量子计算机中的最健壮的区域上,以获......
随着地震勘探技术和电子工业技术的飞速发展,为充实我国的地震探勘装备,提高勘探质量和勘探精度,我们引进了先进的勘探设备。本文......
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view......
随着处理器朝多核和众核的方向发展，利用单片共享存储的并发编程也越来越普遍。顺序一致性是并发编程中最直观自然的存储一致性模型......
随着计算机的普及应用，计算机程序的正确性证明变得越来越重要。演绎验证是一种重要的程序正确性证明方法。它用逻辑公式描述程序性......
由于多线程程序线程之间交互的不确定性，并发程序存在难调试、难测试的问题，并发缺陷检测是软件测试领域的难点问题。对多线程程序的......
随着多核时代的到来，越来越多的程序员将并发机制引入了软件编程中，以提高程序的效率。针对Dacapo软件库的一项调查显示，近2/3的程序......
并发程序由于将功能交由多个进程共同完成,因而与顺序程序相比具有高效性.现今,随着用户对软件系统的性能要求越来越高,并发技术得......
随着多核技术的发展，多线程并发程序在现代软件应用中发挥着越来越重要的作用。与传统的顺序程序相比，并发程序将任务分配到多个线程......
如今，随着计算机硬件以及网络技术的发展，并发程序在提高计算效率上发挥着越来越重要的作用。然而编写高质量的并发程序对于程序员而......
随着多核处理器的发展,对并发程序的研究已成为程序设计的热点。然而并发程序执行的不确定性,导致传统测试方法很难发现程序中隐匿......
随着并发程序日益广泛的使用,并发程序的调试也变得越发的重要。传统的循环调试技术主要是设置断点,多次执行源程序,逐步定位错误......
本文为提高分析效率，论文还提出了以对象为中心，结合Escape分析缩小检测范围的竞争检测算法,由于别名信息极大的影响了算法的效......
随着多核处理器的高速发展,并发程序已经成为现代程序设计的主流趋势。然而并发程序的执行存在不确定性,这使得传统的测试方法很难......
随着软件系统规模越来越大，软件调试技术在当今的软件工程中变得越发重要。多核处理器的不断发展和并发编程技术的广泛应用，使得传统......
作为一种重要的支持技术，并发程序演化技术能够持续地改进并发代码的品质，提高软件开发与维护的效率。重构是软件演化的一种重要手段......
多核处理器的出现使得多线程技术发展迅速,多线程并发程序的软件质量保障受到业界的普遍关注。多线程并发程序由于线程调度序列(Th......
针对并发程序中存在的主要缺陷类型,目前的研究包括单一类型的缺陷检测的技术和通用的多种类缺陷检测技术,而这些技术均存在各自的......
程序切片是一种重要的程序分析技术，用于从原有程序中抽取对特定程序点上特定变量有影响的成份以构成新程序，通过分析这种新程序(称......
随着多线程等并发技术的发展,多线程编程技术被越来越广泛地应用于实际中。多线程技术通过提高CPU的利用率,减少资源的浪费,从而大......
随着多核硬件的不断普及,并发程序编程的使用也越来越频繁,如何解决并发程序中出现的错误也越来越受到人们关注。在并发程序执行过......
随着多核处理器的广泛应用,并发编程成为软件开发的主流方式,但是并发编程给程序员带来了很大的挑战。传统的并发编程主要是用锁机......
给定某并发程序执行轨迹,基于约束求解的并发测试方法将并发错误模式和执行轨迹的可行性要求转化为一组约束条件,通过约束求解生成......
随着计算机用户数量的增加,计算机的使用规模也越来也庞大,越来越多的软件系统需要考虑并发程序设计,然而由于并发程序在设计过程......
随着计算机硬件的迅速发展,系统对软件的要求也越来越高,并发程序的应用越来越广泛。并发程序更好地发挥了多核处理器的性能优势,......
在软件生命周期中,软件测试是保证软件质量的重要环节之一。软件测试可分为动态检测和静态检测,动态检测是通过测试用例在运行时检......
可达性测试方法具有在给定输入下生成并执行所有可行同步序列且不需要记录任何历史信息等诸多优势。基于拆分的可达性测试方法,通......
软件开发人员在并发编程中面临着各种Java锁的选择。针对如何选择合适的锁机制进而提高程序性能的问题,提出了一种帮助并发程序开......
林惠民研究员十几年来一直从事计算机科学基础研究 ,主要研究领域是并发程序的形式语义学和形式化方法。在进程代数的验证工具、消......
本文研究了在时态逻辑框架下自动化仓库分拣系统的工作过程。首先给出了离散事件过程的时态公式模型（ＴＦＭ），并讨论了在该模型下的性质分析......
本文讨论用来测试新的自稳定桥协议操作的仿真技术并将其性能与现有的工业标准进行比较[4,24]。尤其是,有关把作为工业标准的IEEE8......
针对目前绝大多数形式化描述技术在处理协议的活性等方面存在的不足，提出一种新的基于公平性假设的时态逻辑技术描述协议，并给出ＡＢ协议......
在听课的时候,你可以向老师学习;在聊天的时候,你可以向朋友学习;在一个人的时候,你可以选择,向图书学习。一本优秀的图书,无异于......
由中国科技部、中国科学院、中国工程院共同主办的“中国首届百名院士与百名企业家联谊会”于今年二月在京召开。会议目的是为了更......
此文阐述了一种利用并行ＤＳ－Ｌｉｎｋ适配器ＳＴＣ１０１进行互连的松耦合双机系统。着重介绍了系统的硬件实现途径和软件设计方法，同时对系统的性能做了较为......
该程序是一个实用的程控软件模拟调试程序,可用于调试、运行程控小交换机GTD-120的控制软件和模拟部分硬件动作,为我们移植、扩充......
