Search Sciweavers | Sciweavers

176 search results - page 7 / 36

» Truly concurrent constraint programming

click to vote

ICLP
2005
Springer

107views Automated Reasoning» more ICLP 2005»

A Distributed and Probabilistic Concurrent Constraint Programming Language

14 years 3 months ago

Download www.dmi.units.it

We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a ﬁxed number of nodes, each of them possessing a local and indep...

Luca Bortolussi, Herbert Wiklicky

claim paper

Read More »

click to vote

POPL
1995
ACM

161views Programming Languages» more POPL 1995»

Default Timed Concurrent Constraint Programming

14 years 1 months ago

Download www-cs-students.stanford.edu

d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta

claim paper

Read More »

click to vote

PPCP
1993

92views Programming Languages» more PPCP 1993»

Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract)

14 years 1 months ago

Download web.it.kth.se

Seif Haridi, Sverker Janson, Johan Montelius, Tork...

claim paper

Read More »

click to vote

CONCUR
1997
Springer

123views Distributed And Parallel Com...» more CONCUR 1997»

Probabilistic Concurrent Constraint Programming

14 years 2 months ago

Download www-cs-students.stanford.edu

Abstract. We extend cc to allow the speciﬁcation of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

claim paper

Read More »

click to vote

ENTCS
2007

91views more ENTCS 2007»

Stochastic Concurrent Constraint Programming and Differential Equations

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers