Now showing items 1-10 of 19
Cache coherence requirements for interprocess rendezvous
(Kluwer Academic Publishers-Plenum Publishers; Plenum Publishing Corporation ; Springer Science+Business Media, 1990-02)
Multiprocessors in which a shared bus is used by the processor to communicate with common memory are an emerging class of machines where there is a need to support parallel programming languages. A language construct that ...
Datalog vs first-order logic
(Elsevier, 1994-12)
Our main result is that every datalog query expressible in first-order logic is bounded; in terms of classical model theory it is a kind of compactness theorem for finite structures. In addition, we give some counter-examples ...
Regular languages in NC1
(Elsevier, 1992-06)
We give several characterizations, in terms of formal logic, semigroup theory, and operations on languages, of the regular languages in the circuit complexity class AC0, thus answering a question of Chandra, Fortune, and ...
Efficient convexity and domination algorithms for fine- and medium-grain hypercube computers
(Springer-Verlag; Springer-Verlag New York Inc., 1992-12)
This paper gives hypercube algorithms for some simple problems involving geometric properties of sets of points. The properties considered emphasize aspects of convexity and domination. Efficient algorithms are given for ...
Hierarchical gate-array routing on a hypercube multiprocessor
(Elsevier, 1990-04)
Gate-arrays are the most common design style for semicustom VLSI integrated circuits. An important part of the gate-array design process is the routing of wires between the logic elements, which is an extremely compute-intensive ...
Integrating reliable memory in databases
(Springer-Verlag; Springer-Verlag Berlin Heidelberg, 1998-08)
Recent results in the Rio project at the University of Michigan show that it is possible to create an area of main memory that is as safe as disk from operating system crashes. This paper explores how to integrate the ...
Production model based digital video segmentation
(Kluwer Academic Publishers; Springer Science+Business Media, 1995-03)
Effective and efficient tools for segmenting and content-based indexing of digital video are essential to allow easy access to video-based information. Most existing segmentation techniques do not use explicit models of ...
Residence probability control
(Elsevier, 1990)
The problem of controlling the residence probability of linear stochastic systems in a bounded domain is considered. Necessary and sufficient conditions for the existence of a controller that makes the residence probability ...
Intensive hypercube communication Prearranged communication in link-bound machines,
(Elsevier, 1990-10)
Hypercube algorithms are developed for a variety of communication-intensive tasks such as transposing a matrix, histogramming, sending a (long) message from one node to another, broadcasting a message from one node to all ...