4615 search results - page 424 / 923 » A Data Analysis Method for Software Performance Prediction |
157
click to vote
SIGSOFT
2004
ACM
16 years 5 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...
134
click to vote
IDA
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper introduces a novel method for processing spotted microarray images, inspired from image reconstruction. Instead of the usual approach that focuses on the signa...
162
Voted
SIGADA
2001
Springer
15 years 9 months ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...
186
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Comparative genomics is the analysis and comparison of genomes from different species. This area of research is driven by the large number of sequenced genomes and hea...
157
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...