694 search results - page 83 / 139 » Open Graphs and Computational Reasoning |
EUROPAR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we report on our experiences with hybrid parallelism in PARDISO, a high-performance sparse linear solver. We start with the OpenMP-parallel numerical factor...
ICLP
2004
Springer
15 years 6 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
108
click to vote
RIDE
1999
IEEE
15 years 5 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
JUCS
2010
14 years 11 months ago
2010
: Decision making under uncertainty is a key issue in information fusion and logic based reasoning approaches. The aim of this paper is to show noteworthy theoretical and applicati...
103
click to vote
TOOLS
2010
IEEE
14 years 11 months ago
2010
IEEE
While traditional approaches to code profiling help locate performance bottlenecks, they offer only limited support for removing these bottlenecks. The main reason is the lack of v...