Formal development of a reconfigurable tool for parallel DNA matching

A. E. Abdallah; G. Simiakakis; T. Theoharis

doi:10.1109/ICECS.2000.911534

Formal development of a reconfigurable tool for parallel DNA matching

A. E. Abdallah
, G. Simiakakis
, T. Theoharis

London South Bank University
Harokopio University
National and Kapodistrian University of Athens

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Citations (Scopus)

Original language	English
Title of host publication	ICECS 2000 - 7th IEEE International Conference on Electronics, Circuits and Systems
Pages	268-272
Number of pages	5
DOIs	https://doi.org/10.1109/ICECS.2000.911534
Publication status	Published (VoR) - 2000
Event	7th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2000 - Jounieh, Lebanon Duration: 17 Dec 2000 → 20 Dec 2000

Publication series

Name	Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
Volume	1

Conference

Conference	7th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2000
Country/Territory	Lebanon
City	Jounieh
Period	17/12/00 → 20/12/00

Keywords

CSP
DNA
FPGAs
Formal methods
Handel-C
Pipeline
Reconfigurable computing
String matching

Access to Document

10.1109/ICECS.2000.911534

Cite this

Abdallah, A. E., Simiakakis, G., & Theoharis, T. (2000). Formal development of a reconfigurable tool for parallel DNA matching. In ICECS 2000 - 7th IEEE International Conference on Electronics, Circuits and Systems (pp. 268-272). Article 911534 (Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems; Vol. 1). https://doi.org/10.1109/ICECS.2000.911534

@inproceedings{fbf4c246ecc145be82ca44961b1c2c63,

title = "Formal development of a reconfigurable tool for parallel DNA matching",

keywords = "CSP, DNA, FPGAs, Formal methods, Handel-C, Pipeline, Reconfigurable computing, String matching",

author = "Abdallah, \{A. E.\} and G. Simiakakis and T. Theoharis",

year = "2000",

doi = "10.1109/ICECS.2000.911534",

language = "English",

isbn = "0780365429",

series = "Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems",

pages = "268--272",

booktitle = "ICECS 2000 - 7th IEEE International Conference on Electronics, Circuits and Systems",

note = "7th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2000 ; Conference date: 17-12-2000 Through 20-12-2000",

}

Abdallah, AE, Simiakakis, G & Theoharis, T 2000, Formal development of a reconfigurable tool for parallel DNA matching. in ICECS 2000 - 7th IEEE International Conference on Electronics, Circuits and Systems., 911534, Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems, vol. 1, pp. 268-272, 7th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2000, Jounieh, Lebanon, 17/12/00. https://doi.org/10.1109/ICECS.2000.911534

Formal development of a reconfigurable tool for parallel DNA matching. / Abdallah, A. E.; Simiakakis, G.; Theoharis, T.
ICECS 2000 - 7th IEEE International Conference on Electronics, Circuits and Systems. 2000. p. 268-272 911534 (Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems; Vol. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formal development of a reconfigurable tool for parallel DNA matching

AU - Abdallah, A. E.

AU - Simiakakis, G.

AU - Theoharis, T.

PY - 2000

Y1 - 2000

KW - CSP

KW - DNA

KW - FPGAs

KW - Formal methods

KW - Handel-C

KW - Pipeline

KW - Reconfigurable computing

KW - String matching

UR - https://www.scopus.com/pages/publications/77956019595

UR - https://www.scopus.com/pages/publications/77956019595#tab=citedBy

U2 - 10.1109/ICECS.2000.911534

DO - 10.1109/ICECS.2000.911534

M3 - Conference contribution

AN - SCOPUS:77956019595

SN - 0780365429

SN - 9780780365421

T3 - Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems

SP - 268

EP - 272

BT - ICECS 2000 - 7th IEEE International Conference on Electronics, Circuits and Systems

T2 - 7th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2000

Y2 - 17 December 2000 through 20 December 2000

ER -

Formal development of a reconfigurable tool for parallel DNA matching

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this