American Journal of Computer Science and Technology

Volume 1, Issue 2, June 2018

  • A New Powerful Scheme Based on Self Invertible Stabilizer Multiplier Permutation to Find the Minimum Distance for large BCH Codes

    Issam Abderrahman Joundan, Said Nouh, Abdelwahed Namir

    Issue: Volume 1, Issue 2, June 2018
    Pages: 39-43
    Received: 7 January 2018
    Accepted: 17 January 2018
    Published: 21 February 2018
    Downloads:
    Views:
    Abstract: In this paper, we present the powerful scheme ZSISMP (Zimmermann Self Invertible Stabilizer Multiplier Permutation) to attack the hardness of the minimum distance search problem of BCH codes. This scheme consists in evaluating the minimum distance of the reduced dimension sub code fixed by a Self Invertible Stabilizer Multiplier Permutation by Zimm... Show More
  • The Examination of Shall Be Impossible Situations for Verification During Execution

    Rimantas Seinauskas

    Issue: Volume 1, Issue 2, June 2018
    Pages: 44-54
    Received: 18 February 2018
    Accepted: 5 March 2018
    Published: 23 March 2018
    Downloads:
    Views:
    Abstract: Runtime verification is looking for violations of the properties of the system functioning. Finding and describing the system properties that indicate behavioural disorders is a complex and labour-intensive process that needs to be automated. This article describes how system properties can be determined automatically during the correct functioning... Show More