1489 search results - page 69 / 298 » The First Bug Report |
134
click to vote
BCS
2008
15 years 5 months ago
2008
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
113
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: In real-time quantitative PCR studies using absolute plasmid DNA standards, a calibration curve is developed to estimate an unknown DNA concentration. However, potenti...
158
click to vote
ESEM
2010
ACM
15 years 2 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
172
click to vote
ASPLOS
2012
ACM
13 years 11 months ago
2012
ACM
Virtualization has become a standard part of many computer systems. A key part of virtualization is the all-powerful hypervisor which manages the physical platform and can access ...
168
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...