7892 search results - page 158 / 1579 » Programming with Models |
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Intervals are a new model for parallel programming based on an explicit happens before relation. Intervals permit fine-grained but high-level control of the program sched...
123
click to vote
ICLP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
112
click to vote
LFCS
2007
Springer
15 years 7 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
BNCOD
2004
15 years 2 months ago
2004
While there are many proposals for spatio-temporal data models and query languages, there is a lack of research into application development using spatio-temporal database systems....
120
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...