𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A distributed scheme for dynamic deadlock detection and resolution

✍ Scribed by Dongmyun Lee; Myunghwan Kim

Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
943 KB
Volume
64
Category
Article
ISSN
0020-0255

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A deadlock detection tool for concurrent
A deadlock detection tool for concurrent Java programs
✍ Claudio Demartini; Radu Iosif; Riccardo Sisto πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 160 KB πŸ‘ 2 views

This paper presents some issues related to the design and implementation of a concurrency analysis tool able to detect deadlock situations in Java programs that make use of multithreading mechanisms. An abstract formal model is generated from the Java source using the Java2Spin translator. The model

Implicit, High-Resolution, Compact Schem
Implicit, High-Resolution, Compact Schemes for Gas Dynamics and Aeroacoustics
✍ John A. Ekaterinaris πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 414 KB

Implicit, high-order schemes are developed for time-accurate numerical solutions of hyperbolic equation systems. High-order spatial accuracy for the implicit operators is obtained at no additional computing cost by performing compact differentiation. The resulting alternating direction implicit and