1810 search results - page 196 / 362 » BASE: Using Abstraction to Improve Fault Tolerance |
143
click to vote
TVLSI
2008
15 years 6 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
145
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Structural subtyping is popular in research languages, but all mainstream object-oriented languages use nominal subtyping. Since languages with structural subtyping are n...
159
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Restart strategies are an important factor in the performance of conflict-driven Davis Putnam style SAT solvers. Selecting a good restart strategy for a problem instance...
160
click to vote
TMI
2008
15 years 6 months ago
2008
Abstract--This paper introduces and analyzes a linear minimum mean square error (LMMSE) estimator using a Rician noise model and its recursive version (RLMMSE) for the restoration ...
221
click to vote
CIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Many researchers have focused their efforts on developing collaborative recommender systems. It has been proved that the use of collaboration in such systems improves per...