𝔖 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) - A formal model of a run-time kernel for Ravenscar

✍ Scribed by Lundqvist, K.; Asplund, L.

Book ID: 126725611
Publisher: IEEE Comput. Soc
Year: 1999
Weight: 373 KB
Category: Article
ISBN-13: 9780769503066
DOI: 10.1109/RTCSA.1999.811307

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) - 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 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) - Verification of concurrent client-server real-time scheduling systems

✍ Pao-Ann Hsiung, ; Farn Wang, ; Yue-Sun Kuo, 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 740 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) - Development of a host DBMS for testing switching system software

✍ Byung Sun Lee, ; Seung-Sun Lee, ; Mikyong Han, ; Wan Choi, ; Kyung Pyo Jun, 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 370 KB