Reasoning with geometric information in digital space

Knowledge-Based Systems

Volumn 18, Issue 4-5, 2005, Pages 179-186

  El Kafrawy, Passent ^a   McCartney, Robert ^a  

^a University of Connecticut   (United States)

Author keywords

Concurrency control; Deadlock prevention; Diagramatic reasoning; Digital geometry

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL GEOMETRY; COMPUTER SYSTEM RECOVERY; CONCURRENCY CONTROL; GRAPH THEORY; RESOURCE ALLOCATION;

CONCURRENT NODES; DEADLOCK PREVENTION; DIAGRAMMATIC REASONING; DIGITAL GEOMETRY;

INFORMATION RETRIEVAL SYSTEMS;

EID: 22544445599     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2004.10.006     Document Type: Conference Paper

References (12)

1. M. Anderson, and R. McCartney Diagram processing: computing with diagrams Artificial Intelligence 145 1-2 2003 181 226
2. S. Carson, and J.P. Reynolds The geometry of semaphore programs ACM Transactions on Programming Languages and Systems 9 1 1987 25 53
3. W. Dijkstra Co-operating sequential processes F. Genuys Programming Languages 1968 Academic Press New York 43 110
4. M. Kankanhalli, and W.R. Franklin Area and perimeter computation of the union of a set of iso-rectangles in parallel Journal of Parallel and Distributed Computing 27 1995 107 117
5. K. Lam, C. Pang, S. Son, Resolving executing-committing conflicts in distributed real-time database systems, Computer Journal 42 (1999) 674-692.
6. W. Lipski, and C.H. Papadimitriou A fast algorithm for testing for safety and detecting deadlocks in locked transaction Journal of Algorithms 2 3 1981 211 226
7. R. McCartney, P. El-Kafrawy, Inter-diagrammatic reasoning and digital geometry, In Proceedings of Third International Conference, Diagrams, LNAI vol. 2980, 2004, pp. 199-215, Cambridge, UK.
8. F. Preparata, and M. Shamos Computational Geometry: An Introduction 1985 Springer New York
9. E. Soisalon-Soininen, and D. Wood An optimal algorithm for testing for safety and detecting deadlocks in locked transaction systems ACM 2 3 1982 108 116
10. A. Tanenbaum Modern Operating System Second ed 2001 Printice Hall New Jersey
11. O. Ulusoy, Performance issues in processing active real-time transactions, In Lecture Notes in Computer Science, vol. 1553, 1998, pp. 98-118.
12. M. Yannakakis, C.H. Papadimitriou, and H.T. Kung Locking policies: safety and freedom from deadlock IEEE Symposium on Foundations of Computer Science 1979 pp. 286-297