2302 search results - page 130 / 461 » The Evolution of Concurrent Programs |
164
click to vote
SAMOS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract—In this paper we present a Multithreaded programming methodology for multi-core systems that utilizes DataFlow concurrency. The programmer augments the program with macr...
138
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
178
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
131
click to vote
IPPS
2009
IEEE
16 years 28 days ago
2009
IEEE
In this paper we investigate feedback-directed dynamic selection between different implementations of atomic blocks. We initially execute atomic blocks using STM with optimistic c...
142
click to vote
IAT
2006
IEEE
16 years 10 days ago
2006
IEEE
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...