- Author:
- Murat Mehmet Tanik
No abstract available.
Cited By
- Bell J and Stevens B (2009). A survey of known results and research areas for n-queens, Discrete Mathematics, 309:1, (1-31), Online publication date: 1-Jan-2009.
Erbas C, Sarkeshik S and Tanik M Different perspectives of the N-Queens problem Proceedings of the 1992 ACM annual conference on Communications, (99-108)- Zöbel D (1983). The Deadlock problem, ACM SIGOPS Operating Systems Review, 17:4, (6-15), Online publication date: 1-Oct-1983.
Recommendations
An Effective Deadlock Prevention Mechanism for Distributed Transaction Management
IMIS '11: Proceedings of the 2011 Fifth International Conference on Innovative Mobile and Internet Services in Ubiquitous ComputingRecently there has been an increasingly use of SOA infrastructure. Most of business applications need the transaction management to guarantee the system consistency, typically by resource locks. High availability and performance of resource managers are ...
An efficient deadlock prevention approach for service oriented transaction processing
Transaction processing can guarantee the reliability of business applications. Locking resources is widely used in distributed transaction management (e.g., two phase commit, 2PC) to keep the system consistent. The locking mechanism, however, ...
Efficient data race and deadlock prevention in concurrent object-oriented programs
OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applicationsThe main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correctness and liveness properties. In particular, the set of correctness rules ...