Sciweavers

3224 search results - page 43 / 645
» Abstract Error Projection
Sort
View
TC
2011
14 years 9 months ago
Exact and Approximated Error of the FMA
Abstract—The fused multiply accumulate-add (FMA) instruction, specified by the IEEE 754-2008 Standard for Floating-Point Arithmetic, eases some calculations, and is already avai...
Sylvie Boldo, Jean-Michel Muller
VDA
2010
169views Visualization» more  VDA 2010»
15 years 4 months ago
Techniques for precision-based visual analysis of projected data
The analysis of high-dimensional data is an important, yet inherently difficult problem. Projection techniques such as PCA, MDS, and SOM can be used to map high-dimensional data t...
Tobias Schreck, Tatiana von Landesberger, Sebastia...
CAV
2009
Springer
165views Hardware» more  CAV 2009»
16 years 2 months ago
Symbolic Counter Abstraction for Concurrent Software
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
Daniel Kroening, Gérard Basler, Michele Maz...
ICIC
2007
Springer
15 years 8 months ago
Quantum Integration Error on Some Classes of Multivariate Functions
Abstract. We study the approximation of the integration of multivariate functions classes in the quantum model of computation. We first obtain a lower bound of the n-th minimal qu...
Peixin Ye, Qing He
SIAMNUM
2010
91views more  SIAMNUM 2010»
14 years 9 months ago
Recovery-Based Error Estimators for Interface Problems: Mixed and Nonconforming Finite Elements
Abstract. In [9], we introduced and analyzed a recovery-based a posteriori error estimator for conforming linear finite element approximation to interface problems. It was shown th...
Zhiqiang Cai, Shun Zhang