MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Kevin Elphinstone" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

61 documents found, showing 1 through 10. Next 10 →

ATOM

Address Space Management Issues in the Mungi Operating System
by Kevin Elphinstone — 1993
… Kevin Elphinstone SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES Abstract…
Cited by 5 (2 self) – Add To MetaCart

Future Directions in the Evolution of the L4 Microkernel
by Kevin Elphinstone — 2004 — Proceedings of the NICTA workshop on OS verification 2004, Technical Report 0401005T-1
…Future Directions in the Evolution of the L4 Microkernel Kevin Elphinstone National ICT Australia…
Cited by 2 (0 self) – Add To MetaCart

Guarded Page Tables on the MIPS R4600
by Jochen Liedtke, Kevin Elphinstone — 1995
….liedtke@(email omitted); Kevin Elphinstone School of Computer Science and Engineering The University of New South Wales Sydney…
Cited by 6 (1 self) – Add To MetaCart

Guarded Page Tables on Mips R4600 Or An Exercise in Architecture-Dependent Micro Optimization
by Jochen Liedtke, Kevin Elphinstone — 1996 — ACM Operating Systems Review
… Jochen Liedtke IBM T. J. Watson Research Center jochen@(email omitted); Kevin Elphinstone School…
Cited by 3 (1 self) – Add To MetaCart

User-level Management of Kernel Memory
by Andreas Haeberlen, Kevin Elphinstone — 2003
…User-level Management of Kernel Memory Andreas Haeberlen 1 and Kevin Elphinstone 2 1 University…
Cited by 10 (4 self) – Add To MetaCart

Initial Evaluation of a User-Level Device Driver Framework
by Kevin Elphinstone, Stefan Götz — 2004 — IN 9TH ASIA-PACIFIC COMPUTER SYSTEMS ARCHITECTURE CONFERENCE
…Initial Evaluation of a User-Level Device Driver Framework Kevin Elphinstone 1 and Stefan Götz 2 1…
Cited by 2 (1 self) – Add To MetaCart

Formalising a High-Performance Microkernel
by Kevin Elphinstone Gerwin, Kevin Elphinstone, Gerwin Klein, Rafal Kolanski — 2006 — Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 06), Microsoft Research Technical Report MSR-TR2006-117
…Abstract Formalising a High-Performance Microkernel Kevin Elphinstone Gerwin Klein Rafal Kolanski…
Add To MetaCart

Abstract Kernel Development for High Assurance
by Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe
…Abstract Kernel Development for High Assurance Kevin Elphinstone ∗ Gerwin Klein ∗ Philip Derrin…
Add To MetaCart

Page Tables for 64-Bit Computer Systems
by Kevin Elphinstone, Gernot Heiser, Jochen Liedtke — 1999 — in Australasian Computer Architecture Conference
…Page Tables for 64-Bit Computer Systems Kevin Elphinstone ? , Gernot Heiser School of Computer…
Cited by 1 (0 self) – Add To MetaCart

L4 Reference Manual MIPS R4x00 Version 1.0
by Kevin Elphinstone, Gernot Heiser, Jochen Liedtke — 1997
…L4 Reference Manual MIPS R4x00 Version 1.0 Kernel Version 70 Kevin Elphinstone, Gernot Heiser…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB