3889 search results - page 367 / 778 » The Use of Program Dependence Graphs in Software Engineering |
198
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
209
Voted
DAC
2008
ACM
16 years 7 months ago
2008
ACM
The computer industry has a problem. As Moore's law marches on, we will be exploiting it to double cores, not frequencies. But all those cores ... 2 to 4 today growing to 8, ...
189
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents the Referrer Graph (RG) web prediction algorithm as a low-cost solution to predict next web user accesses. RG is aimed at being used in a real web system with ...
189
click to vote
ASP
2003
Springer
16 years 54 min ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
173
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Molecular biologists work with DNA databases that often include entire genomes. A common requirement is to search a DNA database to find exact matches for a nondegener...