213 search results - page 3 / 43 » Introducing technology into the Linux kernel: a case study |
EUROCRYPT
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. This paper studies the gaps that exist between cryptography as studied in theory, as defined in standards, as implemented by software engineers, and as actually consumed ...
BMCBI
2004
13 years 5 months ago
2004
Background: Kernel-based learning algorithms are among the most advanced machine learning methods and have been successfully applied to a variety of sequence classification tasks ...
BMCBI
2008
13 years 5 months ago
2008
Background: Genetic association studies have been used to map disease-causing genes. A newly introduced statistical method, called exhaustive haplotype association study, analyzes...
VMCAI
2009
Springer
14 years 17 days ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
OOIS
2001
Springer
13 years 10 months ago
2001
Springer
Identifying the objects that constitute a software system is a critical task for any object-oriented system development and several techniques have already been introduced to tack...