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
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. ,
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
Basic Local Alignment Search Tool, Journal of Molecular Biology, vol.215, issue.3, pp.403-410, 1990. ,
A Firmware Digital Neural Network for Climate Prediction Applications, Intelligent Control, Proceedings of the 2001 IEEE International Symposium on, pp.127-131, 2001. ,
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
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
A Regular Layout for Parallel Adders, IEEE Transactions on Computers, vol.31, issue.3, pp.31-260, 1982. ,
DOI : 10.1109/TC.1982.1675982
A flexible motif search technique based on generalized profiles, Computers &, Chemistry, vol.20, issue.1, pp.3-23, 1996. ,
Prefix Sums and Their Applications, 1990. ,
Glocal alignment: finding rearrangements during alignment, Eleventh International Conference on Intelligent Systems for Molecular Biology, 2003. ,
DOI : 10.1093/bioinformatics/btg1005
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
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
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. ,
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
Basic-Algorithms-of, Bioinformatics Applet ,
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. ,
An Introduction to High-Level Synthesis, Design Test of Computers, IEEE, vol.26, issue.4, pp.8-17, 2009. ,
On the Complexity of Loop Fusion, Parallel Computing, vol.26, pp.149-157, 1999. ,
New Results on Array Contraction, Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures, and Processors ASAP '02, p.359, 2002. ,
Parallelizing HMMER for hardware acceleration on FPGAs, 18th IEEE International Conference on Application-specific Systems, Architectures and Processors, 2007. ,
Hardware Acceleration of HMMER on FPGAs, Journal of Signal Processing Systems, pp.53-67, 2010. ,
Interfacing compiled FPGA programs: the MMAlpha approach, International Workshop on Engineering of Reconfigurable Hardware/Software Objects, 2000. ,
High-Level Synthesis of Loops Using the Polyhedral Model, High-Level Synthesis, pp.215-230, 2008. ,
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
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
Profile hidden Markov models, Bioinformatics, vol.14, issue.9, pp.755-763, 1998. ,
DOI : 10.1093/bioinformatics/14.9.755
Accelerated Profile HMM Searches, PLoS Computational Biology, vol.21, issue.10, 2011. ,
DOI : 10.1371/journal.pcbi.1002195.g006
Accelerated profile HMM searches (preprint), 2011. ,
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. ,
PHYLIP: phylogenetic inference package, version 3.5c, 1993. ,
High-Level Synthesis Blue Book, Xlibris Corporation, 2010. ,
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
Algorithm Transformations for Unlimited Parallelism, Circuits and Systems, IEEE International Symposium on, pp.1756-1759, 1990. ,
High-level Synthesis: Introduction to Chip and System Design, 1992. ,
Central Dogma of Life ,
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
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
SPARK:: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits, 2004. ,
Hardware accelerator for biological sequence comparison, Computer Application in the Biosciences, vol.13, issue.6, pp.609-615, 1997. ,
The Vienna RNA Websuite, Nucleic Acids Research, vol.36, issue.Web Server, pp.70-74, 2008. ,
DOI : 10.1093/nar/gkn188
Collective Loop Fusion for Array Contraction, Languages and Compilers for Parallel Computing, pp.281-295, 1992. ,
Automatic Extraction of Functional Parallelism from Ordinary Programs, Parallel and Distributed Systems, IEEE Transactions on, vol.3, issue.2, pp.166-178, 1992. ,
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
Simplifying reductions, POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.30-41, 2006. ,
An Overview of Hardware-Based Acceleration of Biological Sequence Alignment, Computational Biology and Applied Bioinformatics, 2011. ,
DOI : 10.5772/23044
Fast area-efficient VLSI adders, 1987 IEEE 8th Symposium on Computer Arithmetic (ARITH), pp.49-55, 1987. ,
DOI : 10.1109/ARITH.1987.6158699
ClawHMMER: A Streaming HMMer-Search Implementatio, ACM/IEEE SC 2005 Conference (SC'05), 2005. ,
DOI : 10.1109/SC.2005.18
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
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. ,
Single pass streaming BLAST on FPGAs, ¡ce:title¿High-Performance Computing Using Accel- erators¡/ce:title¿, pp.741-756, 2007. ,
Vienna RNA secondary structure server, Nucleic Acids Research, vol.31, issue.13, pp.3429-3431, 2003. ,
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
Parallel Hardware for Sequence Comparison and Alignment , Computer applications in the biosciences, CABIOS, vol.12, issue.6, pp.473-479, 1996. ,
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. ,
Exploiting Generative Models in Discriminative Classifiers, Advances in Neural Information Processing Systems, pp.487-493, 1998. ,
Preliminary results in accelerating profile HMM search on FPGAs, High Performance Computational Biology, 2007. ,
An Introduction to Bioinformatics Algorithms, Computational Molecular Biology), 2004. ,
Simultaneous scheduling, allocation and binding in high level synthesis, Electronics Letters, vol.33, issue.18, pp.1516-1518, 1997. ,
DOI : 10.1049/el:19971039
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
Compatibility Path Based Binding Algorithm for Interconnect Reduction in High Level Synthesis, Computer-Aided Design, IEEE/ACM International Conference on, pp.435-441, 2007. ,
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
A Family of Adders, ARITH '99: Proceedings of the 14th IEEE Symposium on Computer Arithmetic, p.30, 1999. ,
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. ,
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. ,
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
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
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
Parallel Prefix Computation, Journal of ACM, vol.27, issue.4, pp.831-838, 1980. ,
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. ,
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. ,
A systolic array for rapid string comparison, Chapel Hill Conference on VLSI, pp.363-376, 1985. ,
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. ,
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. ,
Retiming synchronous circuitry, Algorithmica, vol.9, issue.No. 1, pp.5-35, 1991. ,
DOI : 10.1007/BF01759032
A Parallel MPEG-4 Encoder for FPGA Based Multiprocessor SoC, Programmable Logic and Applications, 2005. International Conference on, pp.380-385, 2005. ,
160-fold Acceleration of the Smith-Waterman Algorithm using a Field Programmable Gate Array (FPGA) ,
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
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
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
Efficient Nested Loop Pipelining in High Level Synthesis using Polyhedral Bubble Insertion, Field- Programmable Technology (FPT), 2011 International Conference on, pp.1-10, 2011. ,
DIALIGN: finding local similarities by multiple sequence alignment, Bioinformatics, vol.14, issue.3, pp.290-294, 1998. ,
DOI : 10.1093/bioinformatics/14.3.290
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. ,
An Investigation of the Applicability of Distributed FPGAs to High-Performance Computing, Highperformance computing: paradigm and infrastructure, 2005. ,
Interval Analysis, Englewood Cliffs N. J, 1966. ,
Bioinformatics: Sequence and Genome Analysis, 2004. ,
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. ,
High-Level Synthesis: Past, Present, and Future, Design Test of Computers, IEEE, vol.26, issue.4, pp.18-25, 2009. ,
CloudBLAST: Combining MapReduce and Virtualization on Distributed Resources for Bioinformatics Applications, eScience, 2008. eScience '08, IEEE Fourth International Conference on, pp.222-229, 2008. ,
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
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
Algorithms for Loop Matchings, SIAM Journal on Applied Mathematics, vol.35, issue.1, pp.68-82, 1978. ,
DOI : 10.1137/0135006
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. ,
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
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
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. ,
Program Transformation and Memory Architecture Optimization for High-Level Synthesis of Hardware Accelerators, 2010. ,
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
Systolic Algorithms and Architectures, 1991. ,
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. ,
The GeCoS: The Generic Compiler Suite ,
An introduction to hidden Markov models, IEEE ASSP Magazine, vol.3, issue.1, pp.4-16, 1986. ,
DOI : 10.1109/MASSP.1986.1165342
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
Coupling Loop Transformations and High-Level Synthesis, Symposium en Architecture de machines, 2008. ,
Bitwidth Analysis with Application to Silicon Compilation, Proceedings of the SIGPLAN conference on Programming Language Design and Implementation, pp.108-120, 2000. ,
RNA Secondary Structure Prediction, Bachelor's Thesis, Cognitive Science, 2008. ,
An efficient List-Based Scheduling Algorithm for High-level Synthesis, Digital System Design, Proceedings. Euromicro Symposium on, pp.316-323, 2002. ,
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. ,
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
FPGA based Architecture for DNA Sequence Comparison and Database Search, Parallel and Distributed Processing Symposium, p.8, 2006. ,
Conditional-Sum Addition Logic, IRE Transactions on Electronic Computers EC, issue.9 2, pp.226-231, 1960. ,
myGrid: personalised bioinformatics on the information grid, Bioinformatics, vol.19, issue.Suppl 1, pp.302-304, 2003. ,
DOI : 10.1093/bioinformatics/btg1041
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. ,
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
Improving data locality by array contraction, IEEE Transactions on Computers, vol.53, issue.9, pp.1073-1084, 2004. ,
DOI : 10.1109/TC.2004.62
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
Blast 2 sequences, a new tool for comparing protein and nucleotide sequences, FEMS Microbiology Letters, vol.174, issue.2, pp.247-250, 1999. ,
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. ,
The Sequence of the Human Genome, Ali Zandieh, and Xiaohong Zhu, pp.1304-1351, 2001. ,
Using Graphics Processors to Accelerate Protein Sequence Alignment, Bioinformatics, vol.27, issue.2, pp.182-188, 2011. ,
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. ,
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
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
Evaluating the use of GPUs in Liver Image Segmentation and HMMER Database Searches, IEEE International Symposium on Parallel and Distributed Processing, 2009. ,
Operation Scheduling: Algorithms and Applications, High-Level Synthesis, pp.231-255, 2008. ,
DNA to RNA to Protein, Tutorials -Biology for the Novice, 2003. ,
Optimizing Supercompilers for Supercomputers, High Performance Compilers for Parallel Computing, 1990. ,
Line geometries for sequence comparisons, Bulletin of Mathematical Biology, vol.47, issue.4, pp.567-577, 1984. ,
DOI : 10.1007/BF02459504
FPGA Acceleration of Quasi-Monte Carlo in Finance, Field Programmable Logic and Applications, FPL 2008. International Conference on, sept, pp.335-340, 2008. ,
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
Reconfigurable Acceleration for Monte Carlo based Financial Simulation, Field-Programmable Technology, Proceedings. 2005 IEEE International Conference on, pp.215-222, 2005. ,
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
RNA secondary structures and their prediction, Bulletin of Mathematical Biology, vol.9, issue.Suppl. 2, pp.591-621, 1984. ,
DOI : 10.1007/BF02459506
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
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