Sciweavers

7456 search results - page 401 / 1492
» Parallelism in Logic Programming
Sort
View
CLOUD
2010
ACM
15 years 12 months ago
Nephele/PACTs: a programming model and execution framework for web-scale analytical processing
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
Dominic Battré, Stephan Ewen, Fabian Hueske...
PDP
2010
IEEE
16 years 1 months ago
A Light-weight API for Portable Multicore Programming
—Multicore nodes have become ubiquitous in just a few years. At the same time, writing portable parallel software for multicore nodes is extremely challenging. Widely available p...
Christopher G. Baker, Michael A. Heroux, H. Carter...
174
Voted
EUROPAR
2004
Springer
16 years 4 days ago
Detecting Data Races in Sequential Programs with DIOTA
In this paper we show that data races, a type of bug that generally only causes havoc in parallel programs, can also occur in sequential programs that use signal handlers. Fortunat...
Michiel Ronsse, Jonas Maebe, Koenraad De Bosschere
POPL
2012
ACM
14 years 2 months ago
Probabilistic relational reasoning for differential privacy
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
Gilles Barthe, Boris Köpf, Federico Olmedo, S...
WOA
2003
15 years 8 months ago
Strips-like Planning in the DALI Logic Programmming Language
— In this paper we discuss how some features of the new logic programming language DALI for agents and multiagent systems are suitable to programming agents equipped with plannin...
Stefania Costantini, Arianna Tocchio