4426 search results - page 314 / 886 » Concurrent Constraint Programming |
151
click to vote
ML
2006
ACM
16 years 19 days ago
2006
ACM
Grid computing has become increasingly popular with the growth of the Internet, especially in large-scale scientific computation. Computational Grids are characterized by their s...
165
click to vote
ERLANG
2004
ACM
16 years 3 days ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
160
Voted
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Parallel platforms are becoming ubiquitous with modern computing systems. Many parallel applications attempt to avoid locks in order to achieve high responsiveness, aid scalabilit...
180
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
192
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...