𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) - Cape Cod, MA, USA (5-6 May 1997)] Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) - Formal methods: a practical tool for OS implementors

✍ Scribed by Tullmann, P.; Turner, J.; McCorquodale, J.; Lepreau, J.; Chitturi, A.; Back, G.

Book ID: 126763671
Publisher: IEEE Comput. Soc. Press
Year: 1997
Weight: 606 KB
Category: Article
ISBN-13: 9780818678349
DOI: 10.1109/HOTOS.1997.595176

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press Proceedings. Th

[IEEE Comput. Soc. Press Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) - Cape Cod, MA, USA (5-6 May 1997)] Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) - Self-monitoring and self-adapting operating systems

✍ Seltzer, M.; Small, C. 📂 Article 📅 1997 🏛 IEEE Comput. Soc. Press ⚖ 642 KB

[IEEE Comput. Soc. Press Proceedings. Th

[IEEE Comput. Soc. Press Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) - Cape Cod, MA, USA (5-6 May 1997)] Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) - The Flux OS Toolkit: reusable components for OS implementation

✍ Ford, B.; Van Maren, K.; Lepreau, J.; Clawson, S.; Robinson, B.; Turner, J. 📂 Article 📅 1997 🏛 IEEE Comput. Soc. Press ⚖ 666 KB

[IEEE Comput. Soc. Press Proceedings. Th

[IEEE Comput. Soc. Press Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) - Cape Cod, MA, USA (5-6 May 1997)] Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) - The failure of personalities to generalize

✍ Fleisch, B.D. 📂 Article 📅 1997 🏛 IEEE Comput. Soc. Press ⚖ 605 KB

[IEEE Comput. Soc. Press Proceedings. Th

[IEEE Comput. Soc. Press Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) - Cape Cod, MA, USA (5-6 May 1997)] Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) - What synchronous groupware needs: notification services

✍ Day, M. 📂 Article 📅 1997 🏛 IEEE Comput. Soc. Press ⚖ 414 KB

[IEEE Comput. Soc. Press Proceedings. Th

[IEEE Comput. Soc. Press Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) - Cape Cod, MA, USA (5-6 May 1997)] Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) - General purpose proxies: solved and unsolved problems

✍ Zenel, B.; Duchamp, D. 📂 Article 📅 1997 🏛 IEEE Comput. Soc. Press ⚖ 489 KB

[IEEE Comput. Soc. Press Proceedings. Th

[IEEE Comput. Soc. Press Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) - Cape Cod, MA, USA (5-6 May 1997)] Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) - The role of trace modulation in building mobile computing systems

✍ Satyanarayanan, M.; Noble, B. 📂 Article 📅 1997 🏛 IEEE Comput. Soc. Press ⚖ 449 KB