Kernel Hardware Interfaces
Kernel Hardware Interfaces is a kernel-level abstraction that mediates and standardizes communication between the operating system kernel and underlying hardware components by defining the mechanisms, protocols, and data structures through which hardware resources are accessed, controlled, and managed.
19
Publications
523
Citations
62
Authors
23
Institutions
Publications per year
2017–2026
4
19
A principled approach to operating system construction in Haskell
Thomas Hallgren, Mark P. Jones, Rebekah Leslie et al. · 2005 · 71 citations
Ken Sakamura · IEEE Micro · 1987 · 53 citations
1–5 of 19
62
3
h-index
2
h-index
2
h-index
2
h-index
1
h-index
1–5 of 62
23
Oregon Health & Science University
Portland, United States
3 h-index
6 publications
204 citations

Portland State University
Portland, United States
2 h-index
4 publications
164 citations
University of Illinois Urbana-Champaign
Urbana, United States
2 h-index
4 publications
74 citations
Tokyo University of Science
Tokyo, Japan
1 h-index
1 publications
53 citations
Microsoft (United States)
Redmond, United States
1 h-index
1 publications
15 citations
Yale University
New Haven, United States
1 h-index
1 publications
20 citations

Lawrence Livermore National Laboratory
Livermore, United States
1 h-index
2 publications
24 citations
Carnegie Mellon University
Pittsburgh, United States
1 h-index
6 publications
90 citations
1–8 of 23
LJ · 2 publications · 29 citations
2
h-index
1 publications · 13 citations
1
h-index
1 publications · 10 citations
1
h-index
1 publications · 53 citations
1
h-index
Repository · 1 publications · 54 citations
1
h-index
1–5