Search the collection

Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 1
ebooks
L4 user manual [electronic resource] / Alan Au, Gernot Heiser.
Author / Creator:Au, Alan.
Publisher:[Sydney] : University of New South Wales, School of Computer Science and Engineering, 1998.
Date:1998.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 2
ebooks
Towards unstrusted device drivers [electronic resource] / Ben Leslie and Gernot Heiser.
Author / Creator:Leslie, Ben.
Publisher:[Sydney] : University of New South Wales, School of Computer Science and Engineering , 2003.
Date:2003.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 3
ebooks
A component architecture for system extensibility [electronic resource] / Antony Edwards and Gernot Heiser.
Author / Creator:Edwards, Antony.
Publisher:[Sydney] : University of New South Wales, School of Computer Science and Engineering , 2001.
Date:2001.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 4
ebooks
Itanium page tables and TLB [electronic resource] / Matthew Chapman, Ian Wienand and Gernot Heiser.
Author / Creator:Chapman, Matthew.
Publisher:Sydney : University of New South Wales, School of Computer Science and Engineering , 2003.
Date:2003.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 5
ebooks
Checkpointing and recovery for distributed shared memory applications [electronic resource] / Jinson Ouyang and Gernot Heiser.
Author / Creator:Ouyang, Jinson.
Publisher:[Sydney] : University of New South Wales, School of Computer Science and Engineering, 1995.
Date:1995.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 6
ebooks
Maintaining end-system performance under network overload [electronic resource] / Luke Macpherson and Gernot Heiser.
Author / Creator:Macpherson, Luke.
Publisher:Sydney : University of New South Wales, School of Computer Science and Engineering , 2004.
Date:2004.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 7
ebooks
The Mungi kernel API, release 1.0 [electronic resource] / Gernot Heiser [et al.].
Publisher:[Sydney] : University of New South Wales, School of Computer Science and Engineering, 1997.
Date:1997.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 8
ebooks
Issues in implementing virtual memory [electronic resource] / Kevin Elphinstone, Stephen Russell and Gernot Heiser.
Author / Creator:Elphinstone, Kevin.
Publisher:[Sydney] : University of New South Wales, School of Computer Science and Engineering, 1994.
Date:1994.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 9
ebooks
Implementation and performance of the Mungi single-address-space operating system [electronic resource] / Gernot Heiser [et al.].
Publisher:[Sydney] : University of New South Wales, School of Computer Science and Engineering, 1997.
Date:1997.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 10
ebooks
Simulation of large-area silicon solar cells [electronic resource] / Gernot Heiser, Pietro P. Altermatt.
Author / Creator:Heiser, Gernot.
Publisher:[Sydney] : University of New South Wales, School of Computer Science and Engineering, 1995.
Date:1995.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 11
ebooks
L4 reference manual --- Alpha 21x64 [electronic resource] / Daniel Potts, Simon Winwood and Gernot Heiser.
Author / Creator:Potts, Daniel.
Publisher:[Sydney] : University of New South Wales, School of Computer Science and Engineering , 2001.
Date:2001.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 12
ebooks
Page tables for 64-bit computer systems [electronic resource] / Kevin Elphinstone, Gernot Heiser, Jochen Liedtke.
Author / Creator:Elphinstone, Kevin.
Publisher:[Sydney] : University of New South Wales, School of Computer Science and Engineering, 1998.
Date:1998.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 13
ebooks
Design and implementation of the L4 microkernel for alpha multiprocessors [electronic resource] / Daniel Potts, Simon Winwood, Gernot Heiser.
Author / Creator:Potts, Daniel.
Publisher:[Sydney] : University of New South Wales, School of Computer Science and Engineering , 2002.
Date:2002.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 14
ebooks
Resource management in the Mungi single-address-space operating system [electronic resource] / Gernot Heiser, Fondy Lam, Stephen Russell.
Author / Creator:Heiser, Gernot.
Publisher:[Sydney] : University of New South Wales, School of Computer Science and Engineering, 1997.
Date:1997.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 15
ebooks
Fast address-space switching on the StrongARM SA-1100 processor [electronic resource] / Adam Wiggins and Gernot Heiser.
Author / Creator:Wiggins, Adam.
Publisher:[Sydney] : University of New South Wales, School of Computer Science and Engineering , 1999.
Date:1999.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 16
ebooks
L4 reference manual [electronic resource] : MIPS R4x00, Version 1.0, Kernel Version 70 / Kevin Elphinstone, Gernot Heiser, Jochen Liedtke.
Author / Creator:Elphinstone, Kevin.
Publisher:[Sydney] : University of New South Wales, School of Computer Science and Engineering, 1997.
Date:1997.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 17
ebooks
A platform for portable and embedded systems research [electronic resource] / Daniel Potts, Simon Winwood and Gernot Heiser.
Author / Creator:Wiggins, Adam.
Publisher:[Sydney] : University of New South Wales, School of Computer Science and Engineering , 2001.
Date:2001.
View online
Freely accesible: Publisher site.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 18
ArticlesPeer ReviewedFull Text
L4 Microkernels: The Lessons from 20 Years of Research and Deployment
Author / Creator:Heiser, Gernot ; Elphinstone, Kevin
Publisher:New York: Association for Computing Machinery
Journal title:ACM transactions on computer systems, 2016-04, Vol.34 (1), p.1-29
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 19
ArticlesPeer ReviewedFull Text
User-Level Device Drivers: Achieved Performance
Author / Creator:Leslie, Ben ; Chubb, Peter ; Fitzroy-Dale, Nicholas ; Götz, Stefan ; Gray, Charles ; Macpherson, Luke ; Potts, Daniel ; Shen, Yue-Ting ; Elphinstone, Kevin ; Heiser, Gernot
Publisher:Beijing: Springer Nature B.V
Journal title:Journal of computer science and technology, 2005-09, Vol.20 (5), p.654-664
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 20
ArticlesPeer ReviewedFull Text
Comprehensive Formal Verification of an OS Microkernel
Author / Creator:KLEIN, Gerwin ; ANDRONICK, June ; ELPHINSTONE, Kevin ; MURRAY, Toby ; SEWELL, Thomas ; KOLANSKI, Rafal ; HEISER, Gernot
Publisher:New York, NY: Association for Computing Machinery
Journal title:ACM transactions on computer systems, 2014-02, Vol.32 (1), p.1-70
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.

