中圖網(wǎng)小程序
一鍵登錄
更方便
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應(yīng)用
-
>
決戰(zhàn)行測5000題(言語理解與表達(dá))
-
>
軟件性能測試.分析與調(diào)優(yōu)實踐之路
-
>
第一行代碼Android
-
>
JAVA持續(xù)交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學(xué)習(xí)
規(guī)約和驗證并發(fā)數(shù)據(jù)結(jié)構(gòu) 版權(quán)信息
- ISBN：9787548754503
- 條形碼：9787548754503 ; 978-7-5487-5450-3
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
規(guī)約和驗證并發(fā)數(shù)據(jù)結(jié)構(gòu) 內(nèi)容簡介
本書作者針對并發(fā)數(shù)據(jù)結(jié)構(gòu)可線性化標(biāo)準(zhǔn)及其驗證方法進(jìn)行了深入的研究。本書分析了并發(fā)數(shù)據(jù)結(jié)構(gòu)可線性化標(biāo)準(zhǔn)的局限性，在此基礎(chǔ)上提出了強可線性化標(biāo)準(zhǔn)。驗證并發(fā)數(shù)據(jù)結(jié)構(gòu)強可線性化*困難的部分是驗證可線性化。
規(guī)約和驗證并發(fā)數(shù)據(jù)結(jié)構(gòu) 目錄
第1章 概述
1.1 研究的背景和意義
1.2 并發(fā)數(shù)據(jù)結(jié)構(gòu)正確性標(biāo)準(zhǔn)研究現(xiàn)狀
1.3 并發(fā)數(shù)據(jù)結(jié)構(gòu)可線性化的驗證方法研究現(xiàn)狀
1.4 本書的研究內(nèi)容
1.5 本書的組織結(jié)構(gòu)
第2章 研究基礎(chǔ)
2.1 相關(guān)數(shù)學(xué)知識
2.2 程序邏輯
2.3 刻畫并發(fā)數(shù)據(jù)結(jié)構(gòu)的行為
2.4 并發(fā)數(shù)據(jù)結(jié)構(gòu)的可線性化
2.5 觀察精化與觀察等價
2.6 本章小結(jié)
第3章 強可線性化
3.1 研究動機
3.2 強可線性化的定義
3.3 強可線性化蘊含觀察等價
3.4 順序規(guī)約下的強可線性化及其屬性
3.5 本章小結(jié)
第4章 基于抽象約簡的可線性化驗證方法
4.1 Lipton約簡理論
4.2 基于單路徑的抽象約簡
4.3 驗證不可約簡的讀方法
4.4 基于雙路徑的抽象約簡
4.5 驗證封裝擴展的并發(fā)數(shù)據(jù)結(jié)構(gòu)
4.6 本章小結(jié)
第5章 基于偏序?qū)傩缘目删性化驗證方法
5.1 驗證并發(fā)隊列
5.2 驗證并發(fā)棧
5.3 本章小結(jié)
第6章 規(guī)約和驗證語義松弛的并發(fā)數(shù)據(jù)結(jié)構(gòu)
6.1 語義松弛的并發(fā)數(shù)據(jù)結(jié)構(gòu)概述
6.2 松弛并發(fā)數(shù)據(jù)結(jié)構(gòu)的正確性研究現(xiàn)狀
6.3 規(guī)約語義松弛的并發(fā)數(shù)據(jù)結(jié)構(gòu)
6.4 驗證隨機出隊隊列
6.5 本章小結(jié)
第7章 結(jié)論與展望
7.1 研究總結(jié)
7.2 后續(xù)研究工作展望
參考文獻(xiàn)
展開全部
規(guī)約和驗證并發(fā)數(shù)據(jù)結(jié)構(gòu) 作者簡介
文堂柳，武漢大學(xué)計算機軟件與理論專業(yè)博士畢業(yè)，獲工學(xué)博士學(xué)位。現(xiàn)任贛南科技學(xué)院教師，研究方向包括并發(fā)分布式計算、軟件形式化方法等方向。
書友推薦
- >
中國歷史的瞬間
- >
上帝之肋:男人的真實旅程
- >
自卑與超越
- >
唐代進(jìn)士錄
- >
推拿
- >
隨園食單
- >
二體千字文
- >
羅庸西南聯(lián)大授課錄
本類暢銷
