Keyword : deadlock

Decomposition Approach of Banker's Algorithm: Design and Concurrency Analysis
Hoon OH 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/01/01
Vol. E87-D  No. 1  pp. 183-195
Type of Manuscript: PAPER
Category: Software Systems
Keyword: 
deadlock,  concurrency,  heuristic algorithm,  decomposition, 
  Summary |  Full Text:PDF (1.8MB)
Symbolic Model Checking of Deadlock Free Property of Task Control Architecture
Hiromi HIRAISHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2002/10/01
Vol. E85-D  No. 10  pp. 1579-1586
Type of Manuscript: Special Section PAPER (Special Issue on Test and Verification of VLSI)
Category: Verification
Keyword: 
verification,  symbolic model checking,  deadlock,  robot control program,  concurrent process, 
  Summary |  Full Text:PDF (267.5KB)
Fair and Stable Resource Allocation Methods for Guaranteed Service
Kazumasa OIDA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2001/01/01
Vol. E84-B  No. 1  pp. 71-80
Type of Manuscript: PAPER
Category: Internet
Keyword: 
guaranteed service,  fairness,  deadlock,  RSVP,  admission control, 
  Summary |  Full Text:PDF (906.6KB)
A New Approach for Protocol Synthesis Based on LOTOS
Bhed Bahadur BISTA  Zixue CHENG  Atsushi TOGASHI  Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/20
Vol. E77-A  No. 10  pp. 1646-1655
Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
protocol,  protocol synthesis,  deadlock,  FDT,  LOTOS, 
  Summary |  Full Text:PDF (828.3KB)
On the Complexity of Protocol Validation Problems for Protocols with Bounded Capacity Channels
Yoshiaki KAKUDA  Yoshihiro TAKADA  Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/04/20
Vol. E77-A  No. 4  pp. 658-667
Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
computational complexity,  deadlock,  NP-complete,  protocol,  protocol validation, 
  Summary |  Full Text:PDF (781.5KB)