Results 221 to 230 of about 78,918 (241)

Model Checking the Linux Kernel ?

2011
Some people are trying to find defects in the code by searching for known patterns and known misuse, documented either as part of the kernel API usage or after bugs being known. At Mandriva, and as foundation of my PhD subject, we want to explore another way which is well-known but complex: Model-Checking.
openaire   +1 more source

LINUX kernel internals

Microelectronics Journal, 1997
openaire   +1 more source

The Real-Time Linux Kernel

ACM Computing Surveys, 2020
Federico Reghenzani, Giuseppe Massari, William Fornaciari   +2 more
exaly  

The kernel polynomial method

Reviews of Modern Physics, 2006
Gerhard Wellein, Andreas Alvermann, Holger Fehske   +2 more
exaly  

Arlequin suite ver 3.5: a new series of programs to perform population genetics analyses under Linux and Windows

Molecular Ecology Resources, 2010
Laurent Excoffier
exaly  

Linux kernel device driver testing

2022
openaire   +1 more source

Entanglement Entropy of Black Holes

Living Reviews in Relativity, 2011
Sergey N Solodukhin
exaly  

Gaussian Process Regression With Automatic Relevance Determination Kernel for Calendar Aging Prediction of Lithium-Ion Batteries

IEEE Transactions on Industrial Informatics, 2020
Kailong Liu, Xiaosong Hu, Mattin Lucu
exaly  

Supervised learning with quantum-enhanced feature spaces

Nature, 2019
Kristan Temme, Aram W Harrow, Abhinav Kandala   +2 more
exaly  

Cryo-EM of full-length α-synuclein reveals fibril polymorphs with a common structural kernel

Nature Communications, 2018
Peng Ge, Kevin A Murray, Meng Zhang
exaly