4491 search results - page 267 / 899 » Algorithm Engineering |
228
click to vote
VSTTE
2012
Springer
13 years 10 months ago
2012
Springer
A piece of code in a computer program is infeasible if it cannot be part of any normally-terminating execution of the program. We develop an algorithm for the automatic detection o...
111
click to vote
IUI
2010
ACM
15 years 12 months ago
2010
ACM
In this paper we present a new way of translating documents by using a Web-based system. An interactive approach is proposed as an alternative to post-editing the output of a mach...
128
click to vote
SEW
2006
IEEE
15 years 9 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
114
click to vote
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
We present in this paper an extension of the messagedriven confidence-driven framework that we developed for onboard guarded software upgrading. The purpose of this work is to pr...
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
The installation of software packages depends on the correct resolution of dependencies and conflicts between packages. This problem is NP-complete and, as expected, is a hard ta...