Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Fernando L. Pelayo Articles by Fernando Cuartero Articles by Valent? Valero Articles by Hermenegilda Macia Articles by Maria L. Pelayo

10th International Multimedia Modelling Conference

Brisbane, Australia

January 05-January 07

ISBN: 0-7695-2084-7

	ASCII Text	x
	Fernando L. Pelayo, Fernando Cuartero, Valent? Valero, Hermenegilda Macia, Maria L. Pelayo, "Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm," Multi-Media Modeling Conference, International, pp. 49, 10th International Multimedia Modelling Conference, 2004.

	BibTex	x
	@article{ 10.1109/MULMM.2004.1264966, author = {Fernando L. Pelayo and Fernando Cuartero and Valent? Valero and Hermenegilda Macia and Maria L. Pelayo}, title = {Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm}, journal ={Multi-Media Modeling Conference, International}, volume = {0}, year = {2004}, isbn = {0-7695-2084-7}, pages = {49}, doi = {http://doi.ieeecomputersociety.org/10.1109/MULMM.2004.1264966}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Multi-Media Modeling Conference, International TI - Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm SN - 0-7695-2084-7 SP EP A1 - Fernando L. Pelayo, A1 - Fernando Cuartero, A1 - Valent? Valero, A1 - Hermenegilda Macia, A1 - Maria L. Pelayo, PY - 2004 KW - Formal Methods KW - Timed-Arc Petri Net KW - Performance Evaluation KW - MPEG-2 Video Encoder VL - 0 JA - Multi-Media Modeling Conference, International ER -

Fernando L. Pelayo, University of Castilla-La Mancha

Fernando Cuartero, University of Castilla-La Mancha

Valent? Valero, University of Castilla-La Mancha

Hermenegilda Macia, University of Castilla-La Mancha

Maria L. Pelayo, University of Castilla-La Mancha

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MULMM.2004.1264966

We use a timed extension of Petri nets, the so called Timed-Arc Petri Nets, for the specification and analysis of the MPEG-2 Video Encoder. We have computed bounds for the necessary time to encode each type of frame, also we present an improvement on the encoding process which takes advantage of the potential parallelism degree of the MPEG-2 video encoding algorithm, so reaching a 90% of reduction on the time requirements, with respect to the original MPEG-2 encoder.

Index Terms:

Formal Methods, Timed-Arc Petri Net, Performance Evaluation, MPEG-2 Video Encoder

Citation:

Fernando L. Pelayo, Fernando Cuartero, Valent? Valero, Hermenegilda Macia, Maria L. Pelayo, "Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm," mmm, pp.49, 10th International Multimedia Modelling Conference, 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.