1003 search results - page 23 / 201 » How to Parallelize Sequential Processes |
CATA
2003
13 years 10 months ago
2003
This paper presents a basic framework for applying static task scheduling techniques to arbitrarily-structured task systems whose targeted execution environment is comprised of fi...
AMAST
2006
Springer
14 years 13 days ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
KI
2011
Springer
13 years 3 months ago
2011
Springer
We have parallelized our general game player Ary on a cluster of computers. We propose multiple parallelization algorithms. For the sake of simplicity all our algorithms have proce...
HCW
1998
IEEE
14 years 28 days ago
1998
IEEE
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
The paper presents a new distributed metaheuristic algorithm in an optimal control problem related to the cooling process in the continuous casting of steel. The optimization task...