717 search results - page 61 / 144 » Kill-safe synchronization abstractions |
ECSCW
2001
15 years 1 months ago
2001
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...
103
click to vote
EUROPAR
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. As heterogeneous computing platforms become more prevalent, the programmer must account for complex memory hierarchies in addition to the difficulties of parallel program...
114
click to vote
DAC
1994
ACM
15 years 4 months ago
1994
ACM
Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially comm...
SPIN
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— The use of multi-user detection (MUD) in a cooperative CDMA network is investigated for the uplink in synchronous CDMA systems. Suppose that, at any instant in time, pa...