你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Toward the Static Detection of Deadlock in Java Software
Type
Physical Book
Author
Publisher
Language
English
Pages
122
Format
Paperback
Dimensions
24.6x18.9x0.7 cm
Weight
0.23 kg.
ISBN13
9781288335206
Categories

Toward the Static Detection of Deadlock in Java Software

Jose E. Fadul (Author) · Biblioscholar · Paperback

Toward the Static Detection of Deadlock in Java Software - Fadul, Jose E.

Cheaper New Book Imported to Taiwan
Delivery: 09 Oct - 22 Oct Shipping: 16 to 20 business days.
NT$ 1,025
Faster New Book Imported to Taiwan
Delivery: 02 Oct - 15 Oct Shipping: 11 to 15 business days.
NT$ 1,169
NT$ 1,025

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Toward the Static Detection of Deadlock in Java Software"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews