3224 search results - page 8 / 645 » Abstract Error Projection |
CAINE
2004
15 years 3 months ago
2004
- Automated tools for error prevention and error detection exist for many high-level languages, but have been nonexistent for assembly-language programs, embedded programs in parti...
124
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--We investigate the problem of maintaining an encoded distributed storage system when some nodes contain adversarial errors. Using the error-correction capabilities that a...
105
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
129
click to vote
CCECE
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents a forgetting factor scheme for variable step-size affine projection algorithms (APA). The proposed scheme uses a forgetting processed input matrix as the projec...
136
click to vote
MOC
2011
14 years 9 months ago
2011
Abstract. In this paper, we analyze a hybridizable discontinuous Galerkin method for numerically solving the Stokes equations. The method uses polynomials of degree k for all the c...