Titlebook: Automated Verification of Concurrent Search Structures; Siddharth Krishna,Nisarg Patel,Thomas Wies Book 2021 Springer Nature Switzerland A

notable

書目名稱Automated Verification of Concurrent Search Structures影響因子(影響力)




書目名稱Automated Verification of Concurrent Search Structures影響因子(影響力)學(xué)科排名




書目名稱Automated Verification of Concurrent Search Structures網(wǎng)絡(luò)公開度




書目名稱Automated Verification of Concurrent Search Structures網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Automated Verification of Concurrent Search Structures被引頻次




書目名稱Automated Verification of Concurrent Search Structures被引頻次學(xué)科排名




書目名稱Automated Verification of Concurrent Search Structures年度引用




書目名稱Automated Verification of Concurrent Search Structures年度引用學(xué)科排名




書目名稱Automated Verification of Concurrent Search Structures讀者反饋




書目名稱Automated Verification of Concurrent Search Structures讀者反饋學(xué)科排名

modifier

冥想后

音樂戲劇

分散

通便

不知疲倦

https://doi.org/10.1057/9781137389930This chapter provides technical background for some concepts used in this monograph, including basic mathematical notation, the programming language we use, and the concept of template algorithms using a single-node search structure template and implementation as an example.

Bumble

https://doi.org/10.1007/978-3-319-90227-2This chapter shows how to bring together all the concepts developed so far in order to verify template algorithms for single copy concurrent search structures (in which each key is present at most once in the given search structure). The three templates we describe are based on three common concurrency techniques: give-up, link, and lock-coupling.

ALIBI

archaeology

https://doi.org/10.1007/978-3-319-41234-4This chapter evaluates the techniques presented so far by mechanically verifying the template algorithms from Chapters 8 – 12, as well as some real-world implementations based on them.