L4 (microkernel) (Catalan Wikipedia)

Analysis of information sources in references of the Wikipedia article "L4 (microkernel)" in Catalan language version.

refsWebsite

Global rank Catalan rank

3web.archive.org

1^st place

1^st place

4,584^th place

1,828^th place

low place

low place

5,990^th place

low place

2^nd place

6^th place

low place

low place

1,475^th place

598^th place

low place

low place

doi.org

dx.doi.org

Leslie, Ben; Chubb, Peter; FitzRoy-Dale, Nicholas; Götz, Stefan, Gray, Charles; Macpherson, Luke, Potts, Daniel; Shen, Yueting, Elphinstone, Kevin, Heiser, Gernot «User-level device drivers: achieved performance». Journal of Computer Science and Technology, 5, September 2005, pàg. 654-664. DOI: 10.1007/s11390-005-0654-4.

gnu.org

«hurd-l4».

nicta.com.au

ertos.nicta.com.au

van Schaik, Carl; Heiser, Gernot. «High-performance micronuclis and virtualisation on ARM and segmented architectures» p. 11-21. Sydney, Austràlia: NICTA, gener 2007. Arxivat de l'original el 2007-04-26. [Consulta: 1r abril 2007].

ogi.edu

cse.ogi.edu

«www.cse.ogi.edu». Arxivat de l'original el 2006-11-08. [Consulta: 18 març 2013].

uka.de

i30ira.uka.de

Jochen Liedtke. «Proc. 15th ACM symposium on Operating Systems Principles (SOSP)» p. 237-250, 1995. Arxivat de l'original el 2009-03-18. [Consulta: 18 març 2013].

unsw.edu.au

cse.unsw.edu.au

Tuch, Harvey; Klein, Gerwin; Norrish, Michael. «Types, bytes, and separation logic» p. 97-108, 2007.
Derrin, Philip; Elphinstone, Kevin, Klein, Gerwin, Cock, David Chakravarty, Manuel M. T. «Running the manual: an approach to high-assurance microkernel development» p. 60-71, 2006.

usenix.org

Gray, Charles; Chapman, Matthew, Chubb, Peter; Mosberger-Tang, David; Heiser, Gernot. «Itanium-a system implementor s tale» p. 264-278, 2005.

web.archive.org

Jochen Liedtke. «Proc. 15th ACM symposium on Operating Systems Principles (SOSP)» p. 237-250, 1995. Arxivat de l'original el 2009-03-18. [Consulta: 18 març 2013].
van Schaik, Carl; Heiser, Gernot. «High-performance micronuclis and virtualisation on ARM and segmented architectures» p. 11-21. Sydney, Austràlia: NICTA, gener 2007. Arxivat de l'original el 2007-04-26. [Consulta: 1r abril 2007].
«www.cse.ogi.edu». Arxivat de l'original el 2006-11-08. [Consulta: 18 març 2013].