论文部分内容阅读
无数据竞争并发程序的语义等价性研究
【摘 要】
：
多核处理器已经成为目前主流的处理器,相应的多线程并发编程也成为了目前主流的编程。多线程并发程序在充分利用多核处理器带来的高运行效率的同时,相比于串行程序也带来了更多线程交错的不确定性。线程的交错执行让程序员对并发程序的理解更加困难,使并发程序存在着比串行程序更多的错误和缺陷。因此,并发程序的正确性成为了研究热点,而对并发程序正确性的验证,也成为了当下程序验证领域的热门话题。并发程序正确性的验证工作
【机 构】
：
中国科学技术大学
【出 处】
：
西安电子科技大学
【发表日期】
：
2019年08期
其他文献
作为通信网维护不可或缺的一部分，通信网络管理日益得到人们的重视，正因为通信网的复杂与庞大，网络管理成为网络维护人员的一个难题，尤其是面对海量的告警数据。大量的各型号的设
随着通信技术、嵌入式计算技术和传感器技术的飞速发展和日益成熟，研制出了各种具有感知能力、计算能力和通信能力的微型传感器，由许多微型传感器构成的无线传感器网络（WSN）引起
随着我国经济的不断发展，人民物质生活与精神生活水平的不断提高，国家在基础建设方面的投入越来越多，从而使建筑市场逐渐扩大。如何使建筑工程项目在保证质量的前提下，运用科学的
随着社会的进步和科学技术的不断提高，交通运输网络体系变的越来越庞大、复杂，那么如何在规模庞大、结构复杂的交通运输网络中寻求一条高效、时实、可靠的最短路径却成为人们眼
医学图像配准是指针对两幅医学图像，通过对其寻找某种空间变换，使得两幅图像的特征点、面或像素值达到空间上的一致。医学图像配准在临床上有非常重要的研究意义，是非常有价值的
形式概念分析（Formal ConceptAnalysis，FCA），也称概念格理论，是Wille R于1982年提出的一种有效的知识表示与知识发现工具，目前已被成功的应用到很多领域，如知识工程、机器学习、信息
在云计算、大数据环境下,负载均衡问题逐渐成为研究的焦点之一。负载均衡是实现集群最优调度的主要目标之一,计算节点的负载不均衡,就会导致云平台上任务执行效率低、严重浪
随着遥感应用逐渐趋向于定量化和精确化,高光谱解混作为高光谱遥感影像处理的关键技术之一,日益引起国内外学者的广泛关注。高光谱解混是指利用高光谱图像将混合像元分解为几种基本类型的地物光谱向量(端元),并求得这些基本地物所占比例(丰度)的技术。高光谱解混性能的提高,不仅有利于高光谱应用的发展,如地物的分类和识别、图像的解译和可视化、图像的增强和压缩等,也对地质勘探、农业监测和军事侦查等具有重要意义。本文
随着互联网技术和经济的飞速发展以及Saas概念的提出，传统的服务行业也发生了巨大的变化。面对互联网中急剧增长的服务资源提供商和服务需求客户，我们提出了面向双边资源整合(B