Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs
An extended banker's algorithm for deadlock avoidance
Deadlock prevention in a distributed database system
Deadlock Avoidance Controller Design for Timed Petri Nets Using Stretching
Distributed Deadlock Detection for Distributed Process Networks
A Review of Distributed Deadlock Detection Techniques based on Diffusion Computation Approach
Adaptive locks: Combining transactions and locks for efficient concurrency
Abstraction-Based Livelock/Deadlock Checking for Hardware Verification
Revisiting optimistic and pessimistic concurrency control
System Deadlocks
Deadlock detection in distributed databases
a survey of distributed deadlock algorithms .
Randomized active atomicity violation detection in concurrent programs
A Scalable Lock Manager for Multicores
Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests
Grail: context-aware fixing of concurrency bugs
CoreDet: a compiler and runtime system for deterministic multithreaded execution
Efficient optimistic concurrency control using loosely synchronized clocks
deadlock prevention for sequence resource allocation systems .
A one-phase algorithm to detect distributed deadlocks in replicated databases
Static deadlock detection for concurrent go by global session graph synthesis
An Evaluation of the Hypothesis
Image simplification and vectorization
Kinematics analysis of a high dynamic serial-parallel hybrid flight simulator
deep learning is a good steganalysis tool when embedding key is reused for different images , even if there is a cover sourcemismatch .
Bandera: extracting finite-state models from Java source code