434 search results - page 33 / 87 » A Distributed and Probabilistic Concurrent Constraint Progra... |
155
click to vote
SAC
2000
ACM
15 years 8 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
180
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
144
click to vote
ICFP
2009
ACM
15 years 11 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
114
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper is the first extensive performance study of a recently proposed parallel programming model, called Concurrent Collections (CnC). In CnC, the programmer expresses her co...
161
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...