Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 21.34
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: New. KlappentextrnrnConcurrency is the source of many real-world software reliability and security problems. Concurrency defects are difficult to detect because they defy conventional software testing techniques due to their non-local and non-determi.
Language: English
Published by Biblioscholar Nov 2012, 2012
ISBN 10: 1288335202 ISBN 13: 9781288335206
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Neuware - Concurrency is the source of many real-world software reliability and security problems. Concurrency defects are difficult to detect because they defy conventional software testing techniques due to their non-local and non-deterministic nature. We focus on one important aspect of this problem: static detection of the possibility of deadlock--a situation in which two or more processes are prevented from continuing while each waits for resources to be freed by the continuation of the other. This thesis proposes a flow-insensitive interprocedural static analysis that detects the possibility that a program can deadlock at runtime. Our analysis proceeds in two steps. The first extracts the 'real' call graph decorated with acquired locks from the target program.
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
US$ 21.15
Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 115.88
Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.