Author of the publication

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

, , , , and . MMM, page 49-56. IEEE Computer Society, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Computational analysis of Canny & Binary Fuzzy Rough Set model based on Triangle Modulus Edge Detectors., and . ICCI*CC, page 305-312. IEEE Computer Society, (2012)A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems., , and . IESS, volume 184 of IFIP, page 125-136. Springer, (2005)Quantum invariants for the graph isomorphism problem., , , , , , and . CoRR, (2022)Enhancing the expressivity of PADL for specifying Web Services Architectures., , , , and . TAMoCo, volume 169 of Frontiers in Artificial Intelligence and Applications, page 99-110. IOS Press, (2008)Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets., , , and . FMICS, volume 66 of Electronic Notes in Theoretical Computer Science, page 120-131. Elsevier, (2002)Specifying the memorization process with STOPA., , and . IEEE ICCI, page 238-247. IEEE Computer Society, (2005)A New Synchronization in Finite Stochastic Petri Box Calculus., , , and . ACSD, page 216-225. IEEE Computer Society, (2003)GPU Powered ROSA Analyzer., , and . ICPP, page 901-908. IEEE Computer Society, (2013)Towards a More Efficient Use of GPUs., and . ICCSA Workshops, page 3-9. IEEE Computer Society, (2011)A Denotational Model for Probabilistic and Nondeterministic Processes., , , and . ICDCS Workshop on Distributed System Validation and Verification, page E41-E48. (2000)