Sciweavers

240 search results - page 4 / 48
» On the numerical solution to linear problems using stochasti...
Sort
View
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
15 years 2 months ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...
ERSA
2006
129views Hardware» more  ERSA 2006»
14 years 11 months ago
Group-Alignment based Accurate Floating-Point Summation on FPGAs
Floating-point summation is one of the most important operations in scientific/numerical computing applications and also a basic subroutine (SUM) in BLAS (Basic Linear Algebra Sub...
Chuan He, Guan Qin, Mi Lu, Wei Zhao
CSL
2008
Springer
14 years 11 months ago
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
Ruzica Piskac, Viktor Kuncak
ANOR
2006
59views more  ANOR 2006»
14 years 9 months ago
The empirical behavior of sampling methods for stochastic programming
Abstract. We investigate the quality of solutions obtained from sample-average approximations to two-stage stochastic linear programs with recourse. We use a recently developed sof...
Jeff Linderoth, Alexander Shapiro, Stephen Wright
SIAMNUM
2010
140views more  SIAMNUM 2010»
14 years 4 months ago
Finite Element Approximation of the Linear Stochastic Wave Equation with Additive Noise
Semidiscrete finite element approximation of the linear stochastic wave equation with additive noise is studied in a semigroup framework. Optimal error estimates for the determinis...
Mihály Kovács, Stig Larsson, Fardin ...