扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
规约和验证并发数据结构 版权信息
- ISBN:9787548754503
- 条形码:9787548754503 ; 978-7-5487-5450-3
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>
规约和验证并发数据结构 内容简介
本书作者针对并发数据结构可线性化标准及其验证方法进行了深入的研究。本书分析了并发数据结构可线性化标准的局限性,在此基础上提出了强可线性化标准。验证并发数据结构强可线性化*困难的部分是验证可线性化。
规约和验证并发数据结构 目录
第1章 概述
1.1 研究的背景和意义
1.2 并发数据结构正确性标准研究现状
1.3 并发数据结构可线性化的验证方法研究现状
1.4 本书的研究内容
1.5 本书的组织结构
第2章 研究基础
2.1 相关数学知识
2.2 程序逻辑
2.3 刻画并发数据结构的行为
2.4 并发数据结构的可线性化
2.5 观察精化与观察等价
2.6 本章小结
第3章 强可线性化
3.1 研究动机
3.2 强可线性化的定义
3.3 强可线性化蕴含观察等价
3.4 顺序规约下的强可线性化及其属性
3.5 本章小结
第4章 基于抽象约简的可线性化验证方法
4.1 Lipton约简理论
4.2 基于单路径的抽象约简
4.3 验证不可约简的读方法
4.4 基于双路径的抽象约简
4.5 验证封装扩展的并发数据结构
4.6 本章小结
第5章 基于偏序属性的可线性化验证方法
5.1 验证并发队列
5.2 验证并发栈
5.3 本章小结
第6章 规约和验证语义松弛的并发数据结构
6.1 语义松弛的并发数据结构概述
6.2 松弛并发数据结构的正确性研究现状
6.3 规约语义松弛的并发数据结构
6.4 验证随机出队队列
6.5 本章小结
第7章 结论与展望
7.1 研究总结
7.2 后续研究工作展望
参考文献
展开全部
规约和验证并发数据结构 作者简介
文堂柳,武汉大学计算机软件与理论专业博士毕业,获工学博士学位。现任赣南科技学院教师,研究方向包括并发分布式计算、软件形式化方法等方向。
书友推荐
- >
月亮虎
月亮虎
¥17.8¥48.0 - >
烟与镜
烟与镜
¥20.6¥48.0 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥11.0¥23.0 - >
有舍有得是人生
有舍有得是人生
¥31.5¥45.0 - >
月亮与六便士
月亮与六便士
¥13.4¥42.0 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
自卑与超越
自卑与超越
¥13.5¥39.8 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0
本类畅销
-
数学之美
¥48.3¥69 -
浪潮之巅-下册-第二版
¥22.1¥45 -
挑战程序设计竞赛(第2版)
¥55.3¥79 -
算法竞赛入门经典-(第2版)
¥34.9¥49.8 -
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑,闭眼,刀谁?
¥42.3¥158