The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Gernot Heiser" ( http://dblp.L3S.de/Authors/Gernot_Heiser )

URL (Homepage):  http://www.cse.unsw.edu.au/~gernot/  Author page on DBLP  Author page in RDF  Community of Gernot Heiser in ASPL-2

Publication years (Num. hits)
1986-2003 (15) 2005-2007 (17) 2008-2011 (25) 2012-2013 (16) 2014-2016 (21) 2017-2019 (17)
Publication types (Num. hits)
article(34) inproceedings(72) phdthesis(1) proceedings(4)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 39 occurrences of 29 keywords

Results
Found 112 publication records. Showing 111 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Gernot Heiser, Gerwin Klein, Toby C. Murray Can We Prove Time Protection? Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Gernot Heiser, Gerwin Klein, Toby C. Murray Can We Prove Time Protection? Search on Bibsonomy HotOS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser Time Protection: The Missing OS Abstraction. Search on Bibsonomy EuroSys The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gerwin Klein, June Andronick, Matthew Fernandez, Ihor Kuz, Toby C. Murray, Gernot Heiser Formally verified software in the real world. Search on Bibsonomy Commun. ACM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xiaobo Sharon Hu, Rolf Ernst, Petru Eles, Gernot Heiser, Kurt Keutzer, Daehyun Kim, Tetsuya Tohdo Roundtable: Machine Learning for Embedded Systems: Hype or Lasting Impact? Search on Bibsonomy IEEE Design & Test The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gernot Heiser For Safety's Sake: We Need a New Hardware-Software Contract! Search on Bibsonomy IEEE Design & Test The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser Time Protection: the Missing OS Abstraction. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Erik van der Kouwe, Dennis Andriesse, Herbert Bos, Cristiano Giuffrida, Gernot Heiser Benchmarking Crimes: An Emerging Threat in Systems Security. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Darren D. Cofer, Andrew Gacek, John Backes, Michael W. Whalen, Lee Pike, Adam Foltzer, Michal Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser, Douglas Stuart A Formal Approach to Constructing Secure Air Vehicle Software. Search on Bibsonomy IEEE Computer The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Qian Ge, Yuval Yarom, David Cock, Gernot Heiser A survey of microarchitectural timing attacks and countermeasures on contemporary hardware. Search on Bibsonomy J. Cryptographic Engineering The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon Biggs, Damon Lee, Gernot Heiser The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security. Search on Bibsonomy APSys The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Qian Ge, Yuval Yarom, Gernot Heiser No Security Without Time Protection: We Need a New Hardware-Software Contract. Search on Bibsonomy APSys The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anna Lyons, Kent McLeod, Hesham Almatary, Gernot Heiser Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time. Search on Bibsonomy EuroSys The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gernot Heiser Technical Perspective: Proving file systems meet expectations. Search on Bibsonomy Commun. ACM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Sewell, Felix Kam, Gernot Heiser High-assurance timing analysis for a high-assurance real-time operating system. Search on Bibsonomy Real-Time Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kevin Elphinstone, Amirreza Zarrabi, Kent McLeod, Gernot Heiser A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4. Search on Bibsonomy APSys The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser The Cogent Case for Property-Based Testing. Search on Bibsonomy PLOS@SOSP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gernot Heiser, Kenji Kono, KyoungSoo Park, Robbert van Renesse Report on the Asia-Pacific Systems Workshop 2015 (APSys'15). Search on Bibsonomy Operating Systems Review The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paolo Montuschi, Edward J. McCluskey, Samarjit Chakraborty, Jason Cong, Ramón M. Rodríguez-Dagnino, Fred Douglis, Lieven Eeckhout, Gernot Heiser, Sushil Jajodia, Ruby B. Lee, Dinesh Manocha, Tomás F. Pena, Isabelle Puaut, Hanan Samet, Donatella Sciuto State of the Journal. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Qian Ge, Yuval Yarom, David Cock, Gernot Heiser A Survey of Microarchitectural Timing Attacks and Countermeasures on Contemporary Hardware. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2016 DBLP  BibTeX  RDF
1Qian Ge, Yuval Yarom, Gernot Heiser Do Hardware Cache Flushing Operations Actually Meet Our Expectations? Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Kevin Elphinstone, Amirreza Zarrabi, Adrian Danis, Yanyan Shen, Gernot Heiser An Evaluation of Coarse-Grained Locking for Multicore Microkernels. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Anna Lyons, Gernot Heiser It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Gernot Heiser, Kevin Elphinstone L4 Microkernels: The Lessons from 20 Years of Research and Deployment. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fangfei Liu, Qian Ge, Yuval Yarom, Frank McKeen, Carlos V. Rozas, Gernot Heiser, Ruby B. Lee CATalyst: Defeating last-level cache side channel attacks in cloud computing. Search on Bibsonomy HPCA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Sewell, Felix Kam, Gernot Heiser Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis. Search on Bibsonomy RTAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby C. Murray, Gerwin Klein, Gernot Heiser CoGENT: Verifying High-Assurance File System Implementations. Search on Bibsonomy ASPLOS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yuval Yarom, Qian Ge, Fangfei Liu, Ruby B. Lee, Gernot Heiser Mapping the Intel Last-Level Cache. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2015 DBLP  BibTeX  RDF
1Sean Peters, Adrian Danis, Kevin Elphinstone, Gernot Heiser For a Microkernel, a Big Lock Is Fine. Search on Bibsonomy APSys The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fangfei Liu, Yuval Yarom, Qian Ge, Gernot Heiser, Ruby B. Lee Last-Level Cache Side-Channel Attacks are Practical. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dalit Naor, Gernot Heiser, Idit Keidar (eds.) Proceedings of the 8th ACM International Systems and Storage Conference, SYSTOR 2015, Haifa, Israel, May 26-28, 2015 Search on Bibsonomy SYSTOR The full citation details ... 2015 DBLP  BibTeX  RDF
1Aaron Carroll, Gernot Heiser Mobile multicores: use them or waste them. Search on Bibsonomy Operating Systems Review The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser File systems deserve verification too! Search on Bibsonomy Operating Systems Review The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hyungsoo Jung, Hyuck Han, Alan Fekete, Gernot Heiser, Heon Young Yeom A Scalable Lock Manager for Multicores. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gerwin Klein, June Andronick, Kevin Elphinstone, Toby C. Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser Comprehensive formal verification of an OS microkernel. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Cock, Qian Ge, Toby C. Murray, Gernot Heiser The Last Mile: An Empirical Study of Timing Channels on seL4. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aaron Carroll, Gernot Heiser Unifying DVFS and offlining in mobile multicores. Search on Bibsonomy RTAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bernard Blackham, Mark H. Liffiton, Gernot Heiser Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets. Search on Bibsonomy RTAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aleksander Budzynowski, Gernot Heiser The von Neumann Architecture Is Due for Retirement. Search on Bibsonomy HotOS The full citation details ... 2013 DBLP  BibTeX  RDF
1Hyungsoo Jung, Hyuck Han, Alan David Fekete, Gernot Heiser, Heon Young Yeom A scalable lock manager for multicores. Search on Bibsonomy SIGMOD Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aaron Carroll, Gernot Heiser The systems hacker's guide to the galaxy energy usage in a modern smartphone. Search on Bibsonomy APSys The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bernard Blackham, Gernot Heiser Sequoll: A framework for model checking binaries. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso RapiLog: reducing system complexity through verification. Search on Bibsonomy EuroSys The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kevin Elphinstone, Gernot Heiser From L3 to seL4 what have we learnt in 20 years of L4 microkernels? Search on Bibsonomy SOSP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser File systems deserve verification too! Search on Bibsonomy PLOS@SOSP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aaron Carroll, Gernot Heiser Mobile multicores: use them or waste them. Search on Bibsonomy HotPower@SOSP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Steve Muir, Gernot Heiser, Steve Blackburn (eds.) ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (co-located with ASPLOS 2013), VEE '13, Houston, TX, USA, March 16-17, 2013 Search on Bibsonomy VEE The full citation details ... 2013 DBLP  BibTeX  RDF
1Yao Shi, Bernard Blackham, Gernot Heiser Code optimizations using formally verified properties. Search on Bibsonomy OOPSLA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gernot Heiser, Toby C. Murray, Gerwin Klein It's Time for Trustworthy Systems. Search on Bibsonomy IEEE Security & Privacy The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stefan M. Petters, Kevin Elphinstone, Gernot Heiser Trustworthy Real-Time Systems. Search on Bibsonomy Advances in Real-Time Systems The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gernot Heiser, Wilson C. Hsieh (eds.) 2012 USENIX Annual Technical Conference, Boston, MA, USA, June 13-15, 2012 Search on Bibsonomy USENIX Annual Technical Conference The full citation details ... 2012 DBLP  BibTeX  RDF
1Bernard Blackham, Vernon Tang, Gernot Heiser To preempt or not to preempt, that is the question. Search on Bibsonomy APSys The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bernard Blackham, Gernot Heiser Correct, fast, maintainable: choose any three! Search on Bibsonomy APSys The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bernard Blackham, Yao Shi, Gernot Heiser Improving interrupt response time in a verifiable protected microkernel. Search on Bibsonomy EuroSys The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser Architecture optimisation with currawong. Search on Bibsonomy Computer Communication Review The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski What If You Could Actually Trust Your Kernel? Search on Bibsonomy HotOS The full citation details ... 2011 DBLP  BibTeX  RDF
1Etienne Le Sueur, Gernot Heiser Slow Down or Sleep, That Is the Question. Search on Bibsonomy USENIX Annual Technical Conference The full citation details ... 2011 DBLP  BibTeX  RDF
1Bernard Blackham, Yao Shi, Sudipta Chattopadhyay 0001, Abhik Roychoudhury, Gernot Heiser Timing Analysis of a Protected Operating System Kernel. Search on Bibsonomy RTSS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Prashant Varanasi, Gernot Heiser Hardware-supported virtualization on ARM. Search on Bibsonomy APSys The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu Static analysis of device drivers: we can do better! Search on Bibsonomy APSys The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bernard Blackham, Yao Shi, Gernot Heiser Protected hard real-time: the next frontier. Search on Bibsonomy APSys The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christoph M. Kirsch, Gernot Heiser (eds.) European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, Salzburg, Austria, April 10-13, 2011 Search on Bibsonomy EuroSys The full citation details ... 2011 DBLP  BibTeX  RDF
1Gernot Heiser Virtualizing embedded systems: why bother? Search on Bibsonomy DAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gernot Heiser Low-overhead virtualization of mobile platforms. Search on Bibsonomy CASES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser Improved device driver reliability through hardware verification reuse. Search on Bibsonomy ASPLOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood seL4: formal verification of an operating-system kernel. Search on Bibsonomy Commun. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk The road to trustworthy systems. Search on Bibsonomy STC@CCS The full citation details ... 2010 DBLP  BibTeX  RDF
1Aaron Carroll, Gernot Heiser An Analysis of Power Consumption in a Smartphone. Search on Bibsonomy USENIX Annual Technical Conference The full citation details ... 2010 DBLP  BibTeX  RDF
1Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser Improved Device Driver Reliability Through Verification Reuse. Search on Bibsonomy HotDep The full citation details ... 2010 DBLP  BibTeX  RDF
1Gernot Heiser, Ben Leslie The OKL4 microvisor: convergence point of microkernels and hypervisors. Search on Bibsonomy ApSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF real-time systems, embedded systems, virtual machines, hypervisors, microkernels
1Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser Architecture optimisation with Currawong. Search on Bibsonomy ApSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF optimization, prolog, optimisation, android, binary rewriting
1Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser The case for active device drivers. Search on Bibsonomy ApSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF stack ripping, concurrency, device drivers
1Matthew Chapman, Gernot Heiser vNUMA: A Virtual Shared-Memory Multiprocessor. Search on Bibsonomy USENIX Annual Technical Conference The full citation details ... 2009 DBLP  BibTeX  RDF
1David C. Snowdon, Etienne Le Sueur, Stefan M. Petters, Gernot Heiser Koala: a platform for OS-level power management. Search on Bibsonomy EuroSys The full citation details ... 2009 DBLP  DOI  BibTeX  RDF modelling, operating systems, efficiency, power management, power, energy, dynamic voltage scaling
1Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser Dingo: taming device drivers. Search on Bibsonomy EuroSys The full citation details ... 2009 DBLP  DOI  BibTeX  RDF reliability, domain-specific languages, concurrent programming, device drivers, fault avoidance
1Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser Automatic device driver synthesis with termite. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF domain-specific languages, device drivers, software synthesis, two-player games
1Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood seL4: formal verification of an OS kernel. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF l4, sel4, microkernel, isabelle/hol
1Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie, Gernot Heiser Pre-virtualization: Soft layering for virtual machines. Search on Bibsonomy ACSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gernot Heiser Operating System Verification for Real Use. Search on Bibsonomy VERIFY The full citation details ... 2008 DBLP  BibTeX  RDF
1Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters Towards trustworthy computing systems: taking microkernels to the next level. Search on Bibsonomy Operating Systems Review The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ihor Kuz, Yan Liu 0001, Ian Gorton, Gernot Heiser CAmkES: A component model for secure microkernel-based embedded systems. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gernot Heiser Your System Is Secure? Prove It! Search on Bibsonomy ;login: The full citation details ... 2007 DBLP  BibTeX  RDF
1Stefan M. Petters, Patryk Zadarnowski, Gernot Heiser Measurements or Static Analysis or Both?. Search on Bibsonomy WCET The full citation details ... 2007 DBLP  BibTeX  RDF
1Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser Towards a Practical, Verified Kernel. Search on Bibsonomy HotOS The full citation details ... 2007 DBLP  BibTeX  RDF
1Timothy Roscoe, Kevin Elphinstone, Gernot Heiser Hype and Virtue. Search on Bibsonomy HotOS The full citation details ... 2007 DBLP  BibTeX  RDF
1Andrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, Dilma Da Silva, Orran Krieger, Gernot Heiser Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly. Search on Bibsonomy USENIX Annual Technical Conference The full citation details ... 2007 DBLP  BibTeX  RDF
1Leonid Ryzhyk, Ihor Kuz, Gernot Heiser Formalising device driver interfaces. Search on Bibsonomy PLOS@SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David C. Snowdon, Stefan M. Petters, Gernot Heiser Accurate on-line prediction of processor and memoryenergy usage under voltage scaling. Search on Bibsonomy EMSOFT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF PMC, power, energy, DVS, DVFS, performance counter
1Gernot Heiser, Volkmar Uhlig, Joshua LeVasseur Are virtual-machine monitors microkernels done right? Search on Bibsonomy Operating Systems Review The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gernot Heiser Panel: Is University Systems Teaching and Research Relevant to Industry?. Search on Bibsonomy USENIX Annual Technical Conference, General Track The full citation details ... 2006 DBLP  BibTeX  RDF
1Ben Leslie, Peter Chubb, Nicholas Fitzroy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yue-Ting Shen, Kevin Elphinstone, Gernot Heiser User-Level Device Drivers: Achieved Performance. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF performance, reliability, operating systems, device drivers
1Gernot Heiser Secure Embedded Systems Need Microkernels. Search on Bibsonomy ;login: The full citation details ... 2005 DBLP  BibTeX  RDF
1Harvey Tuch, Gerwin Klein, Gernot Heiser OS Verification - Now! Search on Bibsonomy HotOS The full citation details ... 2005 DBLP  BibTeX  RDF
1Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Jeremy Kerr Providing Dynamic Update in an Operating System. Search on Bibsonomy USENIX Annual Technical Conference, General Track The full citation details ... 2005 DBLP  BibTeX  RDF
1Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger, Gernot Heiser Itanium - A System Implementor's Tale(Awarded General Track Best Student Paper Award!). Search on Bibsonomy USENIX Annual Technical Conference, General Track The full citation details ... 2005 DBLP  BibTeX  RDF
1Matthew Chapman, Gernot Heiser Implementing Transparent Shared Memory on Clusters Using Virtual Machines. Search on Bibsonomy USENIX Annual Technical Conference, General Track The full citation details ... 2005 DBLP  BibTeX  RDF
1Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser Legba: Fast Hardware Support for Fine-Grained Protection. Search on Bibsonomy Asia-Pacific Computer Systems Architecture Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Adam Wiggins, Harvey Tuch, Volkmar Uhlig, Gernot Heiser Implementation of Fast Address-Space Switching and TLB Sharing on the StrongARM Processor. Search on Bibsonomy Asia-Pacific Computer Systems Architecture Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Cristan Szmajda, Gernot Heiser Variable Radix Page Table: A Page Table for Modern Architectures. Search on Bibsonomy Asia-Pacific Computer Systems Architecture Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Shane G. Stephens, Gernot Heiser Fault tolerance and avoidance in biomedical systems. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 111 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license