15073 search results - page 2497 / 3015 » Probabilistic algorithms for computing resultants |
162
click to vote
ARITH
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper introduces two novel architectures for parallel decimal multipliers. Our multipliers are based on a new algorithm for decimal carry–save multioperand addition that us...
177
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 1 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
188
click to vote
ICPP
2007
IEEE
16 years 1 months ago
2007
IEEE
It is a challenge to design and implement a wide-area distributed hash table (DHT) which provides a storage service with high reliability. Many existing systems use replication to...
168
click to vote
ICPP
2007
IEEE
16 years 1 months ago
2007
IEEE
The productivity of HPC system is determined not only by their performance, but also by their reliability. The conventional method to limit the impact of failures is checkpointing...
156
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Resource scheduling in large-scale, volatile desktop grids is challenging because resource state is both dynamic and eclectic. Matching available resources with requests is not al...