loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Katerina Ksystra ; Petros Stefaneas ; Iakovos Ouranos and Panayiotis Frangos

Affiliation: National Technical University of Athens, Greece

Keyword(s): MPEG-2 encoding algorithm, Parallel algorithm, CafeOBJ, Observational Transition System.

Related Ontology Subjects/Areas/Topics: Architecture and Protocols ; MPEG Standards and Related Issues ; Multimedia ; Multimedia and Communications ; Multimedia Security and Cryptography ; Telecommunications

Abstract: MPEG-2 is a wide used group of standards, established by the Moving Picture Experts Group (MPEG), for the digital compression of broadcast-quality full-motion video. Due to its high acceptance, it is very important to ensure that it behaves in a correct manner. To avoid vulnerability problems the MPEG-2 encoding algorithm has been already formally specified and verified for its correctness. In this paper, we propose the use of the OTS/CafeOBJ Method in order to prove that two MPEG-2 encoding algorithms for the same input produce the same output. Our approach is based on a simplified parallel version of the MPEG-2 encoder. Also, we have proved a mutual exclusion property for this parallel algorithm.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.141.31.209

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Ksystra, K.; Stefaneas, P.; Ouranos, I. and Frangos, P. (2010). A PARALLEL VERSION OF THE MPEG-2 ENCODING ALGORITHM FORMALLY ANALYZED USING ALGEBRAIC SPECIFICATIONS. In Proceedings of the International Conference on Signal Processing and Multimedia Applications (ICETE 2010) - SIGMAP; ISBN 978-989-8425-19-5, SciTePress, pages 35-38. DOI: 10.5220/0002944600350038

@conference{sigmap10,
author={Katerina Ksystra. and Petros Stefaneas. and Iakovos Ouranos. and Panayiotis Frangos.},
title={A PARALLEL VERSION OF THE MPEG-2 ENCODING ALGORITHM FORMALLY ANALYZED USING ALGEBRAIC SPECIFICATIONS},
booktitle={Proceedings of the International Conference on Signal Processing and Multimedia Applications (ICETE 2010) - SIGMAP},
year={2010},
pages={35-38},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002944600350038},
isbn={978-989-8425-19-5},
}

TY - CONF

JO - Proceedings of the International Conference on Signal Processing and Multimedia Applications (ICETE 2010) - SIGMAP
TI - A PARALLEL VERSION OF THE MPEG-2 ENCODING ALGORITHM FORMALLY ANALYZED USING ALGEBRAIC SPECIFICATIONS
SN - 978-989-8425-19-5
AU - Ksystra, K.
AU - Stefaneas, P.
AU - Ouranos, I.
AU - Frangos, P.
PY - 2010
SP - 35
EP - 38
DO - 10.5220/0002944600350038
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic