805 search results - page 88 / 161 » Solving Consensus Using Structural Failure Models |
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
This paper proposes the incremental Bayesian optimization algorithm (iBOA), which modifies standard BOA by removing the population of solutions and using incremental updates of t...
127
click to vote
ENTCS
2010
14 years 11 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
114
click to vote
DFT
2005
IEEE
15 years 8 months ago
2005
IEEE
Fabricating large memory and processor arrays is subject to physical failures resulting in yield degradation. The strategy of incorporating spare rows and columns to obtain reason...
106
Voted
ANOR
2008
15 years 2 months ago
2008
We describe a class of problems motivated by numerous real-world applications where there is a collection of objects that have both a cost and a value, but where some of those obj...
112
Voted
SBACPAD
2003
IEEE
15 years 7 months ago
2003
IEEE
Collective communication is very useful for parallel applications, especially those in which matrix and vector data structures need to be manipulated by a group of processes. This...