loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
23rd EUROMICRO Conference '97 New Frontiers of Information Technology
Synchronization mechanisms for multimedia streams and their specification in timed LOTOS
Budapest, HUNGARY
September 01-September 04
ISBN: 0-8186-8129-2
ASCII Text
x 
 
Z. Splawski, "Synchronization mechanisms for multimedia streams and their specification in timed LOTOS," EUROMICRO Conference, pp. 456, 23rd EUROMICRO Conference '97 New Frontiers of Information Technology, 1997.
 
 
BibTex
x
 
@article{ 10.1109/EURMIC.1997.617351,
author = {Z. Splawski},
title = {Synchronization mechanisms for multimedia streams and their specification in timed LOTOS},
journal ={EUROMICRO Conference},
volume = {0},
year = {1997},
issn = {1089-6503},
pages = {456},
doi = {http://doi.ieeecomputersociety.org/10.1109/EURMIC.1997.617351},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - EUROMICRO Conference
TI - Synchronization mechanisms for multimedia streams and their specification in timed LOTOS
SN - 1089-6503
SP
EP
A1 - Z. Splawski,
PY - 1997
KW - multimedia computing; synchronization mechanisms; multimedia streams; Timed LOTOS specification; temporal event ordering; formal specifications; synchronization constraints; distributed multimedia applications; TE-LOTOS; intra stream synchronization; dynamic inter stream synchronization strategies; Time Stream Petri Nets; multimedia synchronization scenarios; synchronization requirements
VL - 0
JA - EUROMICRO Conference
ER -
 
Z. Splawski, Dept. of Comput. Sci., Tech. Univ. Wroclaw, Poland
Synchronization involves temporal ordering of events. There are many approaches to formal specifications of synchronization constraints for distributed multimedia applications and TE-LOTOS is one of these. It is shown how intra stream synchronization and dynamic inter stream synchronization strategies singled out for Time Stream Petri Nets, as well as their generalization, can be expressed uniformly in timed LOTOS, and how they can be combined in a structured way to specify multimedia synchronization scenarios. Proposed generalization allows for greater flexibility in specifying synchronization requirements.
Index Terms:
multimedia computing; synchronization mechanisms; multimedia streams; Timed LOTOS specification; temporal event ordering; formal specifications; synchronization constraints; distributed multimedia applications; TE-LOTOS; intra stream synchronization; dynamic inter stream synchronization strategies; Time Stream Petri Nets; multimedia synchronization scenarios; synchronization requirements
Citation:
Z. Splawski, "Synchronization mechanisms for multimedia streams and their specification in timed LOTOS," euromicro, pp.456, 23rd EUROMICRO Conference '97 New Frontiers of Information Technology, 1997
Usage of this product signifies your acceptance of the Terms of Use.