Automated Verification of Concurrent Search Structures, Krishna, Siddharth Patel, Nisarg Shasha, Dennis Wies, Thomas
Автор: Krishna Siddharth, Patel Nisarg, Shasha Dennis Название: Automated Verification of Concurrent Search Structures ISBN: 1636391281 ISBN-13(EAN): 9781636391281 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 11227.00 р. Наличие на складе: Нет в наличии.
Описание: Search structures support the fundamental data storage primitives on key-value pairs: 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.
Автор: Krishna Siddharth, Patel Nisarg, Shasha Dennis Название: Automated Verification of Concurrent Search Structures ISBN: 1636391303 ISBN-13(EAN): 9781636391304 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 14414.00 р. Наличие на складе: Нет в наличии.
Описание: Search structures support the fundamental data storage primitives on key-value pairs: 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.
Автор: Krzysztof R. Apt; Amir Pnueli; Frank S. de Boer; E Название: Verification of Sequential and Concurrent Programs ISBN: 1447125134 ISBN-13(EAN): 9781447125136 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.
Описание: This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.
Автор: J. W. Dally Название: A VLSI Architecture for Concurrent Data Structures ISBN: 1461291917 ISBN-13(EAN): 9781461291916 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Concurrent data structures simplify the development of concurrent programs by encapsulating commonly used mechanisms for synchronization and commu- nication into data structures.
Описание: Low Power Hardware Synthesis provides an introduction to low-power hardware, providing a high-level description of design in terms of Concurrent Action-Oriented Specifications (CAOS). Novel techniques are described, in addition to various verification issues associated with hardware design.
Автор: Mingsheng Ying Название: Topology in Process Calculus ISBN: 1461265223 ISBN-13(EAN): 9781461265221 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems.
Автор: Thomas Dave Название: Programming Elixir 1.6: Functional ISBN: 1680502999 ISBN-13(EAN): 9781680502992 Издательство: Wiley Рейтинг: Цена: 6098.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is the introduction to Elixir for experienced programmers, completely updated for Elixir 1.6 and beyond. Explore functional programming without the academic overtones (tell me about monads just one more time). Create concurrent applications, but get them right without all the locking and consistency headaches.
Описание: Elixir and the OTP offer a range of powerful tools, and this guide will show you how to choose the best tool for each job, and use it effectively to quickly start building highly concurrent applications.
Автор: Charles Rattray Название: Specification and Verification of Concurrent Systems ISBN: 3540195815 ISBN-13(EAN): 9783540195818 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref.
Описание: This monograph is a revised version of the author`s PhD thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work is to turn logical and semantic ideas into exploitable algorithms.
Автор: Eric Y.T. Juan; Jeffrey J.P. Tsai Название: Compositional Verification of Concurrent and Real-Time Systems ISBN: 1461353491 ISBN-13(EAN): 9781461353492 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
