4716 search results - page 686 / 944 » Iterative-free program analysis |
127
click to vote
INFSOF
2002
15 years 4 months ago
2002
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
123
click to vote
SIAMJO
2002
15 years 4 months ago
2002
Most local convergence analyses of the sequential quadratic programming (SQP) algorithm for nonlinear programming make strong assumptions about the solution, namely, that the activ...
136
Voted
SIGCSE
2002
ACM
15 years 4 months ago
2002
ACM
Bioinformatics is a new and rapidly evolving discipline that has emerged from the fields of experimental molecular biology and biochemistry, and from the the artificial intelligen...
130
click to vote
SP
2002
IEEE
15 years 4 months ago
2002
IEEE
A suite of scalable atomistic simulation programs has been developed for materials research based on space-time multiresolution algorithms. Design and analysis of parallel algorit...
171
click to vote
SPE
2002
15 years 4 months ago
2002
This study presents a practical solution for data collection and restoration to migrate a process written in high level stack-based languages such as C and Fortran over a network ...