Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Kevin
    Last name: Elphinstone
    DBLP: e/KElphinstone
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 3 of 3  
    Select a publication
    Show Title Venue Rating Date PDF
    Conference paper
    Tudor-Ioan Salomie, Gustavo Alonso, Timothy Roscoe, Kevin Elphinstone.
    Application level ballooning for efficient server consolidation.
    Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic, April 14-17, 2013 2013 (0) 2013 Download
    Conference paper
    Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser.
    Towards a practical, verified kernel
    Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA, May 2007. (0) 2007 Download
    Workshop paper
    Timothy Roscoe, Kevin Elphinstone, Gernot Heiser.
    Hype and Virtue
    Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA, May 2007. (0) 2007 Download
    Show item 1 to 3 of 3  

    Your query returned 3 matches in the database.