掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級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 后續研究工作展望
參考文獻
展開全部
規約和驗證并發數據結構 作者簡介
文堂柳，武漢大學計算機軟件與理論專業博士畢業，獲工學博士學位。現任贛南科技學院教師，研究方向包括并發分布式計算、軟件形式化方法等方向。
書友推薦
- >
山海經
- >
月亮與六便士
- >
朝聞道
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
詩經-先民的歌唱
- >
回憶愛瑪儂
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
上帝之肋:男人的真實旅程
本類暢銷
