2452 search results - page 390 / 491 » The Case for Precision Sharing |
154
click to vote
SRDS
1996
IEEE
15 years 10 months ago
1996
IEEE
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementationsof virtual synchrony usually require...
237
click to vote
PODC
1993
ACM
15 years 10 months ago
1993
ACM
A counting protocol (mod m) consists of shared memory bits - referred to as the counter - and of a procedure for incrementing the counter value by 1 (mod m). The procedure may be ...
149
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
- We present a bus arbitration scheme for soft real-time constrained embedded systems. Some masters in such systems are required to complete their work for given timing constraints...
171
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Social networks and collaborative tagging systems are rapidly gaining popularity as primary means for sorting and sharing data: users tag their bookmarks in order to simplify infor...
123
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...