Biblio

Export 11 results:
Filters: Author is Gernot Heiser  [Clear All Filters]
2013
Budzynowski A, Heiser G.  2013.  The von Neumann Architecture Is Due for Retirement. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
2011
Le Sueur E, Heiser G.  2011.  Slow Down or Sleep, That Is the Question. 2011 USENIX Annual Technical Conference (USENIX ATC 11).
Heiser G, Ryzhyk L, von Tessin M, Budzynowski A.  2011.  What If You Could Actually Trust Your Kernel? 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
2010
Carroll A, Heiser G.  2010.  An Analysis of Power Consumption in a Smartphone. 2010 USENIX Annual Technical Conference (USENIX ATC 10).
Ryzhyk L, NICTA, Wales Uof New Sou, Keys J, Mirla B, Raghunath A, Vij M, Heiser G.  2010.  Improved Device Driver Reliability Through Verification Reuse. Sixth Workshop on Hot Topics in System Dependability (HotDep 10).
2009
Chapman M, Heiser G.  2009.  vNUMA: A Virtual Shared-Memory Multiprocessor. 2009 USENIX Annual Technical Conference (USENIX ATC 09).
2007
Roscoe T, Elphinstone K, Heiser G.  2007.  Hype and Virtue. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
Baumann A, Appavoo J, Wisniewski RW, Da Silva D, Krieger O, Heiser G.  2007.  Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly. 2007 USENIX Annual Technical Conference (USENIX ATC 07).
Elphinstone K, Klein G, Derrin P, Heiser G.  2007.  Towards a Practical, Verified Kernel. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
2005
Chapman M, Heiser G.  2005.  Implementing Transparent Shared Memory on Clusters Using Virtual Machines. 2005 USENIX Annual Technical Conference (USENIX ATC 05).
1999
Deller L, Heiser G.  1999.  Linking Programs in a Single Address Space. 1999 USENIX Annual Technical Conference (USENIX ATC 99).