614 search results - page 50 / 123 » LCLint: A Tool for Using Specifications to Check Code |
116
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: In many contexts, researchers need specific primers for all sequences in a family such that each primer set amplifies only its target sequence and none of the others, ...
134
click to vote
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
153
click to vote
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
The Internet contains billions of images, freely available online. Methods for efficiently searching this incredibly rich resource are vital for a large number of applications. Th...
119
click to vote
BMCBI
2008
2008
WSPMaker: a web tool for calculating selection pressure in proteins and domains using window-sliding
15 years 3 months ago
Background: In the study of adaptive evolution, it is important to detect the protein coding sites where natural selection is acting. In general, the ratio of the rate of non-syno...
139
click to vote
ISCAPDCS
2001
15 years 4 months ago
2001
One purpose of the end-user tools described in this paper is to give users a graphical representation of performance information that has been gathered by instrumenting an applica...