606 search results - page 41 / 122 » A Comparative Study of Industrial Static Analysis Tools |
95
Voted
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
132
Voted
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
Continuous time-series sequence matching, specifically, matching a numeric live stream against a set of predefined pattern sequences, is critical for domains ranging from fire spr...
87
Voted
BMCBI
2008
15 years 20 days ago
2008
Background: Association testing is a powerful tool for identifying disease susceptibility genes underlying complex diseases. Technological advances have yielded a dramatic increas...
92
Voted
CC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
104
Voted
DRM
2003
Springer
15 years 5 months ago
2003
Springer
Unauthorized copying of movies is a major concern for the motion picture industry. While unauthorized copies of movies have been distributed via portable physical media for some t...