DocumentCode
3290331
Title
On Formal Description of Synchronization Requirements in Multimedia Systems
Author
Fong, A.C.M. ; Simpson, Andrew
Author_Institution
Nanyang Technol. Univ., Singapore
fYear
2008
fDate
7-9 April 2008
Firstpage
1255
Lastpage
1256
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology: New Generations, 2008. ITNG 2008. Fifth International Conference on
Conference_Location
Las Vegas, NV
Print_ISBN
0-7695-3099-0
Type
conf
DOI
10.1109/ITNG.2008.53
Filename
4492682
Link To Document