𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004. - Toronto, Canada (25-28 May 2004)] Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004. - Statistical verification of two non-linear real-time UAV controllers

✍ Scribed by Binns, P.; Elgersma, M.; Ganguli, S.; Ha, V.; Samad, T.

Book ID: 125485044
Publisher: IEEE
Year: 2004
Tongue: English
Weight: 487 KB
Category: Article
ISBN-13: 9780769521480
DOI: 10.1109/RTTAS.2004.1317280

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Proceedings. RTAS 2004. 10th IEEE

[IEEE Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004. - Toronto, Canada (25-28 May 2004)] Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004. - Online control for self-management in computing systems

✍ Abdelwahed, S.; Kandasamy, N.; Neema, S. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 349 KB

[IEEE The 9th IEEE Real-Time and Embedde

[IEEE The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. - Toronto, Canada (May6 27-30, 2003)] The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings. - Real-time scheduling of hierarchical reward-based tasks

✍ Ming Zu, ; Cheng, A.M.K. 📂 Article 📅 2003 🏛 IEEE ⚖ 676 KB

[IEEE The 9th IEEE Real-Time and Embedde

[IEEE The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. - Toronto, Canada (May6 27-30, 2003)] The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings. - Template-based real-time dwell scheduling with energy constraint

✍ Chi-Sheng Shih, ; Gopalakrishnan, S.; Ganti, P.; Caccamo, M.; Lui Sha, 📂 Article 📅 2003 🏛 IEEE ⚖ 390 KB

[IEEE The 9th IEEE Real-Time and Embedde

[IEEE The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. - Toronto, Canada (May6 27-30, 2003)] The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings. - Global multiprocessor scheduling of aperiodic tasks using time-independent priorities

✍ Lundberg, L.; Lennerstad, H. 📂 Article 📅 2003 🏛 IEEE ⚖ 347 KB

[IEEE The 9th IEEE Real-Time and Embedde

[IEEE The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. - Toronto, Canada (May6 27-30, 2003)] The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings. - Synchronous modeling of avionics applications using the signal language

✍ Gamatie, A.; Gautier, T. 📂 Article 📅 2003 🏛 IEEE ⚖ 325 KB

[IEEE The 9th IEEE Real-Time and Embedde

[IEEE The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. - Toronto, Canada (May6 27-30, 2003)] The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings. - Modular code generation from hybrid automata based on data dependency

✍ Jesung Kim, ; Insup Lee, 📂 Article 📅 2003 🏛 IEEE ⚖ 435 KB