Searching for "System Deadlocks." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

494 documents found, showing 1 through 10. Next 10 →

System Deadlocks
by E. G. Coffman, M. J. Elphick — 1971 — Computing Surveys
…System Deadlocks E. G. COFFMAN, JR. Pennsylvania State University, University Park, Pennsylvania…
Cited by 50 (0 self) – Add To MetaCart

A new type system for deadlock-free processes
by Naoki Kobayashi — 2006 — In CONCUR’06, volume 4137 of LNCS
…A New Type System for Deadlock-Free Processes Naoki Kobayashi Graduate School of Information…
Cited by 14 (2 self) – Add To MetaCart

Deadlock Prediction And Avoidance In An AGV System
by Wee Hock Guan, Wee Hock Guan ________________________________________________________________, Asst Prof, Teo Chung Piaw, Assoc Prof, Khoo Boo Cheong, Prof Anthony Patera, Programme Co-chair, Programme Co-chair, Hpces Programme, Hpces Programme, Krishna Moorthy, Krishna Moorthy, Krishna Moorthy, Krishna Moorthy Rajeeva Lochana Moorthy, Rajeeva Lochana Moorthy, Rajeeva Lochana Moorthy — 2000
…DEADLOCK PREDICTION AND AVOIDANCE IN AN AGV SYSTEM By Krishna Moorthy Rajeeva Lochana Moorthy B…
Add To MetaCart

Deadlocks in Distributed Systems
by Term Paper In, Instructor Dr. Deepak Gupta, Saikat Sen, Saurabh Srivastava
…Deadlocks in Distributed Systems Term Paper in Distributed Systems Instructor: Dr. Deepak Gupta…
Add To MetaCart

Incremental Development of Deadlock-Free Communicating Systems
by Stephan Kleuker — 1997 — Proc. of TACAS'97, LNCS 1217
…Incremental Development of Deadlock-Free Communicating Systems ? Stephan Kleuker University…
Cited by 1 (1 self) – Add To MetaCart

A Deadlock Absence Proof Technique
by Applied To Multiple, Laura M. Haas, Ks M Chandy, Jo Misra
… systems, deadlock absence proofs distributed databases multiple copy consistency problem message…
Add To MetaCart

A Type-theoretic Approach to Deadlock-freedom of Asynchronous Systems
by Samson Abramsky, Simon Gay, Rajagopal Nagarajan — 1997 — In Proc. TACS
…A Type-theoretic Approach to Deadlock-freedom of Asynchronous Systems Samson Abramsky Simon Gay…
Cited by 8 (1 self) – Add To MetaCart

Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
by Kohei Suenaga, Naoki Kobayashi — 2007 — In ESOP
… also propose a type system that guarantees deadlock-freedom in the presence of interrupts. To our…
Cited by 1 (0 self) – Add To MetaCart

A Method for Deadlock Prevention in Discrete Event Systems Using Petri Nets
by Marian V. Iordache, Marian V. Iordache, John O. Moody, John O. Moody, Panos J. Antsaklis, Panos J. Antsaklis — 1999
…A Method for Deadlock Prevention in Discrete Event Systems Using Petri Nets Technical Report…
Cited by 3 (2 self) – Add To MetaCart

Preventing Recursion Deadlock in Concurrent Object-Oriented Systems
by Eric A. Brewer, Carl A. Waldspurger — 1992 — Proc. 1992 International Parallel Processing Symposium
…Preventing Recursion Deadlock in Concurrent Object-Oriented Systems by Eric A. Brewer Carl A…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB