Your cart

Your cart is empty

Books > Social sciences > Education

Buy Now

Toward the Static Detection of Deadlock in Java Software (Paperback) Loot Price: R1,100
Discovery Miles 11 000
Toward the Static Detection of Deadlock in Java Software (Paperback): Jose E. Fadul

Toward the Static Detection of Deadlock in Java Software (Paperback)

Jose E. Fadul

 (sign in to rate)
Loot Price R1,100 Discovery Miles 11 000 | Repayment Terms: R101 pm x 12*

Bookmark and Share

Expected to ship within 7 - 11 working days

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.


Imprint: Biblioscholar
Country of origin: United States
Release date: November 2012
First published: November 2012
Authors: Jose E. Fadul
Dimensions: 246 x 189 x 7mm (L x W x T)
Format: Paperback - Trade
Pages: 122
ISBN-13: 978-1-288-33520-6
Categories: Books > Social sciences > Education > General
LSN: 1-288-33520-2
Barcode: 9781288335206

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!