140 search results - page 17 / 28 » Verifying timing properties of concurrent algorithms |
167
click to vote
SBBD
2004
15 years 7 months ago
2004
Today, neither transactional provisions, in general, nor concurrency control, in particular, of DBMS-based processing are tailored to the specific needs of large and collaborative...
179
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
136
click to vote
PODC
2005
ACM
15 years 11 months ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...
155
click to vote
SIROCCO
2004
15 years 7 months ago
2004
Abstract. We study asynchronous packet radio networks in which transmissions among nodes may be delayed. We consider the task of broadcasting a message generated by the source node...
168
click to vote
ICPP
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper discusses the techniques of performing distributed page ranking on top of structured peer-to-peer networks. Distributed page ranking are needed because the size of the ...