Search
Now showing items 921-930 of 976
Some theoretical results on the relationship between argumentation and coherence theory
(2017)
This work provides initial results on the relationship between argumentation and Paul Thagard’s coherence theory. We study the relationship, via appropriate transformations, between different types of coherent graphs ...
Towards local search for answer sets
(2002)
Answer set programming has emerged as a new important paradigm for declarative problem solving. It relies on algorithms that compute the stable models of a logic program, a problem that is, in the worst-case, intractable. ...
Propagation in CSP and SAT
(2006)
Constraint Satisfaction Problems and Prepositional Satisfiability, are frameworks widely used to represent and solve combinatorial problems. A concept of primary importance in both frameworks is that of constraint propagation. ...
On the efficiency of atomic multi-reader, multi-writer distributed memory
(2009)
This paper considers quorum-replicated, multi-writer, multi-reader (MWMR) implementations of survivable atomic registers in a distributed message-passing system with processors prone to failures. Previous implementations ...
D3-machine: A decoupled data-driven multithreaded architecture with variable resolution support
(2001)
This paper presents the Decoupled Data-Driven machine (D3-machine), a multithreaded architecture with data-driven synchronization. The D3-machine is an efficient and cost-effective design that combines the advantages of ...
Block Scheduling of Iterative Algorithms and Graph-Level Priority Scheduling in a Simulated Data-Flow Multiprocessor
(1993)
While data-flow principles permit the utilization of large-scale multiprocessor systems with high programmability and good efficiency, they also introduce much overhead at runtime. In this paper, we have studied an important ...
Thread synchronization unit (TSU): A building block for high performance computers
(1997)
The Thread Synchronization Unit (TSU) is a hardware mechanism that provides data-driven thread synchronization and data consistency for multi-threaded architectures built with control-flow (i.e. commodity) microprocessors. ...
Mapping fortran programs to single assignment semantics for efficient parallelization
(1998)
This paper presents Mustang, a system that automatically parallellizes Fortran programs by mapping them to single assignment semantics. Specifically, sequential Fortran source programs are translated into IF1, a ...
Incorporating input/output operations into dynamic data-flow graphs
(1995)
Driven by the 'side-effect' environment of sequential von Neumann computing, Input/Output operations have evolved as state operations on shared files. In parallel programs, if multiple instances of an I/O-performing process ...
A Review of Decision Support Systems in Telecare
(2003)
This paper presents an overview of the state-of-the-art on decision support systems (DSS) in telecare. The main aspect examined is the use of smaller subsystems -components in an integrated DSS, with emphasis on two ...