4725 search results - page 222 / 945 » Dependence-Based Program Analysis |
162
click to vote
SCALESPACE
2005
Springer
16 years 4 days ago
2005
Springer
Matrix-valued images gain increasing importance both as the output of new imaging techniques and as the result of image processing operations, bearing the need for robust and effic...
172
click to vote
VMCAI
2005
Springer
16 years 4 days ago
2005
Springer
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
184
click to vote
CP
2004
Springer
16 years 2 days ago
2004
Springer
In this talk we present a number of problems for network design, planning and analysis and show how they can be addressed with different hybrid CP solutions. Clearly, this problem...
176
click to vote
ADAEUROPE
1997
Springer
15 years 11 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
160
click to vote
IWPC
1996
IEEE
15 years 10 months ago
1996
IEEE
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance. In distributed debugging, for example, proce...