75 search results - page 12 / 15 » Keynote Address: .QL for Source Code Analysis |
BMCBI
2005
13 years 7 months ago
2005
Background: Interpreting the results of high-throughput experiments, such as those obtained from DNA-microarrays, is an often time-consuming task due to the high number of data-po...
WCRE
2006
IEEE
14 years 1 months ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...
OOPSLA
2005
Springer
14 years 28 days ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
SIGMETRICS
2003
ACM
14 years 21 days ago
2003
ACM
Network intrusions have been a fact of life in the Internet for many years. However, as is the case with many other types of Internet-wide phenomena, gaining insight into the glob...
ICDM2
2004
Springer
14 years 25 days ago
2004
Springer
Vehicle production audit tests, warranty claims and car control unit data are stored in a central data warehouse for data mining analysis. Neural network based part failure rate es...