1492 search results - page 112 / 299 » Concurrent programming in VISO |
IPPS
2009
IEEE
15 years 7 months 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...
90
Voted
IAT
2006
IEEE
15 years 6 months 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 ...
110
click to vote
FMCO
2006
Springer
15 years 4 months ago
2006
Springer
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the clie...
94
Voted
PPOPP
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we present a new form of revocable lock that streamlines the construction of higher level concurrency abstractions such as atomic multi-word heap updates. The key id...
187
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...