7456 search results - page 199 / 1492 » Parallelism in Logic Programming |
305
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...
147
click to vote
SUM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we introduce a fixpoint semantics for quantitative logic programming, which is able to both combine and correlate evidence from different sources of infor...
165
click to vote
ICLP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
160
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...
150
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents an environment for supporting parallel/distributed programming using Java with RMI and RMI-IIOP (CORBA). The environment implements the notion of Shared Object...