✦ LIBER ✦

Using heuristic search for finding deadlocks in concurrent systems

✍ Scribed by Sara Gradara; Antonella Santone; Maria Luisa Villani

Book ID: 113641600
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 651 KB
Volume: 202
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2005.07.004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Global deadlock detection for concurrenc

Global deadlock detection for concurrency control in multidatabase systems

✍ Hongwoo Nam; Songchun Moon 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 346 KB

Capacitor placement in distribution syst

Capacitor placement in distribution systems using heuristic search strategies

✍ Chis, M.; Salama, M.M.A.; Jayaram, S. 📂 Article 📅 1997 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 654 KB

Heuristic search for scheduling flexible

Heuristic search for scheduling flexible manufacturing systems using lower bound reachability matrix

✍ Jonghyun Lee; Jin S. Lee 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 384 KB

A Ã algorithm B-net modelling Heuristic search Lower bound reachability matrix a b s t r a c t For scheduling flexible manufacturing systems efficiently, we propose new heuristic functions for A Ã algorithm that is based on the T-timed Petri net. In minimizing makespan, the proposed heuristic funct

Using knowledge generated in heuristic s

Using knowledge generated in heuristic search for nonchronological backtracking

✍ Vasant Dhar 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 879 KB

An Automated System for Argument Inventi

An Automated System for Argument Invention in Law Using Argumentation and Heuristic Search Procedures

✍ DOUGLAS WALTON 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 240 KB

Concurrent system analysis using Petri n

Concurrent system analysis using Petri nets: an optimized algorithm for finding net invariants

✍ Mario D'Anna; Sebastiano Trigila 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 503 KB