Formal development of a reconfigurable tool for parallel DNA matching

Abdallah, A. E. and Simiakakis, G. and Theoharis, T. (2000) Formal development of a reconfigurable tool for parallel DNA matching. In: Electronics, Circuits and Systems, 2000. ICECS 2000. The 7th IEEE International Conference. IEEE Conference Publications, pp. 268-272. ISBN 0-7803-6542-9

Full text not available from this repository. (Request a copy)

Abstract

DNA matching is a computationally demanding task. The Human Genome Project is producing huge quantities of data, which have to be analyzed. A formal description of the task of searching a DNA sequence is given and an efficient parallel algorithm is derived using formal methods. The algorithm is implemented on an FPGA using Handel-C, a language that enables the compilation of high-level algorithms directly into gate level synchronous hardware, thus reducing the development time. The designed algorithm makes no assumptions about DNA transformations, and is therefore a very powerful tool. It can be used in conjunction with an expert system to automatically detect patterns of interest in the DNA.

Item Type: Book Section
Uncontrolled Keywords: FPGA, reconfigurable tool, Human Genome Project, parallel DNA matching, formal methods, Handel-C, high-level algorithms, gate level synchronous hardware, development time, DNA transformations, expert system
Subjects: G400 Computer Science
Divisions: Faculty of Computing, Engineering and the Built Environment
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security
UoA Collections > UoA11: Computer Science and Informatics
Depositing User: Oana-Andreea Dumitrascu
Date Deposited: 07 Apr 2017 10:33
Last Modified: 07 Apr 2017 10:33
URI: http://www.open-access.bcu.ac.uk/id/eprint/4225

Actions (login required)

View Item View Item

Research

In this section...