1951 search results - page 254 / 391 » UML-Based integration testing |
138
click to vote
SIAMSC
2008
15 years 3 months ago
2008
We study preconditioners for the iterative solution of the linear systems arising in the implicit time integration of the compressible Navier-Stokes equations. The spatial discreti...
138
click to vote
TIFS
2008
15 years 3 months ago
2008
Digital imaging has experienced tremendous growth in recent decades, and digital camera images have been used in a growing number of applications. With such increasing popularity a...
152
click to vote
SP
2010
IEEE
15 years 8 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
249
click to vote
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
146
click to vote
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...