𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press [1989] Proceedings. Real-Time Systems Symposium - Santa Monica, CA, USA (5-7 Dec. 1989)] [1989] Proceedings. Real-Time Systems Symposium - A framework for specification and design of software for advanced sensor systems

✍ Scribed by Muntz, A.H.; Horowitz, E.

Book ID: 126736012
Publisher: IEEE Comput. Soc. Press
Year: 1989
Weight: 926 KB
Category: Article
ISBN-13: 9780818620041
DOI: 10.1109/REAL.1989.63571

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press [1989] Proceedi

[IEEE Comput. Soc. Press [1989] Proceedings. Real-Time Systems Symposium - Santa Monica, CA, USA (5-7 Dec. 1989)] [1989] Proceedings. Real-Time Systems Symposium - Events: a structuring mechanism for a real-time runtime system

✍ Donner, M.; Jameson, D.; Moran, W. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 699 KB

[IEEE Comput. Soc. Press [1989] Proceedi

[IEEE Comput. Soc. Press [1989] Proceedings. Real-Time Systems Symposium - Santa Monica, CA, USA (5-7 Dec. 1989)] [1989] Proceedings. Real-Time Systems Symposium - Formal analysis of real-time equational rule-based systems

✍ Mok, A.K. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 974 KB

[IEEE Comput. Soc. Press [1989] Proceedi

[IEEE Comput. Soc. Press [1989] Proceedings. Real-Time Systems Symposium - Santa Monica, CA, USA (5-7 Dec. 1989)] [1989] Proceedings. Real-Time Systems Symposium - Nearly Poisson transfer traffic in real-time networks

✍ Craig, D.W.; Woodside, C.M. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 520 KB

[IEEE Comput. Soc. Press [1989] Proceedi

[IEEE Comput. Soc. Press [1989] Proceedings. Real-Time Systems Symposium - Santa Monica, CA, USA (5-7 Dec. 1989)] [1989] Proceedings. Real-Time Systems Symposium - Performance analysis of FCFS and improved FCFS scheduling algorithms for dynamic real-time computer systems

✍ Zhao, W.; Stankovic, J.A. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 800 KB

[IEEE Comput. Soc Real-Time Systems Symp

[IEEE Comput. Soc Real-Time Systems Symposium - San Francisco, CA, USA (2-5 Dec. 1997)] Proceedings Real-Time Systems Symposium - A constraint-based approach for specification and verification of real-time systems

✍ Gupta, G.; Pontelli, E. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 1007 KB

[IEEE Comput. Soc Real-Time Systems Symp

[IEEE Comput. Soc Real-Time Systems Symposium - San Francisco, CA, USA (2-5 Dec. 1997)] Proceedings Real-Time Systems Symposium - On-the-fly symbolic model checking for real-time systems

✍ Bouajjani, A.; Tripakis, S.; Yovine, S. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 969 KB