640 search results - page 109 / 128 » Discovering State Invariants |
111
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: Prostate cancer is one of the leading causes of cancer illness and death among men in the United States and world wide. There is an urgent need to discover good biomar...
189
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
100
click to vote
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
INFOCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Denial-of-Service (DoS) attacks remain a challenging problem in the Internet. In a DoS attack the attacker is attempting to make a resource unavailable to its intended le...
ICDCS
2005
IEEE
15 years 5 months ago
2005
IEEE
Stream processing has become increasingly important with emergence of stream applications such as audio/video surveillance, stock price tracing, and sensor data analysis. A challe...