切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Tuning parallel symbolic execution engine for better performance
Tuning parallel symbolic execution engine for better performance
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:myselffan
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Anil Kumar KARNA
Jinbo DU
Haihao SHEN
Hao ZHONG
Jiong GONG
Haibo YU
Xiangning MA
Jianjun ZHAO
【机 构】
:
Department of Computer Science, Shanghai Jiao Tong University, Shanghai 200240, China“,”School of So
【出 处】
:
城市道桥与防洪
【发表日期】
:
2018年1期
【关键词】
:
code analysis
symbolic execution
parallelizing symbolic execution
KLEE
Cloud9
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
泰国加速发展油棕业
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
泰国
加速发展
玉米自交系对粉茎螟的抗性研究
粉茎螟 (Sesamianonagrioides)是欧洲南部玉米最重要的害虫。研究的目的是寻找能够使玉米茎及穗抵御粉茎螟侵害的抗源。在Pontevedra(西班牙的西北部 ) ,对来自 7个种质群(美
期刊
玉米自交系
粉茎螟
抗性
陆九渊生命哲学研究
“宇宙即是吾心,吾心即是宇宙”是陆九渊对时空的无穷存有和人创造能力的无穷存有的省悟,并在二者均是无穷存有的共同点上把人与宇宙合一,为人的有限存在找到坚固的价值支点和精
学位
存有
创造
生命
时空
孔子与孟子“爱”思想比较研究
孔子是中国儒家的创始人,也是最早对“爱”进行阐述的学者之一;孟子作为儒家另一集大成者,与孔子虽然不是直接的师承关系,但其“爱”的思想与孔子息息相关,既有传承又有相异
学位
孔子
孟子
爱
比较研究
不同视域中的演绎推理——以直言三段论为例
推理是人类特有的思维活动,它有多种形式,演绎推理是其重要组成部分。逻辑学是最早研究推理且富有成果的学科。在逻辑学对演绎推理的研究中,逻辑学研究的是推理的有效性问题,即命
学位
直言三段论
演绎推理
逻辑学
心理学
认知科学
跨学科合作
论“主导产业”的价值与文化功能
近代工业文明及其结果将人类带进一个全新的生存环境之中,使人的生存环境和生存基础发生了前所未有的巨变。一方面,现代科技和工业的巨大发展证明并推动了人的主体性的发展,对人
学位
主导产业
技术范式
价值
文化
奥利金在《<罗马书>注释》中的救赎观
学位
英国新马克思主义历史学派的哲学探索——主导意识及其现实意义
从当代西方史学史的角度和史学流派分野的格局来看,英国新马克思主义历史学派是从传统史学到新史学演变过程中影响深远的一股史学流派,也是后马克思时代形形色色西方新史学流派
学位
马克思哲学
英国传统史
新史学流派
整体史观
史学观念
初中数学教学如何合理运用现代化教学手段
在信息时代背景下,教育的方式也发生了较大的改变。随着新课改的深入,当代教育开始有意识地融入现代化的教学手段。所谓现代化的教学手段,是指先进且符合当代学生需求的教学
期刊
初中数学
现代化教学手段
课堂效率
李大钊的唯物史观思想研究
李大钊作为中国传播马克思主义的早期代表人物之一,他的世界观和政治立场实现了转变,即从唯心主义转向唯物主义,从激进的民主主义者转变为坚定的马克思主义战士。这一伟大转
学位
李大钊
唯物史观
马克思主义中国化
与本文相关的学术论文