Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,279,234 papers from all fields of science
Search
Sign In
Create Free Account
Kernel-Mode Driver Framework
Known as:
KMDF
, Kernel Mode Driver Framework
The Kernel-Mode Driver Framework (KMDF) is a driver framework developed by Microsoft as a tool to aid driver developers create and maintain kernel…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Architecture of Windows NT
Device driver
Direct memory access
Plug and play
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
PCI Express Device Driver Design Based on KMDF
Zhang Xiao-le
2014
Corpus ID: 112477847
Against a new generation of driven model framework launched by Microsoft,this paper introduces the framework of the kernel model…
Expand
Highly Cited
2010
Highly Cited
2010
SLAM2: Static driver verification with under 4% false alarms
T. Ball
,
E. Bounimova
,
Rahul Kumar
,
V. Levin
Formal Methods in Computer-Aided Design
2010
Corpus ID: 7649205
In theory, counterexample-guided abstraction refinement (CEGAR) uses spurious counterexamples to refine overapproximations so as…
Expand
2010
2010
Efficient evaluation of pointer predicates with Z3 SMT Solver in SLAM2
T. Ball
,
E. Bounimova
,
V. Levin
,
L. D. Moura
2010
Corpus ID: 14297483
Static Driver Verier ( SDV) is a verication tool included in the Windows 7 Driver Kit (WDK). SDV uses SLAM as the program…
Expand
2010
2010
A novel secure virtual storage device scheme
Jinxin Ma
,
Zhoujun Li
,
Jia Li
IEEE International Conference on Intelligent…
2010
Corpus ID: 17484293
Confidential data in our computer is always threatened by the risk of internal staff and external hacker. Secure document system…
Expand
2010
2010
Pseudo-real-time control of a USB I/O device under Windows 7
Y. Watanabe
,
A. Yamada
,
M. Nitta
,
K. Kato
International Conference on Control, Automation…
2010
Corpus ID: 29431674
Windows-based PCs (Personal Computers) provide a powerful development environment for controller synthesis because it is easy to…
Expand
2008
2008
Profiling the operational behavior of OS device drivers
C. Sârbu
,
A. Johansson
,
N. Suri
,
Nachiappan Nagappan
IEEE International Symposium on Software…
2008
Corpus ID: 855288
As the complexity of modern Operating Systems (OS) increases, testing key OS components such as device drivers (DD) becomes…
Expand
2008
2008
Research of Kernel-mode Driver Framework and Design of Greenhouse Monitoring Driver
Huai Xiao-li
2008
Corpus ID: 112980021
The Driver is the key of auto controlling equipment by using computer in agriculture. The new generation of driver development…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE