Systolic Arrays for the Recognition of P-invariant Segments

Joost-Pieter Katoen, Berry Schoenmakers

    Research output: Contribution to journalArticleAcademicpeer-review

    44 Downloads (Pure)

    Abstract

    Let P be a permutation defined on sequences of length N. A sequence of N values is said to be P-invariant when it does not change when permuted according to P. A program is said to recognize P-invariant segments when it determines for each segment of N successive input values whether it is P-invariant.

    In this paper we derive a program scheme that generates efficient parallel programs for the recognition of P-invariant segments. The programs consist of a chain of cells extended with a linear number of links between non-neighbouring cells. Under reasonable conditions on P, these programs correspond to systolic arrays with both constant response time and constant latency (independent of N). Efficient systolic arrays for problems such as palindrome recognition or perfect shuffle recognition can be constructed automatically in this way. This is illustrated for the palindrome recognition problem.
    Original languageEnglish
    Pages (from-to)119-137
    Number of pages19
    JournalScience of computer programming
    Volume27
    Issue number2
    DOIs
    Publication statusPublished - 1996

    Keywords

    • Calculational program design
    • Permutation-invariant segments
    • Palindrome recognition
    • Square recognition
    • Perfect shuffle
    • FMT-CBD: CORRECTNESS BY DESIGN
    • Systolic arrays

    Fingerprint Dive into the research topics of 'Systolic Arrays for the Recognition of P-invariant Segments'. Together they form a unique fingerprint.

    Cite this