G. Heiser

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Sequoll: A framework for model checking binaries

B. Blackham and others (2013) · IEEE

Dynamic voltage and frequency scaling: The laws of diminishing returns

E. Le Sueur and others (2010) · Proceedings of the 2010 international conference on Power aware computing and systems

Towards trustworthy computing systems: taking microkernels to the next level

G. Heiser and others (2007) · Association for Computing Machinery (ACM)