Showing 1 to 20 of 38 results

Export record to excel

Export this record

Export record to excel

L4 user manual [electronic resource] / Alan Au, Gernot Heiser.

Export this record

Export record to excel

Towards unstrusted device drivers [electronic resource] / Ben Leslie and Gernot Heiser.

Export this record

Export record to excel

A component architecture for system extensibility [electronic resource] / Antony Edwards and Gernot Heiser.

Export this record

Export record to excel

Itanium page tables and TLB [electronic resource] / Matthew Chapman, Ian Wienand and Gernot Heiser.

Export this record

Export record to excel

Checkpointing and recovery for distributed shared memory applications [electronic resource] / Jinson Ouyang and Gernot Heiser.

Export this record

Export record to excel

Maintaining end-system performance under network overload [electronic resource] / Luke Macpherson and Gernot Heiser.

Export this record

Export record to excel

The Mungi kernel API, release 1.0 [electronic resource] / Gernot Heiser [et al.].

Export this record

Export record to excel

Issues in implementing virtual memory [electronic resource] / Kevin Elphinstone, Stephen Russell and Gernot Heiser.

Export this record

Export record to excel

Implementation and performance of the Mungi single-address-space operating system [electronic resource] / Gernot Heiser [et al.].

Export this record

Export record to excel

Simulation of large-area silicon solar cells [electronic resource] / Gernot Heiser, Pietro P. Altermatt.

Export this record

Export record to excel

L4 reference manual --- Alpha 21x64 [electronic resource] / Daniel Potts, Simon Winwood and Gernot Heiser.

Export this record

Export record to excel

Page tables for 64-bit computer systems [electronic resource] / Kevin Elphinstone, Gernot Heiser, Jochen Liedtke.

Export this record

Export record to excel

Design and implementation of the L4 microkernel for alpha multiprocessors [electronic resource] / Daniel Potts, Simon Winwood, Gernot Heiser.

Export this record

Export record to excel

Resource management in the Mungi single-address-space operating system [electronic resource] / Gernot Heiser, Fondy Lam, Stephen Russell.

Export this record

Export record to excel

Fast address-space switching on the StrongARM SA-1100 processor [electronic resource] / Adam Wiggins and Gernot Heiser.

Export this record

Export record to excel

L4 reference manual [electronic resource] : MIPS R4x00, Version 1.0, Kernel Version 70 / Kevin Elphinstone, Gernot Heiser, Jochen Liedtke.

Export this record

Export record to excel

A platform for portable and embedded systems research [electronic resource] / Daniel Potts, Simon Winwood and Gernot Heiser.

Export this record

Export record to excel

L4 Microkernels: The Lessons from 20 Years of Research and Deployment

Export this record

Export record to excel

User-Level Device Drivers: Achieved Performance

Export this record

Export record to excel

Comprehensive Formal Verification of an OS Microkernel

Refine your search