切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
[!--class.name--]论文
[!--title--]
[!--title--]
来源 :哈尔滨工业大学 | 被引量 : [!--cite_num--]次 | 上传用户:[!--user--]
【摘 要】
:
多线程程序中关联变量的原子性是指在共享内存的并行模型中,保证具有一定关联关系的共享变量集合,在任意的并行执行顺序访问条件下,其所满足的关联关系仍然成立的一种性质。
【作 者】
:
逄龙
【出 处】
:
哈尔滨工业大学
【发表日期】
:
2015年期
【关键词】
:
关联变量
原子性验证
多线程程序序符号执行
一般图可达性
指针别名分析
并行干扰插值
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
[!--newstext--]
其他文献
韩国三星公司生产微波炉赢取美国市场十点秘决
三星目前是世界上最大的微波炉产家之一,仅1984年微波炉产量就达到100万台,多数进入美国市场。从十几年前仅15平方英尺大小的研究小组做起,到现在占有大部分美国市场及不断
期刊
微波炉
生产线
高层主管
韩国三星公司
美国失去了微波炉市场
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
期刊
微波炉
消费者
家用市场
首创者
2017中国人工智能大会召开 AI大师云集
2017年7月22~23日,在中国科学技术协会、中国科学院的指导下,由中国人工智能学会、阿里巴巴集团&蚂蚁金服主办,CSDN、中国科学院自动化研究所承办的2017中国人工智能大会(CCAI
期刊
人工智能
中国人工智能学会
中国科学院自动化研究所
智能金融
人工智能领域
高压氧治疗特发性面神经麻痹的临床观察
目的:探讨高压氧治疗特发性面神经麻痹的临床疗效。方法:将71例特发性面神经麻痹患者随机分为2组,38例以高压氧加常规药物治疗作为观察组,33例以常规药物治疗作为对照组,进行
期刊
高压氧
特发性面神经麻痹
化学实验数据分析的计算机实现
一项化学实验,必然会产生一定数量的化学数据。能否科学、有效地处理和分析这些数据,将直接关系到实验的成败。而在现实中,处理数据的媒介和方式有很多,计算机就是其中不可或
期刊
单因子方差分析
EXCEL
SPSS
MATLAB
2001年执业药师工作
期刊
2001年
执业药师
立法基础
职责作用
数量分布
需求状况
基于高通量红外热图像处理的植物水分胁迫监测方法研究
随着计算机视觉技术的快速发展,结合农林植物生理学与作物栽培学理论,建立基于计算机技术的植物水分胁迫测量实验系统具有一定发展前景。人类当前面临食物需求量快速增加、水
学位
热图像处理
水分胁迫监测
高通量
冠层温度测量
番茄水分胁迫
关于江西省宜春市第三小学始创“三算结合”教学法的调查报告
“三算结合”教学法,即口算、笔算、珠算三结合教学法,自上世纪五、六十年代创始以来,就以其独特的魅力,在小学数学教育上发挥了巨大作用,也为珠算教育增添了光辉,更为后来珠心算的
期刊
小学数学教育
三算结合
教学法
宜春市
江西省
珠算教育
六十年代
教改实验
可验计算理论中若干问题研究
随着计算技术的发展进步,现代的计算形式发生了很大的变化,从以往单一、封闭的计算系统逐步发展为网络化、社会化的计算环境,并具有多样性、开放性、异构性等特点。大量的计
学位
可验计算
简明非交互知识论证
数据代理
证明携带数据
基于符号计算的系统同时镇定及安全性验证
系统的同时镇定问题和安全性验证是系统科学与控制理论中的基本问题,有着非常重要的理论意义和应用价值。同时镇定问题考虑如何设计单个的控制器,使其可以同时镇定给定的多个
学位
符号计算
同时镇定问题
比利时巧克力问题
双曲几何
系统安全性验证
障碍函数
不等式机器证明
与本文相关的学术论文