7456 search results - page 403 / 1492 » Parallelism in Logic Programming |
173
click to vote
WCET
2008
15 years 8 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...
199
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
224
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
172
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delega...
146
click to vote
LCPC
2004
Springer
16 years 3 days ago
2004
Springer
In this paper, we describe our experience in writing parallel numerical algorithms using Hierarchically Tiled Arrays (HTAs). HTAs are classes of objects that encapsulate parallelis...