1550 search results - page 39 / 310 » Erlang for Concurrent Programming |
COMPSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
IPPS
1994
IEEE
14 years 18 days ago
1994
IEEE
As parallel and distributed computers become more widely available and used, the already important process of understanding and debugging concurrent programs will take on even gre...
CAV
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
ENTCS
2006
13 years 8 months ago
2006
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...
FSTTCS
2010
Springer
13 years 6 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...