16 search results - page 2 / 4 » Parallel analysis of polymorphic viral code using automated ... |
163
Voted
BMCBI
2011
14 years 9 months ago
2011
Background: OmniLog™ phenotype microarrays (PMs) have the capability to measure and compare the growth responses of biological samples upon exposure to hundreds of growth condit...
129
click to vote
LOPSTR
2004
Springer
15 years 8 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
118
Voted
SIMUTOOLS
2008
15 years 4 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
133
Voted
SIGOPS
2010
15 years 1 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
130
click to vote
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
Code duplication is an important problem in application maintenance. Tools exist that support code duplication detection. However, few of them propose a solution for the problem, ...