1550 search results - page 173 / 310 » Erlang for Concurrent Programming |
95
Voted
ML
2006
ACM
15 years 7 months 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...
107
click to vote
ISCAS
2005
IEEE
15 years 7 months ago
2005
IEEE
— Program code size has become a critical design constraint of embedded systems. Large program codes require large memories, which increase the size and cost of the chip. Poor co...
106
click to vote
PLDI
2009
ACM
15 years 6 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...
117
Voted
SPIN
2000
Springer
15 years 5 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...
118
Voted
CAV
2008
Springer
15 years 3 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...