5012 search results - page 482 / 1003 » Distributed Error Correction |
191
click to vote
SPIN
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
162
click to vote
MICRO
2006
IEEE
16 years 26 days ago
2006
IEEE
To protect processor logic from soft errors, multicore redundant architectures execute two copies of a program on separate cores of a chip multiprocessor (CMP). Maintaining identi...
175
click to vote
APPROX
2005
Springer
16 years 12 days ago
2005
Springer
An error-correcting code is said to be locally testable if it has an efficient spot-checking procedure that can distinguish codewords from strings that are far from every codeword...
205
click to vote
CD
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
179
click to vote
CLEF
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Esfinge is a general domain Portuguese question answering system. It tries to apply simple techniques to large amounts of text. Esfinge participated last year in the mono...