Sciweavers

3614 search results - page 34 / 723
» Numerical Computing with MATLAB
Sort
View
111
Voted
ISSTA
2006
ACM
15 years 8 months ago
Using model checking with symbolic execution to verify parallel numerical programs
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
Stephen F. Siegel, Anastasia Mironova, George S. A...
108
Voted
CIMCA
2008
IEEE
15 years 9 months ago
Space Based Architecture for Numerical Solving
A strategy for the analytical solving of ordinary differential equations and a first implementation of it based on mobile agent community, using jini javaspace framework, are pre...
Cyril Dumont, Fabrice Mourlin
94
Voted
SADM
2010
100views more  SADM 2010»
14 years 9 months ago
Co-clustering numerical data under user-defined constraints
Ruggero G. Pensa, Jean-François Boulicaut, ...
153
Voted
IPPS
2009
IEEE
15 years 9 months ago
Singular value decomposition on GPU using CUDA
Linear algebra algorithms are fundamental to many computing applications. Modern GPUs are suited for many general purpose processing tasks and have emerged as inexpensive high per...
Sheetal Lahabar, P. J. Narayanan