Sciweavers

5376 search results - page 50 / 1076
» Scalable Kernel Systems
Sort
View
88
Voted
ICML
2003
IEEE
16 years 1 months ago
Marginalized Kernels Between Labeled Graphs
A new kernel function between two labeled graphs is presented. Feature vectors are defined as the counts of label paths produced by random walks on graphs. The kernel computation ...
Hisashi Kashima, Koji Tsuda, Akihiro Inokuchi
144
Voted
SAC
2008
ACM
15 years 18 hour ago
Frequent pattern mining for kernel trace data
Operating systems engineers have developed tracing tools that log details about process execution at the kernel level. These tools make it easier to understand the actual executio...
Christopher LaRosa, Li Xiong, Ken Mandelberg
132
Voted
USENIX
2004
15 years 1 months ago
Trusted Path Execution for the Linux 2.6 Kernel as a Linux Security Module
The prevention of damage caused to a system via malicious executables is a significant issue in the current state of security on Linux operating systems. Several approaches are av...
Niki A. Rahimi
PVM
2004
Springer
15 years 5 months ago
The Impact of File Systems on MPI-IO Scalability
As the number of nodes in cluster systems continues to grow, leveraging scalable algorithms in all aspects of such systems becomes key to maintaining performance. While scalable al...
Robert Latham, Robert B. Ross, Rajeev Thakur
97
Voted
SOSP
2009
ACM
15 years 9 months ago
seL4: formal verification of an OS kernel
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, Ju...