1043 search results - page 73 / 209 » Reading, Writing and Relations |
166
click to vote
IPPS
2005
IEEE
2005
IEEE
Improving Middleware Performance with AdOC: An Adaptive Online Compression Library for Data Transfer
15 years 12 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...
144
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
151
click to vote
MIDDLEWARE
2005
Springer
15 years 12 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...
170
click to vote
SEKE
2005
Springer
15 years 12 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
157
click to vote
WABI
2005
Springer
15 years 11 months ago
2005
Springer
Phylogenetic tree searching algorithms often produce thousands of trees which biologists save in Newick format in order to perform further analysis. Unfortunately, Newick is neithe...