1204 search results - page 128 / 241 » Parallel concurrent ML |
148
click to vote
PPAM
2001
Springer
15 years 8 months ago
2001
Springer
In this work we consider the problem of estimating execution time of distributed applications. The main difficulty stems from the communication delays and shared nature of the comp...
153
Voted
CONCUR
1992
Springer
15 years 8 months ago
1992
Springer
We introduce an ACP-style discrete-time process algebra with relative timing, that features the empty process. Extensions to this algebra are described, and ample attention is pai...
136
Voted
POPL
1992
ACM
15 years 8 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
123
click to vote
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
117
click to vote
GECCO
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we present a concurrent implementation of genetic algorithms designed for shared memory architectures intended to take advantage of multi-core processor platforms. O...