133 search results - page 27 / 27 » Combining Static and Dynamic Reasoning for Bug Detection |
RTCSA
2000
IEEE
13 years 10 months ago
2000
IEEE
A number of industrial applications advocate the use of time-triggered approaches for reasons of predictability, distribution, and particular constraints such as jitter or end-to-...
BMCBI
2008
13 years 5 months ago
2008
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
SOSP
2007
ACM
14 years 2 months ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...