2466 search results - page 196 / 494 » Concurrent Clustered Programming |
127
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
253
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
115
click to vote
PASTE
2004
ACM
15 years 8 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
119
click to vote
PADL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
102
Voted
GPCE
2007
Springer
15 years 8 months ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...