2466 search results - page 200 / 494 » Concurrent Clustered Programming |
111
click to vote
ISCAS
2005
IEEE
15 years 8 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...
115
Voted
ERLANG
2004
ACM
15 years 8 months 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...
112
click to vote
PLDI
2009
ACM
15 years 7 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...
122
click to vote
SPIN
2000
Springer
15 years 6 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...
121
click to vote
CAV
2008
Springer
15 years 4 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...