3224 search results - page 16 / 645 » Abstract Error Projection |
VTS
2007
IEEE
14 years 3 months ago
2007
IEEE
Soft errors due to cosmic particles are a growing reliability threat for VLSI systems. In this paper we analyze the soft error vulnerability of FPGAs used in storage systems. Sinc...
SIAMMAX
2010
13 years 4 months ago
2010
We propose practical stopping criteria for the iterative solution of sparse linear least squares (LS) problems. Although we focus our discussion on the algorithm LSQR of Paige and ...
DT
2000
13 years 9 months ago
2000
Research on practical design verification techniques has long been impeded by the lack of published and yet detailed error data. Over the last few years we have systematically coll...
FOCS
2004
IEEE
14 years 1 months ago
2004
IEEE
We study the learning models defined in [AKST97]: Learning with equivalence and limited membership queries and learning with equivalence and malicious membership queries. We show ...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
ate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems Alessandro D’Innocenzo, Alessandro Abate, and Maria D. Di Benedetto — This work proposes a procedure to c...