𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 24th IEEE International Real-Time Systems Symposium - Cancun, Mexico (3-5 Dec. 2003)] Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748) - Generating formal models for real-time verification by exact low-level runtime analysis of synchronous programs

✍ Scribed by Logothetis, G.; Schneider, K.; Metzler, C.

Book ID: 126728402
Publisher: IEEE Comput. Soc
Year: 2003
Weight: 304 KB
Category: Article
ISBN-13: 9780769520445
DOI: 10.1109/REAL.2003.1253272

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 24th IEEE Internationa

[IEEE Comput. Soc 24th IEEE International Real-Time Systems Symposium - Cancun, Mexico (3-5 Dec. 2003)] Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748) - FAST: frequency-aware static timing analysis

✍ Seth, K.; Anantaraman, A.; Mueller, F.; Rotenberg, E. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 432 KB

[IEEE Comput. Soc 24th IEEE Internationa

[IEEE Comput. Soc 24th IEEE International Real-Time Systems Symposium - Cancun, Mexico (3-5 Dec. 2003)] Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748) - Network-on-chip modeling for system-level multiprocessor simulation

✍ Madsen, J.; Mahadevan, S.; Virk, K.; Gonzalez, M. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 460 KB

[IEEE Comput. Soc 24th IEEE Internationa

[IEEE Comput. Soc 24th IEEE International Real-Time Systems Symposium - Cancun, Mexico (3-5 Dec. 2003)] Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748) - Evolving real-time systems using hierarchical scheduling and concurrency analysis

✍ Regehr, J.; Reid, A.; Webb, K.; Parker, M.; Lepreau, J. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 358 KB

[IEEE Comput. Soc 24th IEEE Internationa

[IEEE Comput. Soc 24th IEEE International Real-Time Systems Symposium - Cancun, Mexico (3-5 Dec. 2003)] Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748) - DOpE - a window server for real-time and embedded systems

✍ Feske, N.; Hartig, H. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 402 KB

[IEEE Comput. Soc 24th IEEE Internationa

[IEEE Comput. Soc 24th IEEE International Real-Time Systems Symposium - Cancun, Mexico (3-5 Dec. 2003)] Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748) - Multiprocessor EDF and deadline monotonic schedulability analysis

✍ Baker, T.P. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 481 KB

[IEEE Comput. Soc 24th IEEE Internationa

[IEEE Comput. Soc 24th IEEE International Real-Time Systems Symposium - Cancun, Mexico (3-5 Dec. 2003)] Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748) - Experimental evaluation of code properties for WCET analysis

✍ Colin, A.; Petters, S.M. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 347 KB