949 search results - page 174 / 190 » Programmed Mutagenesis Is Universal |
147
click to vote
AICCSA
2007
IEEE
15 years 10 months ago
2007
IEEE
In the maximum common subgraph (MCS) problem, we are given a pair of graphs and asked to find the largest induced subgraph common to them both. With its plethora of applications,...
120
click to vote
SP
2007
IEEE
15 years 10 months ago
2007
IEEE
We evaluate website authentication measures that are designed to protect users from man-in-the-middle, ‘phishing’, and other site forgery attacks. We asked 67 bank customers t...
137
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
128
Voted
CGO
2006
IEEE
15 years 10 months ago
2006
IEEE
The phase-ordering problem is a long standing issue for compiler writers. Most optimizing compilers typically have numerous different code-improving phases, many of which can be a...
119
click to vote
HPCS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents the initial design of the Cyclops-64 (C64) system software infrastructure and tools under development as a joint effort between IBM T.J. Watson Research Center...