2468 search results - page 410 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
219
click to vote
ICDE
2003
IEEE
16 years 4 months ago
2003
IEEE
Modern distributed information systems cope with disconnection and limited bandwidth by using caches. In communicationconstrained situations, traditional demand-driven approaches ...
138
Voted
IEEEPACT
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a new technique for efficient usage of small trace caches. A trace cache can significantly increase the performance of wide out-oforder processors, but to be e...
132
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...
128
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Compared to other omics techniques, quantitative metabolomics is still at its infancy. Complex sample preparation and analytical procedures render exact quantification...
115
Voted
MM
2010
ACM
15 years 3 months ago
2010
ACM
It has been theoretically shown that performing coding in networked systems, including Reed-Solomon codes, fountain codes, and random network coding, has a clear advantage with re...