333 search results - page 17 / 67 » The Problem with Threads |
76
Voted
EUSFLAT
2003
14 years 11 months ago
2003
We present here a co-operative multithread metaheuristic. Each thread employs a (possibly) different optimization strategy and they are controlled by a Coordinator process. A rel...
ITS
2010
Springer
15 years 2 months ago
2010
Springer
As online discussion boards become a popular medium for collaborative problem solving, we would like to understand patterns of group interactions that lead to collaborative learnin...
ICLP
1999
Springer
15 years 1 months ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
WOMPAT
2001
Springer
15 years 2 months ago
2001
Springer
Clusters of high-end workstations and PCs are currently used in many application domains to perform large-scale computations or as scalable servers for I/O bound tasks. Although cl...
CAV
2008
Springer
14 years 11 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...