扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
JAVA持续交付
-
>
EXCEL最强教科书(完全版)(全彩印刷)
-
>
深度学习
规约和验证并发数据结构 版权信息
- 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 后续研究工作展望
参考文献
展开全部
规约和验证并发数据结构 作者简介
文堂柳，武汉大学计算机软件与理论专业博士毕业，获工学博士学位。现任赣南科技学院教师，研究方向包括并发分布式计算、软件形式化方法等方向。
书友推荐
- >
姑妈的宝刀
姑妈的宝刀
¥12.1¥30.0 - >
经典常谈
经典常谈
¥16.7¥39.8 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥14.5¥39.8 - >
史学评论
史学评论
¥14.4¥42.0 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.1¥16.0 - >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥18.6¥55.0 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥21.6¥48.0 - >
李白与唐代文化
李白与唐代文化
¥9.9¥29.8
本类畅销
-
大模型应用开发极简入门 基于GPT-4和ChatGPT
¥41.9¥59.8 -
人工智能 现代方法 第4版(全2册)
¥120.8¥198 -
计算机视觉:算法与应用
¥95.9¥139 -
必然(修订版)
¥53.5¥89 -
GPT时代人类再腾飞
¥54.9¥89.9 -
生成式人工智能(AIGC)应用
¥64.9¥90
浏览历史
微分方程理论
¥69.6¥98.0农田沟渠湿地水文过程模拟
¥22.3¥30.0
