Reasoning with geometric information in digital space

Authors:
Passent El-Kafrawy;Robert McCartney
Affiliations:
Department of Computer Science and Engineering, University of Connecticut, Storrs, CT, USA;Department of Computer Science and Engineering, University of Connecticut, Storrs, CT, USA
Venue:
Knowledge-Based Systems
Year:
2005

Citing 6
Cited 1

Computational geometry: an introduction

Computational geometry: an introduction
The geometry of semaphore programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Area and perimeter computation of the union of a set of iso-rectangles in parallel

Journal of Parallel and Distributed Computing
Modern Operating Systems

Modern Operating Systems
Diagram processing: computing with diagrams

Artificial Intelligence
Locking policies: Safety and freedom from deadlock

SFCS '79 Proceedings of the 20th Annual Symposium on Foundations of Computer Science

Intuitionistic Fuzzy Geometric Bonferroni Means and Their Application in Multicriteria Decision Making

International Journal of Intelligent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Concurrency requires consistency and correctness. Isothetic rectangles can be used as a geometrical technique to verify a safe and deadlock free schedule for concurrent nodes. However, the known algorithms for concurrency using isothetic rectangles require the prior knowledge of the system behavior. We provide a new mechanism to use isothetic rectangles without this limitation. The discrete nature of isothetic rectangles provides an opportunity for inter-diagrammatic reasoning. Inter-Diagrammatic Reasoning (IDR) can be easily computed on a parallel machine, and has a complexity of O(n) for most of the iso-rectangles problems where the best known algorithm was O(nlogn) in Euclidean geometry. This new framework will also allow dynamic mode of operation in calculating the closure of a set of iso-rectangles; rather than restricting the solution to static systems where all required resources must be reserved in advance.