Sciweavers

1769 search results - page 129 / 354
» An implementation of argument based discussion
Sort
View
TPLP
2002
117views more  TPLP 2002»
15 years 6 months ago
On Properties of Update Sequences Based on Causal Rejection
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
PVM
2009
Springer
16 years 1 months ago
Fine-Grained Data Distribution Operations for Particle Codes
Abstract This paper proposes a new fine-grained data distribution operation MPI Alltoall specific that allows an element-wise distribution of data elements to specific target pro...
Michael Hofmann, Gudula Rünger
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 3 months ago
Runtime-Flexible Multi-dimensional Arrays and Views for C++98 and C++0x
Multi-dimensional arrays are among the most fundamental and most useful data structures of all. In C++, excellent template libraries exist for arrays whose dimension is fixed at ru...
Björn Andres, Ullrich Köthe, Thorben Kr&...
ICSE
2003
IEEE-ACM
16 years 6 months ago
Model-based Simulation of Web Applications for Usability Assessment
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
Robert Chatley, Jeff Kramer, Jeff Magee, Sebasti&a...
ARITH
2009
IEEE
16 years 1 months ago
Energy and Delay Improvement via Decimal Floating Point Units
Interest in decimal arithmetic increased considerably in recent years. This paper presents new designs for decimal floating point (DFP) addition, multiplication, fused multiplyad...
Hossam A. H. Fahmy, Ramy Raafat, Amira M. Abdel-Ma...