Andere Kunden interessierten sich auch für
![Providing the Persistent Data Storage in a Software Engineering Environment Using Java/COBRA and a DBMS]( "Providing the Persistent Data Storage in a Software Engineering Environment Using Java/COBRA and a DBMS")
Providing the Persistent Data Storage in a Software Engineering Environment Using Java/COBRA and a DBMS60,99 €![An Experimental Investigation on the Static Equilibria and Dynamics of Liquid Bridges]( "An Experimental Investigation on the Static Equilibria and Dynamics of Liquid Bridges")
An Experimental Investigation on the Static Equilibria and Dynamics of Liquid Bridges60,99 €![Wind Tunnel Investigation of the Static Stability and Control Effectiveness of a Rotary Tail in a Portable Uav]( "Wind Tunnel Investigation of the Static Stability and Control Effectiveness of a Rotary Tail in a Portable Uav")
Wind Tunnel Investigation of the Static Stability and Control Effectiveness of a Rotary Tail in a Portable Uav60,99 €![Exploitation of Non-Static Alien Manpower in the Communication Zone and Zone of the Interior]( "Exploitation of Non-Static Alien Manpower in the Communication Zone and Zone of the Interior")
Exploitation of Non-Static Alien Manpower in the Communication Zone and Zone of the Interior60,99 €![Dynamic Unmanned Aerial Vehicle Routing with a Java-Encoded Reactive Tabu Search Metaheuristic]( "Dynamic Unmanned Aerial Vehicle Routing with a Java-Encoded Reactive Tabu Search Metaheuristic")
Dynamic Unmanned Aerial Vehicle Routing with a Java-Encoded Reactive Tabu Search Metaheuristic60,99 €![Border Security: One Step toward Resolving the Conflict in Iraq]( "Border Security: One Step toward Resolving the Conflict in Iraq")
Border Security: One Step toward Resolving the Conflict in Iraq60,99 €![Going for Gold: A Path Toward Petroleum: Independence in the 2030 Air Force]( "Going for Gold: A Path Toward Petroleum: Independence in the 2030 Air Force")
Going for Gold: A Path Toward Petroleum: Independence in the 2030 Air Force60,99 €
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.