PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N� de r�f. du vendeur L0-9781288335206

Contacter le vendeur

Acheter neuf

EUR 18,44

Exp�dition �EUR 4,80
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Toward the Static Detection of Deadlock in Java Software

Fadul, Jose E

Edit� par Biblioscholar, 2012

ISBN 10 : 1288335202 ISBN 13 : 9781288335206

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9781288335206_new

Contacter le vendeur

Acheter neuf

EUR 18,60

Exp�dition �EUR 13,83
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Toward the Static Detection of Deadlock in Java Software

Fadul, Jose E.

Edit� par BIBLIOSCHOLAR, 2012

ISBN 10 : 1288335202 ISBN 13 : 9781288335206

Neuf Couverture souple

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : 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. N� de r�f. du vendeur 6556277

Contacter le vendeur

Acheter neuf

EUR 21,50

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Toward the Static Detection of Deadlock in Java Software

Jose E Fadul

Edit� par Biblioscholar Nov 2012, 2012

ISBN 10 : 1288335202 ISBN 13 : 9781288335206

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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. N� de r�f. du vendeur 9781288335206

Contacter le vendeur