606 search results - page 34 / 122 » A Comparative Study of Industrial Static Analysis Tools |
92
Voted
SIGSOFT
2000
ACM
15 years 4 months ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...
120
Voted
BMCBI
2007
15 years 19 days ago
2007
Background: RNA interference has revolutionized our ability to study the effects of altering the expression of single genes in mammalian (and other) cells through targeted knockdo...
113
Voted
ELECTRONICMARKETS
2010
14 years 10 months ago
2010
We argue that certain theoretical commitments that underpin much existing Interorganisational Information Systems (IOIS) research at small scales become untenable when IOIS are st...
135
click to vote
PASTE
1998
ACM
15 years 4 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
135
click to vote
MM
2006
ACM
15 years 6 months ago
2006
ACM
While there have been great advances in quantification of the genotype of organisms, including full genomes for many species, the quantification of phenotype is at a comparatively...