NISMO

Automated Verification of Concurrent Search Structures (Synthesis Lectures on...

Description: Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science) [Hardcover] unknown author Product Overview Search structures support the fundamental data storage primitives on key-value insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access to search structures on multicore and distributed servers. These sophisticated algorithms perform fine-grained synchronization between threads, making them notoriously difficult to design correctly. Indeed, bugs have been found both in actual implementations and in the designs proposed by experts in peer-reviewed publications. The rapid development and deployment of these concurrent algorithms has resulted in a rift between the algorithms that can be verified by the state-of-the-art techniques and those being developed and used today. The goal of this book is to show how to bridge this gap in order to bring the certified safety of formal verification to high-performance concurrent search structures. Similar techniques and frameworks can be applied to concurrent graph and network algorithms beyond search structures. Read more Details Language ‏ : ‎ English ISBN-10 ‏ : ‎ 1636391303 ISBN-13 ‏ : ‎ 04 Item Weight ‏ : ‎ 1.19 pounds Dimensions ‏ : ‎ 7.52 x 0.5 x 9.25 inches Best Sellers Rank: #10,063,665 in Books (See Top 100 in Books) We have been selling used books since 2012, and we've learned that the most important thing is doing good business. Honesty is our policy. Free Shipping We ship worldwide. We have multiple warehouses around the world, so please note the extended handling time on certain listings.

Price: 125.21 USD

Location: Williamsburg, Virginia

End Time: 2025-01-09T05:15:35.000Z

Shipping Cost: 0 USD

Product Images

Automated Verification of Concurrent Search Structures (Synthesis Lectures on...Automated Verification of Concurrent Search Structures (Synthesis Lectures on...

Item Specifics

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 30 Days

Refund will be given as: Money Back

Return policy details:

ISBN: 1636391303

ISBN10: 1636391303

ISBN13: 9781636391304

EAN: 9781636391304

MPN: does not apply

Brand: NA

GTIN: 09781636391304

Number of Pages: 188 Pages

Publication Name: Automated Verification of Concurrent Search Structures

Language: English

Publisher: Morgan & Claypool Publishers

Subject: Computer Science, General, Web / Search Engines, Databases / Data Mining

Publication Year: 2021

Type: Textbook

Item Length: 9.3 in

Subject Area: Mathematics, Computers

Author: Dennis Shasha, Siddharth Krishna, Nisarg Patel, Thomas Wies

Item Width: 7.5 in

Series: Synthesis Lectures on Computer Science Ser.

Format: Hardcover

Recommended

Goldwell TOPCHIC Professional Hair Color Can  NATURALS 8.6 oz Choose Your Color
Goldwell TOPCHIC Professional Hair Color Can NATURALS 8.6 oz Choose Your Color

$29.99

View Details
Nayeon NA Album | A Version (Sealed)  | TWICE Nayeon 2nd Mini Album
Nayeon NA Album | A Version (Sealed) | TWICE Nayeon 2nd Mini Album

$14.99

View Details
Praying Hands One Day At A Time Medallion Coin AA NA Chip Bronze Serenity Prayer
Praying Hands One Day At A Time Medallion Coin AA NA Chip Bronze Serenity Prayer

$4.99

View Details
Nagoya NA-771 Radio Handheld Antenna   144/430 MHZ
Nagoya NA-771 Radio Handheld Antenna 144/430 MHZ

$6.25

View Details
Dental Filtek Z250 xt Body Composite Syringes All Shades Best Price
Dental Filtek Z250 xt Body Composite Syringes All Shades Best Price

$73.50

View Details
JSA Action Pack NA2-JSA Infinity
JSA Action Pack NA2-JSA Infinity

$75.56

View Details
Alli Diet Weight Loss Supplement Pills Orlistat 60Mg Capsule 170 Count NEW
Alli Diet Weight Loss Supplement Pills Orlistat 60Mg Capsule 170 Count NEW

$36.99

View Details
Bluntlife Air Freshener Spray 1oz
Bluntlife Air Freshener Spray 1oz

$8.44

View Details
MATRIX SoColor Pre-Bonded Permanent Hair Color 3 oz or Developer (Choose Yours)
MATRIX SoColor Pre-Bonded Permanent Hair Color 3 oz or Developer (Choose Yours)

$14.99

View Details
Alli Diet Weight Loss Supplement Pills Orlistat 60Mg Capsule 170 Count Free Ship
Alli Diet Weight Loss Supplement Pills Orlistat 60Mg Capsule 170 Count Free Ship

$32.00

View Details