5 search results - page 1 / 1 » Acceleration of Smith-Waterman using Recursive Variable Expa... |
DSD
2008
IEEE
13 years 11 months ago
2008
IEEE
IPPS
2010
IEEE
13 years 2 months ago
2010
IEEE
The Smith-Waterman (SW) algorithm is one of the widely used algorithms for sequence alignment in computational biology. With the growing size of the sequence database, there is alw...
IPPS
2009
IEEE
13 years 11 months ago
2009
IEEE
Many image and signal processing kernels can be optimized for performance consuming a reasonable area by doing loops parallelization with extensive use of pipelining. This paper p...
STTT
2008
13 years 4 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
CAV
2006
Springer
13 years 8 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...