614 search results - page 117 / 123 » LCLint: A Tool for Using Specifications to Check Code |
BMCBI
2006
13 years 7 months ago
2006
Background: Statistical methods for identifying positively selected sites in protein coding regions are one of the most commonly used tools in evolutionary bioinformatics. However...
SDM
2010
SIAM
13 years 9 months ago
2010
SIAM
Gene prediction is one of the most challenging tasks in genome analysis, for which many tools have been developed and are still evolving. In this paper, we present a novel gene pr...
ICWSM
2008
13 years 9 months ago
2008
Digital media lowers barriers to entry and has the ability to renegotiate traditional news-making power structures. However, it remains to be seen whether or not the people that u...
WOTUG
2008
13 years 9 months ago
2008
When teaching concurrency, using a process-oriented language, it is often introduced through a visual representation of programs in the form of process network . These diagrams all...
JPDC
2000
13 years 7 months ago
2000
: SIMD arrays are likely to become increasingly important as coprocessors in domain specific systems as architects continue to leverage RAM technology in their design. The problem ...