15885 search results - page 2521 / 3177 » Strategic Software Engineering |
223
click to vote
KDD
2010
ACM
15 years 5 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...
229
click to vote
IJSNET
2011
15 years 2 months ago
2011
— The numbers of high-risk pregnancies and premature births are increasing due to the steadily higher age at which women get pregnant. The long-term quality of life of the neonat...
348
click to vote
SOFTWARE
2011
15 years 2 months ago
2011
Developing parallel applications is notoriously difficult, but is even more complex for desktop applications. The added difficulties are primarily because of their interactive nat...
249
click to vote
SIGMETRICS
2011
ACM
14 years 10 months ago
2011
ACM
Software bugs that occur in production are often difficult to reproduce in the lab due to subtle differences in the application environment and nondeterminism. To address this pr...
237
click to vote
PPOPP
2009
ACM
16 years 8 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...