Modeling and prototyping dynamically reconfigurable systems for efficient computation of dynamic programming methods by rewriting-logic

Proceedings - 17th Symposium on Integrated Cicuits and Systems Design, SBCCI2004

Volumn , Issue , 2004, Pages 248-253

  Ayala Rincón, Mauricio ^a   Jacobi, Ricardo P ^a   Carvalho, Luis G A ^a   Llanos, Carlos H ^a   Hartenstein, Reiner W ^b  

^a UNIVERSITY OF BRASILIA   (Brazil)

^b Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

Author keywords

Configware; Dynamic Programming; Morphware; Reconfigurable Systolic Arrays; Rewriting logic; Term Rewriting Systems (TRS)

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER ARCHITECTURE; FAST FOURIER TRANSFORMS; FIELD PROGRAMMABLE GATE ARRAYS; FORMAL LOGIC; MATHEMATICAL MODELS; QUERY LANGUAGES; RAPID PROTOTYPING;

CONFIGWARE; MORPHWARE; RECONFIGURABLE SYSTOLIC ARRAYS; REWRITING-LOGIC; TERM REWRITING SYSTEMS (TRS);

DYNAMIC PROGRAMMING;

EID: 14244261893     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. Altera® Corporation. Quartus II User Guide. Available at http://www.altera.com. Acessed in 2004.
2. Arvind and X. Shen, Using Term Rewriting Systems to Design and Verify Processors, IEEE Micro 19(3):36-46, 1999.
3. M. Ayala-Rincón, R. M. Neto, R.P. Jacobi, C. H. Llanos and R. W. Hartenstein, Applying ELAN Strategies in Simulating Processors over Simple Architectures. Elsevier ENTCS 70(6):20 pages, 2002.
4. M. Ayala-Rincón, R. B. Nogueira, R.P. Jacobi, C. H. Llanos and R. W. Hartenstein, Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic. in Proc. SBCCI'03, pages 205-210, 2003.
5. F. Baader and T. Nipkow, Term Rewriting and all That, Cambridge University Press, 1998.
6. J. Becker and R. W. Hartenstein, Configware and morphware going mainstream, J. of Systems Architecture 49:127-142, 2003.
7. P. Borovanský, C. Kirchner, H. Kirchner and P.-E. Moreau, ELAN from a rewriting logic point of view, pgs. 155-185 of [20].
8. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer and J. F. Quesada, Maude: specification and programming in rewriting logic, pages 187-243 of [20].
9. K. Claessen, P. Bjesse, M. Sheeran and S. Singh, Lava: Hardware Design in Haskell, Proc. ICFP, pages 174-184, 1998.
10. R. Diaconescu and K. Futatsugi, Logical foundations of CafeOBJ, pages 289-318 of [20].
11. D. Gusfield, Algorithms on Strings, Trees, and Sequences: Computer Science and Computational Biology, CUP, 1997.
12. th Int. Sym. on IC Technology, Systems and Applications - ISIC'95, Singapore, 1995.
13. th Asia and South Pacific Design Automation Conf. - ASP-DAC 2000, Japan, 2000.
14. th IFIP Int. Conf. on VLSI, pages 595-619, 1999.
15. th FSTTCS, LNCS, Vol. 1346, pages 103-122, Springer-Verlag, 1997.
16. D. Kapur and M. Subramaniam. Using and Induction Prover for Verifying Arithmetic Circuits. Journal of Software Tools for Technology Transfer, 3(1):32-65, Springer Verlag, 2000.
17. H.T. Rung, C. E. Leiserson, Systolic Arrays for VLSI; Sparse Matrix Proc., Soc. for Industrial and App. Math., 256-282, 1979.
18. S. Y. Kung. VLSI Array Processors. Prentice-Hall, 1987.
19. R.J. Lipton, D. Lopresti: A systolic array for rapid string comparison. to: Chapel Hill Conference on VLSI. (1985) 363-376
20. N. Martí-Oliet and J. Meseguer, eds., Special issue on Rewriting Logic and its Applications, TCS 285(2): 119-564, 2002.
21. R. C. F. Melo, M. E. T. Walter, A. C. M. A. Melo, R. Batista, M. Nardelli, M. Martins and T. Fonseca, Comparing Two Long Biological Sequences Using a DSM System. Proc. Euro-Par 2003 - Parallel Processing, LNCS, Vol. 2790, pages 517-524, 2003.
22. J. Messeguer, Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design, Proc. First Int. Conf. on Formal Methods and Models for Co-design, IEEE CS, 2003.
23. U. Nageldinger: Coarse-grained Reconfigurable Architecture Design Space Exploration, PhD Thesis, TU Kaiserslautern, 2001
24. T. F. Smith and M.S. Waterman, Identification of Common Molecular Subsequences. J. of Mol. Biology, 147:195-197, 1981.
25. Y. Yamaguchi, T. Maruyama, A. Konagaya, High speed homology search with FPGAs. Pacific Symposium on Biocomputing (2002) 271-282.
26. C.W. Yu, K.H. Kwong, K.H. Lee and P.H.W. Leong, A Smith-Waterman Systolic Cell, FPL'03, Springer LNCS 2778:375-384, 2003.