Sciweavers

782 search results - page 3 / 157
» Numerical Recipes in C
Sort
View
84
Voted
CMA
2010
196views more  CMA 2010»
14 years 9 months ago
Numerical analysis of Leray-Tikhonov deconvolution models of fluid motion
This report develops and studies a new family of NSE-regularizations, Tikhonov Leray Regularization with Time Relaxation Models. This new family of turbulence models is based on a...
Iuliana Stanculescu, Carolina C. Manica
137
Voted
ICST
2009
IEEE
14 years 9 months ago
Euclide: A Constraint-Based Testing Framework for Critical C Programs
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
Arnaud Gotlieb
53
Voted
AMC
2010
153views more  AMC 2010»
14 years 11 months ago
Analytical and numerical solutions to an electrohydrodynamic stability problem
F. I. Dragomirescu, C. I. Gheorghiu