Sciweavers

3224 search results - page 8 / 645
» Abstract Error Projection
Sort
View
CAINE
2004
13 years 11 months ago
Automated Error-Prevention and Error-Detection Tools for Assembly Language
- 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...
Lance G. Johnson, David C. Pheanis
CORR
2010
Springer
99views Education» more  CORR 2010»
13 years 9 months ago
Security in Distributed Storage Systems by Communicating a Logarithmic Number of Bits
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...
Theodoros K. Dikaliotis, Alexandros G. Dimakis, Tr...
DAC
2006
ACM
14 years 10 months ago
Guiding simulation with increasingly refined abstract traces
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...
Kuntal Nanshi, Fabio Somenzi
CCECE
2006
IEEE
14 years 1 months ago
Variable Step-Size Affine Projection Algorithm with a Weighted and Regularized Projection Matrix
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...
Tao Dai, Andy Adler, Behnam Shahrrava
MOC
2011
13 years 4 months ago
Analysis of HDG methods for Stokes flow
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...
Bernardo Cockburn, Jayadeep Gopalakrishnan, Ngoc C...