𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the sixteenth international conference - Newport Beach, California, USA (2011.03.05-2011.03.11)] Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems - ASPLOS '11 - Improved device driver reliability through hardware verification reuse

✍ Scribed by Ryzhyk, Leonid; Keys, John; Mirla, Balachandra; Raghunath, Arun; Vij, Mona; Heiser, Gernot

Book ID: 120660060
Publisher: ACM Press
Year: 2011
Weight: 497 KB
Category: Article
ISBN: 1450302661
DOI: 10.1145/1950365.1950383

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 19th international confer

[ACM Press the 19th international conference - Salt Lake City, Utah, USA (2014.03.01-2014.03.05)] Proceedings of the 19th international conference on Architectural support for programming languages and operating systems - ASPLOS '14 - Sapper

✍ Li, Xun; Kashyap, Vineeth; Oberg, Jason K.; Tiwari, Mohit; Rajarathinam, Vasanth 📂 Article 📅 2014 🏛 ACM Press ⚖ 561 KB

[ACM Press the 19th international confer

[ACM Press the 19th international conference - Salt Lake City, Utah, USA (2014.03.01-2014.03.05)] Proceedings of the 19th international conference on Architectural support for programming languages and operating systems - ASPLOS '14 - KVM/ARM

✍ Dall, Christoffer; Nieh, Jason 📂 Article 📅 2014 🏛 ACM Press ⚖ 563 KB

[ACM Press the 19th international confer

[ACM Press the 19th international conference - Salt Lake City, Utah, USA (2014.03.01-2014.03.05)] Proceedings of the 19th international conference on Architectural support for programming languages and operating systems - ASPLOS '14 - Virtual ghost

✍ Criswell, John; Dautenhahn, Nathan; Adve, Vikram 📂 Article 📅 2014 🏛 ACM Press ⚖ 621 KB

[ACM Press the 19th international confer

[ACM Press the 19th international conference - Salt Lake City, Utah, USA (2014.03.01-2014.03.05)] Proceedings of the 19th international conference on Architectural support for programming languages and operating systems - ASPLOS '14 - SI-TM

✍ Litz, Heiner; Cheriton, David; Firoozshahian, Amin; Azizi, Omid; Stevenson, John 📂 Article 📅 2014 🏛 ACM Press ⚖ 568 KB

[ACM Press the 19th international confer

[ACM Press the 19th international conference - Salt Lake City, Utah, USA (2014.03.01-2014.03.05)] Proceedings of the 19th international conference on Architectural support for programming languages and operating systems - ASPLOS '14 - I/o paravirtualization at the device file boundary

✍ Amiri Sani, Ardalan; Boos, Kevin; Qin, Shaopu; Zhong, Lin 📂 Article 📅 2014 🏛 ACM Press ⚖ 544 KB

[ACM Press the 12th international confer

[ACM Press the 12th international conference - San Jose, California, USA (2006.10.21-2006.10.25)] Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII - Computation spreading

✍ Chakraborty, Koushik; Wells, Philip M.; Sohi, Gurindar S. 📂 Article 📅 2006 🏛 ACM Press 🌐 English ⚖ 227 KB