Title :
Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA´99 (Cat. No.PR00306)
Abstract :
The following topics were dealt with: real time computing systems; databases; scheduling; software; communications; formal methods; and multimedia and architecture
Keywords :
database management systems; formal specification; formal verification; multimedia computing; processor scheduling; real-time systems; architecture; communications; databases; formal methods; multimedia; real time computing systems; scheduling; software;
Conference_Titel :
Real-Time Computing Systems and Applications, 1999. RTCSA '99. Sixth International Conference on
Conference_Location :
Hong Kong, China
Print_ISBN :
0-7695-0306-3
DOI :
10.1109/RTCSA.1999.811185