L4 (micronúcleo) (Spanish Wikipedia)

Analysis of information sources in references of the Wikipedia article "L4 (micronúcleo)" in Spanish language version.

refsWebsite

Global rank Spanish rank

2^nd place

1,185^th place

1,347^th place

5,990^th place

low place

1^st place

low place

6,828^th place

4,278^th place

acm.org

Tuch, Harvey; Klein, Gerwin; Norrish, Michael (January de 2007). «Types, bytes, and separation logic». 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Nice, France. pp. 97-108.
Derrin, Philip; Elphinstone, Kevin; Klein, Gerwin; Cock; David; Chakravarty, Manuel M. T. (September de 2006). «Running the manual: an approach to high-assurance microkernel development». ACM SIGPLAN Haskell Workshop. Portland, Oregon. pp. 60-71.

Leslie, Ben; Chubb, Peter; FitzRoy-Dale, Nicholas; Götz, Stefan; Gray, Charles; Macpherson, Luke; Potts, Daniel; Shen, Yueting; Elphinstone, Kevin; Heiser, Gernot (septiembre de 2005). «User-level device drivers: achieved performance». Journal of Computer Science and Technology 5 (20): 654-664. doi:10.1007/s11390-005-0654-4.
Ruocco, Sergio (octubre de 2007). «A Real-Time Programmer's Tour of General-Purpose L4 Microkernels». EURASIP Journal on Embedded Systems, Special Issue on Operating System Support for Embedded Real-Time Applications 2008: 1. doi:10.1155/2008/234710.

Ruocco, Sergio (octubre de 2007). «A Real-Time Programmer's Tour of General-Purpose L4 Microkernels». EURASIP Journal on Embedded Systems, Special Issue on Operating System Support for Embedded Real-Time Applications 2008: 1. doi:10.1155/2008/234710.

van Schaik, Carl; Heiser, Gernot (January de 2007). «High-performance microkernels and virtualisation on ARM and segmented architectures». Sydney, Australia: NICTA. pp. 11-21. Archivado desde el original el 26 de abril de 2007. Consultado el 1 de abril de 2007.

Gray, Charles; Chapman, Matthew; Chubb, Peter; Mosberger-Tang, David; Heiser, Gernot (Abril de 2005). «Itanium—a system implementor's tale». USENIX Annual Technical Conference. Annaheim, CA, USA. pp. 264-278.

van Schaik, Carl; Heiser, Gernot (January de 2007). «High-performance microkernels and virtualisation on ARM and segmented architectures». Sydney, Australia: NICTA. pp. 11-21. Archivado desde el original el 26 de abril de 2007. Consultado el 1 de abril de 2007.