0
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,054
Discovery Miles 10 540
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

Share your images

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

Jose E. Fadul

 (sign in to rate)
Loot Price R1,054 Discovery Miles 10 540 | Repayment Terms: R98 pm x 12*

Bookmark and Share

Usually dispatched within 7 - 15 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.

General

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
Barcode: 9781288335206
Categories: Promotions
Books > Social sciences > Education
Books > Social sciences > Education > General
LSN: 1-288-33520-2

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!

Loyalty partners