Now showing items 1-10 of 66
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 ...
Predicting the Expected Behavior of Agents that Learn About Agents: The CLRI Framework
(Kluwer Academic Publishers; Springer Science+Business Media, 2003-01)
We describe a framework and equations used to model and predict the behavior of multi-agent systems (MASs) with learning agents. A difference equation is used for calculating the progression of an agent's error in its ...
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 ...
Better Alternatives to OSPF Routing
(Springer-Verlag; Springer, 2005-08)
The current standard for intra-domain network routing, Open ShortestPath First (OSPF), suffers from a number ofproblems-the tunable parameters (the weights) are hard tooptimize, the chosen paths are not robust underchanges ...
Task granularity studies on a many-processor CRAY X-MP
(Elsevier, 1985-06)
A hybrid granularity model is proposed for general concurrent solution. It is applied to the triangular factorization of a dense matrix ranging in size from 4 to 1024. Concurrency is achieved at two levels: (1) with small ...
The nature of middle school learners' science content understandings with the use of on-line resources
(Wiley Subscription Services, Inc., A Wiley Company, 2003-03)
Early research on using the World Wide Web indicated that middle school students did not explore much and used Web tools naively. In response to these challenges, an on-line research engine, Artemis, was designed to provide ...
Supporting divide-and-conquer algorithms for image processing
(Elsevier, 1987-02)
Divide-and-conquer is an important algorithm strategy, but it is not widely used in image processing. For higher-level, symbolic operations it should often be the strategy of choice for parallel computers. It is natural ...
An efficient job scheduling algorithm for mixed turnaround and deadline applications
(Elsevier, 1978-11)
Computer job scheduling is often performed with little understanding of the formal properties of the jobs being scheduled. One reason for this is that optimal solutions for job scheduling on computers are difficult to ...
Rational Coordination in Multi-Agent Environments
(Kluwer Academic Publishers; Springer Science+Business Media, 2000-12)
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents, and present a framework that uses this paradigm to determine the choice of coordinated ...