Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for l4 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2009 (1) 2010 (1)
Publication types (Num. hits)
inproceedings(2)
Venues (Conferences, Journals, ...)
SOSP(1) VEE(1)
Authors
Aaron Pohle(1) Björn Döbel(1) David A. Cock(1) Dhammika Elkaduwe(1) Gernot Heiser(1) Gerwin Klein(1) Harvey Tuch(1) Hermann Härtig(1) June Andronick(1) Kai Engelhardt(1) Kevin Elphinstone(1) Michael Norrish(1) Michael Roitzsch(1) Philip Derrin(1) Rafal Kolanski(1) Simon Winwood(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 3 keywords
Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Aaron Pohle, Björn Döbel, Michael Roitzsch, Hermann Härtig Capability wrangling made easy: debugging on a microkernel with valgrind. Search on Bibsonomy VEE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF l4, valgrind, capability, microkernel
1Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood seL4: formal verification of an OS kernel. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF l4, sel4, microkernel, isabelle/hol
Displaying result #1 - #2 of 2 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license