Search results for "windows kernel"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Alexander Schmidt, Andreas Polze, Dave Probert	Teaching operating systems: windows kernel projects.	SIGCSE	2010	DBLP DOI BibTeX RDF	windows research kernel, windows sources, operating systems, memory management
2	Shaobo Li, Xiaohui Jia, Shulin Lv, Zhisheng Shao	Research and Application of USB Filter Driver Based on Windows Kernel.	IITSI	2010	DBLP DOI BibTeX RDF	USB filter driver, USB bus, Windows kernel, Irp, driver model
1	Yongzheng Wu, Roland H. C. Yap, Rajiv Ramnath	Comprehending module dependencies and sharing.	ICSE	2010	DBLP DOI BibTeX RDF	visualization, dependency graph, shared library
1	Seung-won Hwang	Blended learning for teaching operating systems with Windows.	ITiCSE	2009	DBLP DOI BibTeX RDF	OS curriculum, windows
1	Seung-won Hwang	Video courseware for teaching operating systems with Windows.	ITiCSE	2009	DBLP DOI BibTeX RDF	OS curriculum, Windows
1	Chaoting Xuan, John A. Copeland, Raheem A. Beyah	Toward Revealing Kernel Malware Behavior in Virtual Execution Environments.	RAID	2009	DBLP DOI BibTeX RDF	Dynamic Analysis, Emulator, Rootkit
1	Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric	A low-level memory model and an accompanying reachability predicate.	STTT	2009	DBLP DOI BibTeX RDF
1	Yang Yu, Hariharan Kolam, Lap-Chung Lam, Tzi-cker Chiueh	Applications of a feather-weight virtual machine.	VEE	2008	DBLP DOI BibTeX RDF	binary server, browser exploit, information theft, virtual machine, web crawler
1	Injung Kim, Min Kyung Hwang, Woojoong Lee, Chanik Park	u-PC: personal workspace on a portable storage.	Mobility Conference	2007	DBLP DOI BibTeX RDF	application mobility, file I/O, file and registry hooking, file forwarding, personal workspace, portable storage, windows kernel, application, user profile, UPnP, iSCSI, registry, user data
1	Tomas Matousek, Filip Zavoral	Extracting Zing Models from C Source Code.	SOFSEM	2007	DBLP DOI BibTeX RDF
1	Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric	A Reachability Predicate for Analyzing Low-Level Software.	TACAS	2007	DBLP DOI BibTeX RDF
1	Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das	Perracotta: mining temporal API rules from imperfect traces.	ICSE	2006	DBLP DOI BibTeX RDF	dynamic analysis, temporal properties, specification inference
1	Roberto Battistoni, Emanuele Gabrielli, Luigi V. Mancini	A Host Intrusion Prevention System for Windows Operating Systems.	ESORICS	2004	DBLP DOI BibTeX RDF
1	Thomas Ball, Vladimir Levin, Fei Xie	Automatic Creation of Environment Models via Training.	TACAS	2004	DBLP DOI BibTeX RDF