Search Sciweavers | Sciweavers

16513 search results - page 454 / 3303

» Numerical Analysis Methods

152

click to vote

JAT
2010

51views more JAT 2010»

Optimal adaptive computations in the Jaffard algebra and localized frames

15 years 1 months ago

Download www.ricam.oeaw.ac.at

We study the efficient numerical solution of infinite matrix equations Au = f for a matrix A in the Jaffard algebra. These matrices appear naturally via frame discretizations in m...

Stephan Dahlke, Massimo Fornasier, Karlheinz Gr&ou...

claim paper

Read More »

176

click to vote

COMPUTER
1999

69views more COMPUTER 1999»

Scientific Components Are Coming

15 years 6 months ago

Download www.cpe.ku.ac.th

abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...

Paul F. Dubois

claim paper

Read More »

195

click to vote

FORTE
2009

130views Formal Methods» more FORTE 2009»

Approximated Context-Sensitive Analysis for Parameterized Verification

15 years 4 months ago

Download user.it.uu.se

Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...

Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...

claim paper

Read More »

118

click to vote

FMICS
2007
Springer

100views Formal Methods» more FMICS 2007»

Static Analysis of the Accuracy in Control Systems: Principles and Experiments

16 years 1 months ago

Download www.ens-lyon.fr

Eric Goubault, Sylvie Putot, Philippe Baufreton, J...

claim paper