Sciweavers

Share
239 search results - page 1 / 48
» Probabilistic Concurrent Constraint Programming
Sort
View
ICLP
2005
Springer
12 years 7 months ago
A Distributed and Probabilistic Concurrent Constraint Programming Language
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
Luca Bortolussi, Herbert Wiklicky
CONCUR
1997
Springer
12 years 6 months ago
Probabilistic Concurrent Constraint Programming
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
ENTCS
2006
114views more  ENTCS 2006»
12 years 1 months ago
Stochastic Concurrent Constraint Programming
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...
Luca Bortolussi
ASPLOS
2010
ACM
12 years 8 months ago
A randomized scheduler with probabilistic guarantees of finding bugs
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...
Sebastian Burckhardt, Pravesh Kothari, Madanlal Mu...
ICLP
2009
Springer
13 years 2 months ago
Constraint Based Languages for Biological Reactions
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
Marco Bottalico, Stefano Bistarelli
books