Title :
On Formal Description of Synchronization Requirements in Multimedia Systems
Author :
Fong, A.C.M. ; Simpson, Andrew
Author_Institution :
Nanyang Technol. Univ., Singapore
Abstract :
This paper explores how formal description techniques can be applied to some common synchronization requirements found in multimedia systems. The aim is to provide a framework for precise descriptions and understanding of some of the timing issues found in multimedia systems. Ultimately, this should lead to improvements in system performance and reliability.
Keywords :
formal specification; multimedia computing; software reliability; formal description; multimedia systems; synchronization requirements; system performance; system reliability; Clocks; Information technology; Multimedia systems; Performance analysis; Power system reliability; Software systems; Synchronization; System performance; Timing; Uncertainty; formal description; multimedia; synchronization;
Conference_Titel :
Information Technology: New Generations, 2008. ITNG 2008. Fifth International Conference on
Conference_Location :
Las Vegas, NV
Print_ISBN :
0-7695-3099-0
DOI :
10.1109/ITNG.2008.53
