扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
深度学习
-
>
Unreal Engine 4蓝图完全学习教程
-
>
深入理解计算机系统-原书第3版
-
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)
规约和验证并发数据结构 版权信息
- 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 后续研究工作展望
参考文献
展开全部
规约和验证并发数据结构 作者简介
文堂柳，武汉大学计算机软件与理论专业博士毕业，获工学博士学位。现任赣南科技学院教师，研究方向包括并发分布式计算、软件形式化方法等方向。
书友推荐
- >
随园食单
随园食单
¥15.4¥48.0 - >
回忆爱玛侬
回忆爱玛侬
¥23.0¥32.8 - >
小考拉的故事-套装共3册
小考拉的故事-套装共3册
¥36.7¥68.0 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥13.5¥39.8 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥3.5¥10.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥32.4¥49.8
本类畅销
-
”互联网+“时代计算机算法的应用及其实践研究
¥19.9¥59 -
微服务设计
¥52.8¥69 -
图说深度学习:用可视化方法理解复杂概念
¥109¥188 -
计算机基础
¥17.2¥31 -
改变未来的九大算法
¥50¥68 -
生成式AI入门与AWS实战
¥77.8¥99.8
