140 search results - page 17 / 28 » Verifying timing properties of concurrent algorithms |
123
click to vote
SBBD
2004
15 years 3 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...
120
click to vote
ICCS
2003
Springer
15 years 7 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...
102
Voted
PODC
2005
ACM
15 years 7 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...
119
Voted
SIROCCO
2004
15 years 3 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...
124
click to vote
ICPP
2003
IEEE
15 years 7 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 ...