𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 - Hong Kong, China (13-15 Dec. 1999)] Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306) - Verification of concurrent client-server real-time scheduling systems

✍ Scribed by Pao-Ann Hsiung, ; Farn Wang, ; Yue-Sun Kuo,

Book ID: 126746745
Publisher: IEEE Comput. Soc
Year: 1999
Weight: 740 KB
Category: Article
ISBN-13: 9780769503066
DOI: 10.1109/RTCSA.1999.811234

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc Sixth International Co

[IEEE Comput. Soc Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 - Hong Kong, China (13-15 Dec. 1999)] Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306) - Scheduling a steel plant with timed automata

✍ Fehnker, A. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 622 KB

[IEEE Comput. Soc Sixth International Co

[IEEE Comput. Soc Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 - Hong Kong, China (13-15 Dec. 1999)] Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306) - A C language extension for programming real-time applications

✍ Palopoli, L.; Buttazzo, G.; Ancilotti, P. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 777 KB

[IEEE Comput. Soc Sixth International Co

[IEEE Comput. Soc Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 - Hong Kong, China (13-15 Dec. 1999)] Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306) - Scheduling fixed-priority tasks with preemption threshold

✍ Yun Wang, ; Saksena, M. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 738 KB

[IEEE Comput. Soc Sixth International Co

[IEEE Comput. Soc Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 - Hong Kong, China (13-15 Dec. 1999)] Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306) - Bandwidth reservation for real-time traffic in wireless mobile environment

✍ Byung Kyu Choi, ; Bettati, R. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 371 KB

[IEEE Comput. Soc Sixth International Co

[IEEE Comput. Soc Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 - Hong Kong, China (13-15 Dec. 1999)] Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306) - A Matlab toolbox for real-time and control systems co-design

✍ Eker, J.; Cervin, A. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 648 KB

[IEEE Comput. Soc Sixth International Co

[IEEE Comput. Soc Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 - Hong Kong, China (13-15 Dec. 1999)] Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306) - A formal model of a run-time kernel for Ravenscar

✍ Lundqvist, K.; Asplund, L. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 373 KB