Sciweavers

3113 search results - page 58 / 623
» Numerical Methods
Sort
View
ECOOPW
2001
Springer
15 years 8 months ago
Automating Object-Oriented Software Development Methods
Current software projects have generally to deal with producing and managing large and complex software products. It is generally believed that applying software development method...
Bedir Tekinerdogan, Motoshi Saeki, Gerson Suny&eac...
IJCM
2007
53views more  IJCM 2007»
15 years 4 months ago
Splitting methods for non-autonomous linear systems
We present splitting methods for numerically solving a certain class of explicitly time-dependent linear differential equations. Starting from an efficient method for the autonom...
Sergio Blanes, Fernando Casas, Ander Murua
FM
2005
Springer
108views Formal Methods» more  FM 2005»
15 years 9 months ago
Formal Methods and Testing: Hypotheses, and Correctness Approximations
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...
Marie-Claude Gaudel
SIAMNUM
2010
149views more  SIAMNUM 2010»
14 years 11 months ago
Mixed Finite Element Methods for Incompressible Flow: Stationary Navier-Stokes Equations
In [Z. Cai, C. Tong, P. S. Vassilevski, and C. Wang, Numer. Methods Partial Differential Equations, to appear], the authors developed and analyzed a mixed finite element method for...
Zhiqiang Cai, Chunbo Wang, Shun Zhang
SIAMJO
2002
96views more  SIAMJO 2002»
15 years 3 months ago
Lagrangian Dual Interior-Point Methods for Semidefinite Programs
This paper proposes a new predictor-corrector interior-point method for a class of semidefinite programs, which numerically traces the central trajectory in a space of Lagrange mul...
Mituhiro Fukuda, Masakazu Kojima, Masayuki Shida