A. Andronescu, R. Aguirre-hernández, A. Condon, and H. H. Hoos, RNAsoft: a suite of RNA secondary structure prediction and design software tools, Nucleic Acids Research, vol.31, issue.13, pp.3416-3422, 2003.
DOI : 10.1093/nar/gkg612

C. Alias, F. Baray, and A. Darte, Bee+Cl@k: an Implementation of Lattice-based Array Contraction in the Source-to-Source Translator Rose, Languages, Compilers, and Tools for Embedded Systems, pp.73-82, 2007.

J. Allred, J. Coyne, W. Lynch, V. Natoli, J. Grecco et al., Smith-Waterman implementation on a FSB-FPGA module using the Intel Accelerator Abstraction Layer, 2009 IEEE International Symposium on Parallel & Distributed Processing, pp.1-4, 2009.
DOI : 10.1109/IPDPS.2009.5161214

F. Stephen, W. Altschul, W. Gish, E. W. Miller, D. J. Myers et al., Basic Local Alignment Search Tool, Journal of Molecular Biology, vol.215, issue.3, pp.403-410, 1990.

M. [. Acosta and . Tosini, A Firmware Digital Neural Network for Climate Prediction Applications, Intelligent Control, Proceedings of the 2001 IEEE International Symposium on, pp.127-131, 2001.

[. Batista, A. Boukerche, A. C. , and M. Alves-de-melo, A parallel strategy for biological sequence alignment in restricted memory space, Journal of Parallel and Distributed Computing, vol.68, issue.4, pp.548-561, 2008.
DOI : 10.1016/j.jpdc.2007.08.007

[. Baldi, Y. Chauvin, M. Hunkapiller, and . Mcclure, Hidden Markov models of biological primary sequence information., Proceedings of the National Academy of Sciences, vol.91, issue.3, pp.1059-1063, 1994.
DOI : 10.1073/pnas.91.3.1059

H. [. Brent and . Kung, A Regular Layout for Parallel Adders, IEEE Transactions on Computers, vol.31, issue.3, pp.31-260, 1982.
DOI : 10.1109/TC.1982.1675982

[. Bucher, K. Karplus, N. Moeri, and K. Hofmann, A flexible motif search technique based on generalized profiles, Computers &amp, Chemistry, vol.20, issue.1, pp.3-23, 1996.

. Ble90, E. Guy, and . Blelloch, Prefix Sums and Their Applications, 1990.

M. Brudno, S. Malde, A. Poliakov, C. B. Do, O. Couronne et al., Glocal alignment: finding rearrangements during alignment, Eleventh International Conference on Intelligent Systems for Molecular Biology, 2003.
DOI : 10.1093/bioinformatics/btg1005

W. [. Beidas, J. Mong, and . Zhu, Register pressure aware scheduling for high level synthesis, 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011), pp.461-466, 2011.
DOI : 10.1109/ASPDAC.2011.5722234

C. [. Baptiste, W. Pape, and . Nuijten, Constraint-based Scheduling: Applying Constraint Programming to Scheduling Problems, International series in operations research & management science, 2001.
DOI : 10.1007/978-1-4615-1479-4

M. Budiu, M. Sakr, K. Walker, and S. C. Goldstein, Bit- Value Inference: Detecting and Exploiting Narrow Bitwidth Computations, Proceedings from the 6th International Euro-Par Conference on Parallel Processing Euro-Par '00, pp.969-979, 2000.

P. [. Benkrid, S. Velentzas, and . Kasap, A High Performance Reconfigurable Core for Motif Searching Using Profile HMM, 2008 NASA/ESA Conference on Adaptive Hardware and Systems, pp.285-292, 2008.
DOI : 10.1109/AHS.2008.16

. Cas-]-norman-casagrande, Basic-Algorithms-of, Bioinformatics Applet

M. Cannataro and C. Comito, Filippo Lo Schiavo, and Pierangelo Veltri , Proteus, a Grid based Problem Solving Environment for Bioinformatics: Architecture and Experiments, IEEE Computational Intelligence Bulletin, vol.3, 2004.

D. [. Coussy, M. Gajski, A. Meredith, and . Takach, An Introduction to High-Level Synthesis, Design Test of Computers, IEEE, vol.26, issue.4, pp.8-17, 2009.

A. Darte, On the Complexity of Loop Fusion, Parallel Computing, vol.26, pp.149-157, 1999.

A. Darte and G. Huard, New Results on Array Contraction, Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures, and Processors ASAP '02, p.359, 2002.

P. Steven-derrien and . Quinton, Parallelizing HMMER for hardware acceleration on FPGAs, 18th IEEE International Conference on Application-specific Systems, Architectures and Processors, 2007.

P. Steven-derrien and . Quinton, Hardware Acceleration of HMMER on FPGAs, Journal of Signal Processing Systems, pp.53-67, 2010.

T. Steven-derrien and . Risset, Interfacing compiled FPGA programs: the MMAlpha approach, International Workshop on Engineering of Reconfigurable Hardware/Software Objects, 2000.

S. Steven-derrien, P. Rajopadhye, T. Quinton, and . Risset, High-Level Synthesis of Loops Using the Polyhedral Model, High-Level Synthesis, pp.215-230, 2008.

S. [. Dhawan, S. Sinha, T. Lam, and . Srikanthan, Extended compatibility path based hardware binding algorithm for area-time efficient designs, 2nd Asia Symposium on Quality Electronic Design (ASQED), pp.151-156, 2010.
DOI : 10.1109/ASQED.2010.5548235

D. Tommaso, M. Orobitg, F. Guirado, F. Cores, T. Espinosa et al., Cloud-Coffee: implementation of a parallel consistency-based multiple alignment algorithm in the T-Coffee package and its benchmarking on the Amazon Elastic-Cloud, Bioinformatics, vol.26, issue.15, pp.1903-1904, 2010.
DOI : 10.1093/bioinformatics/btq304

S. R. Eddy, Profile hidden Markov models, Bioinformatics, vol.14, issue.9, pp.755-763, 1998.
DOI : 10.1093/bioinformatics/14.9.755

S. R. Eddy, Accelerated Profile HMM Searches, PLoS Computational Biology, vol.21, issue.10, 2011.
DOI : 10.1371/journal.pcbi.1002195.g006

S. R. Eddy, Accelerated profile HMM searches (preprint), 2011.

[. Giraldo and N. Moreano, Ricardo Pezzuol Jacobi, and Alba Cristina Magalhaes Alves de Melo, A HMMER Hardware Accelerator using Divergences, Proceedings of the Conference on Design, Automation and Test in Europe, pp.405-410, 2010.

]. J. Fel93 and . Felsenstein, PHYLIP: phylogenetic inference package, version 3.5c, 1993.

[. Fingeroff, High-Level Synthesis Blue Book, Xlibris Corporation, 2010.

H. [. Fettweis and . Meyr, Parallel Viterbi algorithm implementation: breaking the ACS-bottleneck, IEEE Transactions on Communications, vol.37, issue.8, pp.785-790, 1989.
DOI : 10.1109/26.31176

L. [. Fettweis, G. Thiele, and . Meyr, Algorithm Transformations for Unlimited Parallelism, Circuits and Systems, IEEE International Symposium on, pp.1756-1759, 1990.

D. Daniel and . Gajski, High-level Synthesis: Introduction to Chip and System Design, 1992.

]. Gal, . Nigms-image, and . Gallery, Central Dogma of Life

[. Ganesan, R. D. Chamberlain, J. Buhler, and M. Taufer, Accelerating HMMER on GPUs by implementing hybrid data and task parallelism, Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology, BCB '10, pp.418-421, 2010.
DOI : 10.1145/1854776.1854844

N. [. Gupta, R. Dutt, A. Gupta, and . Nicolau, SPARK: a high-level synthesis framework for applying parallelizing compiler transformations, 16th International Conference on VLSI Design, 2003. Proceedings., pp.461-466, 2003.
DOI : 10.1109/ICVD.2003.1183177

[. Gupta, R. Gupta, N. D. Dutt, and A. Nicolau, SPARK:: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits, 2004.

[. and D. Lavenier, Hardware accelerator for biological sequence comparison, Computer Application in the Biosciences, vol.13, issue.6, pp.609-615, 1997.

A. R. Gruber, R. Lorenz, S. H. Bernhart, R. Neuböck, and I. L. Hofacker, The Vienna RNA Websuite, Nucleic Acids Research, vol.36, issue.Web Server, pp.70-74, 2008.
DOI : 10.1093/nar/gkn188

R. Guang, R. Gao, V. Olsen, R. Sarkar, and . Thekkath, Collective Loop Fusion for Array Contraction, Languages and Compilers for Parallel Computing, pp.281-295, 1992.

C. [. Girkar and . Polychronopoulos, Automatic Extraction of Functional Parallelism from Ordinary Programs, Parallel and Distributed Systems, IEEE Transactions on, vol.3, issue.2, pp.166-178, 1992.

[. Guillou, P. Quinton, T. Risset, and D. Massicotte, Automatic design of VLSI pipelined LMS architectures, Proceedings International Conference on Parallel Computing in Electrical Engineering. PARELEC 2000, pp.144-149, 2000.
DOI : 10.1109/PCEE.2000.873618

S. Gautam and . Rajopadhye, Simplifying reductions, POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.30-41, 2006.

L. Hasan and Z. , An Overview of Hardware-Based Acceleration of Biological Sequence Alignment, Computational Biology and Applied Bioinformatics, 2011.
DOI : 10.5772/23044

D. [. Han and . Carlson, Fast area-efficient VLSI adders, 1987 IEEE 8th Symposium on Computer Arithmetic (ARITH), pp.49-55, 1987.
DOI : 10.1109/ARITH.1987.6158699

M. [. Horn, P. Houston, and . Hanrahan, ClawHMMER: A Streaming HMMer-Search Implementatio, ACM/IEEE SC 2005 Conference (SC'05), 2005.
DOI : 10.1109/SC.2005.18

D. Haussler, A. Krogh, I. S. Mian, and K. Sjolander, Protein modeling using hidden Markov models: analysis of globins, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences, pp.792-802, 1993.
DOI : 10.1109/HICSS.1993.270611

[. Hwang, J. Lee, and Y. Hsu, A Formal Approach to the Scheduling Problem in High Level Synthesis , Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.10, issue.4, pp.464-475, 1991.

C. Martin, J. Herbordt, B. Model, Y. Sukhwani, T. Gu et al., Single pass streaming BLAST on FPGAs, ¡ce:title¿High-Performance Computing Using Accel- erators¡/ce:title¿, pp.741-756, 2007.

L. Ivo and . Hofacker, Vienna RNA secondary structure server, Nucleic Acids Research, vol.31, issue.13, pp.3429-3431, 2003.

[. Henikoff, S. Pietrokovski, and J. G. Henikoff, Superior performance in protein homology detection with the Blocks Database servers, Nucleic Acids Research, vol.26, issue.1, pp.309-312, 1998.
DOI : 10.1093/nar/26.1.309

[. Hughey, Parallel Hardware for Sequence Comparison and Alignment , Computer applications in the biosciences, CABIOS, vol.12, issue.6, pp.473-479, 1996.

A. Kenneth, . A. Iverson, J. Jacob, R. D. Buhler, and . Chamberlain, Accelerating Nussinov RNA secondary structure prediction with systolic arrays on FPGAs, Application- Specific Systems, Architectures and Processors, ASAP 2008. International Conference on, pp.191-196, 1962.

T. Jaakkola and D. Haussler, Exploiting Generative Models in Discriminative Classifiers, Advances in Neural Information Processing Systems, pp.487-493, 1998.

C. Arpith, J. M. Jacob, J. D. Lancaster, R. D. Buhler, and . Chamberlain, Preliminary results in accelerating profile HMM search on FPGAs, High Performance Computational Biology, 2007.

C. Neil, P. A. Jones, and . Pevzner, An Introduction to Bioinformatics Algorithms, Computational Molecular Biology), 2004.

B. [. Kollig, Simultaneous scheduling, allocation and binding in high level synthesis, Electronics Letters, vol.33, issue.18, pp.1516-1518, 1997.
DOI : 10.1049/el:19971039

B. Knudsen and J. Hein, Pfold: RNA secondary structure prediction using stochastic context-free grammars, Nucleic Acids Research, vol.31, issue.13, pp.3423-3428, 2003.
DOI : 10.1093/nar/gkg614

T. Kim and X. Liu, Compatibility Path Based Binding Algorithm for Interconnect Reduction in High Level Synthesis, Computer-Aided Design, IEEE/ACM International Conference on, pp.435-441, 2007.

K. Kennedy and K. S. Mckinley, Maximizing loop parallelism and improving data locality via loop fusion and distribution, IN LAN- GUAGES AND COMPILERS FOR PARALLEL COMPUTING, pp.301-320, 1994.
DOI : 10.1007/3-540-57659-2_18

]. S. Kno99 and . Knowles, A Family of Adders, ARITH '99: Proceedings of the 14th IEEE Symposium on Computer Arithmetic, p.30, 1999.

J. [. Kuon and . Rose, Measuring the Gap Between FPGAs and ASICs, Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.26, issue.2, pp.203-215, 2007.

M. Peter, H. S. Kogge, and . Stone, A Parallel Algorithm for the Efficient Solution of a General Class of Recurrence Equations, IEEE Transcation on Computers, vol.22, issue.8, pp.786-793, 1973.

[. Kuchcinski, Constraints-driven scheduling and resource assignment, ACM Transactions on Design Automation of Electronic Systems, vol.8, issue.3, pp.355-383, 2003.
DOI : 10.1145/785411.785416

]. M. Lam88 and . Lam, Software pipelining, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation PLDI '88, pp.318-328, 1988.
DOI : 10.1145/989393.989420

H. Lin, P. Balaji, R. Poole, C. Sosa, X. Ma et al., Massively parallel genomic sequence search on the Blue Gene/P architecture, 2008 SC, International Conference for High Performance Computing, Networking, Storage and Analysis, pp.331-3311, 2008.
DOI : 10.1109/SC.2008.5222005

E. Richard, M. J. Ladner, and . Fischer, Parallel Prefix Computation, Journal of ACM, vol.27, issue.4, pp.831-838, 1980.

[. Lee, Y. Hsu, and Y. Lin, A New Integer Linear Programming Formulation for the Scheduling Problem in Data Path Synthesis, Computer-Aided Design, 1989. ICCAD-89, IEEE International Conference on, pp.20-23, 1989.

W. Victor, C. Lee, J. Kim, M. Chhugani, D. Deisher et al., Srinivas Chennupaty, Per Hammarlund, Ronak Singhal, and Pradeep Dubey, Debunking the 100X GPU vs. CPU myth: an evaluation of throughput computing on CPU and GPU, Proceedings of the 37th annual international symposium on Computer architecture, pp.451-460, 2010.

D. [. Lipton and . Lopresti, A systolic array for rapid string comparison, Chapel Hill Conference on VLSI, pp.363-376, 1985.

[. Landwehr, P. Marwedel, and R. Dömer, OSCAR: Optimum Simultaneous Scheduling, Allocation and Resource Binding Based on Integer Programming, Proceedings of the conference on European design automation EURO-DAC '94, pp.90-95, 1994.

J. Lu, M. Perrone, K. Albayraktaroglu, and M. Franklin, HMMer-Cell: High Performance Protein Profile Searching on the Cell, Processor, IEEE International Symposium on Performance Analysis of Systems and Software, pp.223-232, 2008.

C. Leiserson and J. Saxe, Retiming synchronous circuitry, Algorithmica, vol.9, issue.No. 1, pp.5-35, 1991.
DOI : 10.1007/BF01759032

. Lsk-+-05-]-o, E. Lehtoranta, A. Salminen, M. Kulmala, T. D. Hannikainen et al., A Parallel MPEG-4 Encoder for FPGA Based Multiprocessor SoC, Programmable Logic and Applications, 2005. International Conference on, pp.380-385, 2005.

T. Isaac, W. Li, K. Shum, and . Truong, 160-fold Acceleration of the Smith-Waterman Algorithm using a Field Programmable Gate Array (FPGA)

C. Hervé-le-verge, P. Mauras, and . Quinton, The ALPHA language and its use for the design of systolic arrays, Journal of VLSI signal processing systems for signal, image and video technology, vol.31, issue.3, pp.173-182, 1991.
DOI : 10.1007/BF00925828

[. Manjikian and T. S. Abdelrahman, Fusion of loops for parallelism and locality, IEEE Transactions on Parallel and Distributed Systems, vol.8, issue.2, pp.193-209, 1997.
DOI : 10.1109/71.577265

J. [. Musoll and . Cortadella, High-level synthesis techniques for reducing the activity of functional units, Proceedings of the 1995 international symposium on Low power design , ISLPED '95, pp.99-104, 1995.
DOI : 10.1145/224081.224099

S. [. Morvan, P. Derrien, and . Quinton, Efficient Nested Loop Pipelining in High Level Synthesis using Polyhedral Bubble Insertion, Field- Programmable Technology (FPT), 2011 International Conference on, pp.1-10, 2011.

[. Morgenstern, . Frech, T. Dress, and . Werner, DIALIGN: finding local similarities by multiple sequence alignment, Bioinformatics, vol.14, issue.3, pp.290-294, 1998.
DOI : 10.1093/bioinformatics/14.3.290

A. Morvan, A. Kumar, A. Floch, and S. Derrien, GeCoS : a source to source optimizing compiler for the automatic synthesis of parallel hardware accelerators, Poster in Designing for Embedded Parallel Computing Platforms at DATE, 2011.

J. Morrison, P. Dowd, and P. Healy, An Investigation of the Applicability of Distributed FPGAs to High-Performance Computing, Highperformance computing: paradigm and infrastructure, 2005.

]. R. Moo66 and . Moore, Interval Analysis, Englewood Cliffs N. J, 1966.

D. W. Mount, Bioinformatics: Sequence and Genome Analysis, 2004.

D. J. Magenheimer, L. Peters, K. Pettis, and D. Zuras, Integer Multiplication and Division on the HP Precision Architecture, Proceedings of the second international conference on Architectual support for programming languages and operating systems ASPLOS- II, pp.90-99, 1987.

G. [. Martin and . Smith, High-Level Synthesis: Past, Present, and Future, Design Test of Computers, IEEE, vol.26, issue.4, pp.18-25, 2009.

M. [. Matsunaga, J. Tsugawa, and . Fortes, CloudBLAST: Combining MapReduce and Virtualization on Distributed Resources for Bioinformatics Applications, eScience, 2008. eScience '08, IEEE Fourth International Conference on, pp.222-229, 2008.

[. Manavski and G. Valle, CUDA compatible GPU cards as efficient hardware accelerators for Smith-Waterman sequence alignment, BMC Bioinformatics, vol.9, issue.Suppl 2, p.10, 2008.
DOI : 10.1186/1471-2105-9-S2-S10

A. F. Neuwald, J. S. Liu, D. J. Lipman, and C. E. Lawrence, Extracting protein alignment models from the sequence database, Nucleic Acids Research, vol.25, issue.9, pp.1665-1677, 1997.
DOI : 10.1093/nar/25.9.1665

[. Nussinov, G. Pieczenik, J. R. Griggs, and D. J. Kleitman, Algorithms for Loop Matchings, SIAM Journal on Applied Mathematics, vol.35, issue.1, pp.68-82, 1978.
DOI : 10.1137/0135006

B. Saul, C. D. Needleman, and . Wunsch, A General Method Applicable to The Search for Similarities in The Amino Acid Sequence of Two Proteins, Journal of Molecular Biology, vol.48, issue.3, pp.443-453, 1970.

B. [. Oliver, Y. Schmidt, D. L. Jakop, and . Maskell, Accelerating the Viterbi Algorithm for Profile Hidden Markov Models Using Reconfigurable Hardware, International Conference on Computational Science High Performance Database Searching with HMMer on FPGAs Sixth IEEE International Workshop on High Performance Computational Biology, 2006.
DOI : 10.1007/11758501_71

J. [. Paulin and . Knight, Force-directed scheduling in automatic data path synthesis, 24th ACM/IEEE conference proceedings on Design automation conference , DAC '87, pp.195-202, 1987.
DOI : 10.1145/37888.37918

J. [. Paulin and . Knight, Force-Directed Scheduling for The Behavioral Synthesis of ASICs, Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.8, issue.6, pp.661-679, 1989.

A. Plesco, Program Transformation and Memory Architecture Optimization for High-Level Synthesis of Hardware Accelerators, 2010.

X. Qiu, J. Ekanayake, S. Beason, T. Gunarathne, G. Fox et al., Cloud technologies for bioinformatics applications, Proceedings of the 2nd Workshop on Many-Task Computing on Grids and Supercomputers, MTAGS '09, pp.1-610, 2009.
DOI : 10.1145/1646468.1646474

P. Quinton and Y. Robert, Systolic Algorithms and Architectures, 1991.

[. Rim, Y. Fann, and R. Jain, Global Scheduling with Code- Motions for High-Level Synthesis Applications, Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, vol.3, issue.3, pp.379-392, 1995.

[. Research, The GeCoS: The Generic Compiler Suite

B. [. Rabiner and . Juang, An introduction to hidden Markov models, IEEE ASSP Magazine, vol.3, issue.1, pp.4-16, 1986.
DOI : 10.1109/MASSP.1986.1165342

R. [. Rim, R. Jain, and . Leone, Optimal allocation and binding in high-level synthesis, [1992] Proceedings 29th ACM/IEEE Design Automation Conference, pp.120-123, 1992.
DOI : 10.1109/DAC.1992.227850

[. Risset and A. Plesco, Coupling Loop Transformations and High-Level Synthesis, Symposium en Architecture de machines, 2008.

[. Stephenson, J. Babb, and S. Amarasinghe, Bitwidth Analysis with Application to Silicon Compilation, Proceedings of the SIGPLAN conference on Programming Language Design and Implementation, pp.108-120, 2000.

S. Schneiderbauer, RNA Secondary Structure Prediction, Bachelor's Thesis, Cognitive Science, 2008.

V. [. Sllame and . Drabek, An efficient List-Based Scheduling Algorithm for High-level Synthesis, Digital System Design, Proceedings. Euromicro Symposium on, pp.316-323, 2002.

U. [. Sinha, . Dhawan, . Siew-kei, T. Lam, and . Srikanthan, A Novel Binding Algorithm to Reduce Critical Path Delay During High Level Synthesis, VLSI (ISVLSI), IEEE Computer Society Annual Symposium on, pp.278-283, 2011.

[. Sarkar and G. R. Gao, Optimization of array accesses by collective loop transformations, Proceedings of the 5th international conference on Supercomputing , ICS '91, pp.194-205, 1991.
DOI : 10.1145/109025.109077

C. [. Sotiriades, A. Kozanitis, and . Dollas, FPGA based Architecture for DNA Sequence Comparison and Database Search, Parallel and Distributed Processing Symposium, p.8, 2006.

]. J. Skl60 and . Sklansky, Conditional-Sum Addition Logic, IRE Transactions on Electronic Computers EC, issue.9 2, pp.226-231, 1960.

R. D. Stevens, A. J. Robinson, and C. A. Goble, myGrid: personalised bioinformatics on the information grid, Bioinformatics, vol.19, issue.Suppl 1, pp.302-304, 2003.
DOI : 10.1093/bioinformatics/btg1041

. Srv-+-07-]-lieven, S. Sterck, K. Rombauts, and . Vandepoele, Pierre Rouze´, and Yves Van de Peer, How many genes are there in plants (... and why are they there)?, Current Opinion in Plant Biology, pp.199-203, 2007.

M. [. Smith and . Waterman, Identification of common molecular subsequences, Journal of Molecular Biology, vol.147, issue.1, pp.195-197, 1981.
DOI : 10.1016/0022-2836(81)90087-5

[. Song, R. Xu, C. Wang, and Z. Li, Improving data locality by array contraction, IEEE Transactions on Computers, vol.53, issue.9, pp.1073-1084, 2004.
DOI : 10.1109/TC.2004.62

J. D. Thompson, D. G. Higgins, T. J. Gibson, and C. W. , CLUSTAL W: improving the sensitivity of progressive multiple sequence alignment through sequence weighting, position-specific gap penalties and weight matrix choice, Nucleic Acids Research, vol.22, issue.22, pp.4673-4680, 1994.
DOI : 10.1093/nar/22.22.4673

A. Tatiana, . Tatusova, L. Thomas, and . Madden, Blast 2 sequences, a new tool for comparing protein and nucleotide sequences, FEMS Microbiology Letters, vol.174, issue.2, pp.247-250, 1999.

[. Tseng and D. P. Siewiorek, Automated Synthesis of Data Paths in Digital Systems, Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.5, issue.3, pp.379-395, 1986.

N. Merkulov, H. M. Milshina, . Moore, K. Ashwinikumar, V. A. Naik et al., The Sequence of the Human Genome, Ali Zandieh, and Xiaohong Zhu, pp.1304-1351, 2001.

D. Panagiotis, N. V. Vouzis, . Sahinidis, and . Gpu-blast, Using Graphics Processors to Accelerate Protein Sequence Alignment, Bioinformatics, vol.27, issue.2, pp.182-188, 2011.

[. Wakabayashi, C-based Behavioral Synthesis and Verification Analysis on Industrial Design Examples, Proceedings of the 2004 Asia and South Pacific Design Automation Conference ASP- DAC '04, pp.344-348, 2004.

B. Wun, J. Buhler, and P. Crowley, Exploiting coarse-grained parallelism to accelerate protein motif finding with a network processor, 14th International Conference on Parallel Architectures and Compilation Techniques (PACT'05), 2005.
DOI : 10.1109/PACT.2005.21

[. Walters, V. Balu, S. Kompalli, and V. Chaudhary, Evaluating the use of GPUs in liver image segmentation and HMMER database searches, 2009 IEEE International Symposium on Parallel & Distributed Processing, pp.1-12, 2009.
DOI : 10.1109/IPDPS.2009.5161073

]. J. Wbkc09b, V. Walters, S. Balu, V. Kompalli, and . Chaudhary, Evaluating the use of GPUs in Liver Image Segmentation and HMMER Database Searches, IEEE International Symposium on Parallel and Distributed Processing, 2009.

[. Wang, W. Gong, and R. Kastner, Operation Scheduling: Algorithms and Applications, High-Level Synthesis, pp.231-255, 2008.

S. Wiley, DNA to RNA to Protein, Tutorials -Biology for the Novice, 2003.

M. Wolfe, Optimizing Supercompilers for Supercomputers, High Performance Compilers for Parallel Computing, 1990.

[. Waterman and M. Perlwitz, Line geometries for sequence comparisons, Bulletin of Mathematical Biology, vol.47, issue.4, pp.567-577, 1984.
DOI : 10.1007/BF02459504

T. [. Woods and . Vancourt, FPGA Acceleration of Quasi-Monte Carlo in Finance, Field Programmable Logic and Applications, FPL 2008. International Conference on, sept, pp.335-340, 2008.

[. Yang, T. Han, H. Kan, and G. , G-BLAST: a Grid-based solution for mpiBLAST on computational Grids, Concurrency and Computation: Practice and Experience, vol.11, issue.2, pp.225-255, 2009.
DOI : 10.1002/cpe.1346

R. C. Lee, W. Cheung, and . Luk, Reconfigurable Acceleration for Monte Carlo based Financial Simulation, Field-Programmable Technology, Proceedings. 2005 IEEE International Conference on, pp.215-222, 2005.

M. Zuker and P. Stiegler, Optimal computer folding of large RNA sequences using thermodynamics and auxiliary information, Nucleic Acids Research, vol.9, issue.1, pp.133-148, 1981.
DOI : 10.1093/nar/9.1.133

M. Zuker and D. Sankoff, RNA secondary structures and their prediction, Bulletin of Mathematical Biology, vol.9, issue.Suppl. 2, pp.591-621, 1984.
DOI : 10.1007/BF02459506

M. Zuker, Mfold web server for nucleic acid folding and hybridization prediction, Nucleic Acids Research, vol.31, issue.13, pp.3406-3415, 2003.
DOI : 10.1093/nar/gkg595

J. Zhang, Z. Zhang, S. Zhou, M. Tan, X. Liu et al., Bit-level optimization for high-level synthesis and FPGA-based acceleration, Proceedings of the 18th annual ACM/SIGDA international symposium on Field programmable gate arrays, FPGA '10, pp.59-68, 2010.
DOI : 10.1145/1723112.1723124