544 search results - page 39 / 109 » Reading to Write |
FMCAD
2007
Springer
14 years 3 months ago
2007
Springer
—Bus and interconnect protocols contain a few core operations (such as read and write transfers) whose behaviors interleave to form complex executions. Specifications of the cor...
SSS
2007
Springer
14 years 2 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...
IPPS
2005
IEEE
2005
IEEE
Improving Middleware Performance with AdOC: An Adaptive Online Compression Library for Data Transfer
14 years 2 months ago
In this article, we present the AdOC (Adaptive Online Compression) library. It is a user-level set of functions that enables data transmission with compression. The compression is...
MIDDLEWARE
2005
Springer
14 years 2 months ago
2005
Springer
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Dual-quorum replication combines volume leases and qu...