713 search results - page 127 / 143 » Toward a More Reliable Theory of Software Reliability |
KDD
2010
ACM
15 years 3 months ago
2010
ACM
Memory leaks are caused by software programs that prevent the reclamation of memory that is no longer in use. They can cause significant slowdowns, exhaustion of available storag...
107
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: Most single stranded RNA (ssRNA) viruses mutate rapidly to generate large number of strains having highly divergent capsid sequences. Accurate strain recognition in un...
119
click to vote
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
110
click to vote
EUROSYS
2011
ACM
14 years 3 months ago
2011
ACM
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...
121
click to vote
ISSTA
2012
ACM
13 years 2 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...