2642 search results - page 105 / 529 » Merge-by-Wire: Algorithms and System Support |
121
click to vote
CADE
2005
Springer
16 years 1 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
121
click to vote
IJHPCA
2010
15 years 9 hour ago
2010
We describe and evaluate a new, pipelined algorithm for large, irregular all-gather problems. In the irregular all-gather problem each process in a set of processes contributes in...
121
click to vote
IEEEPACT
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents the Cameron Project 1 , which aims to provide a high level, algorithmic language and optimizing compiler for the development of image processing applications o...
111
click to vote
EEE
2004
IEEE
15 years 5 months ago
2004
IEEE
QoS (Quality of Service) support in Web services is an important issue since it ensures service usability and utility for each client and, in addition, improves server utilization...
114
click to vote
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
—Rapid expansion of the Internet and increasing demand for multimedia services fosters an immediate need for the development of new high-capacity networks capable of supporting t...