Kernel - PDFSEARCH.IO - Document Search Engine

Kernel
Results: 5601

#	Item
921	Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2012-10-02 09:49:19 Formal methods Logic in computer science Models of computation Programming language semantics Abstraction Kernel Abstract state machines Semantics Denotational semantics Operational semantics Refinement Limit
922	From: Andrew Lewman, Executive Director To: the tor community Date: April 10, 2011 This report documents progress in January 2011. Add to Reading List Source URL: archive.torproject.org Language: English - Date: 2011-09-15 09:57:03 Internet security Libevent Linux kernel Tor Firefox
923	Buildroot Buildroot Embedded Linux Experts Add to Reading List Source URL: free-electrons.com Language: English - Date: 2016-03-05 08:11:33 Embedded Linux Linux kernel Linux Buildroot Android BeagleBoard Operating system Kernel
924	IWBSBBoston) Participation Report J.B. Brown Laboratory of Biological Network Information, Kyoto University Institute for Chemical Research Participation summary1 Add to Reading List Source URL: www.bic.kyoto-u.ac.jp Language: English - Date: 2014-08-18 20:02:20 Cheminformatics Computational chemistry Drug discovery Graph kernel Kernel method Knapp Boston University
925	NEW15_whitepaper_kernel.indd Add to Reading List Source URL: www.simwalk.ch Language: English - Date: 2015-11-28 09:45:22
926	1) Whipped Shea Butter Ingredients:  1/2 cup shea butter  1/3 cup sweet almond oil (or other oil like apricot kernel, avocado, hemp seed, camellia, evening primrose, borage, olive)  1/8 tsp rosemary extract or Add to Reading List Source URL: simplelifemom.com Language: English - Date: 2015-11-05 03:21:43
927	Classifier-Adjusted Density Estimation for Anomaly Detection and One-Class Classification Lisa Friedland∗ Amanda Gentzel∗ Add to Reading List Source URL: people.cs.umass.edu Language: English - Date: 2014-02-13 14:01:13 Statistics Machine learning Statistical classification Data mining Nonparametric statistics Local outlier factor Anomaly detection Outlier K-nearest neighbors algorithm Naive Bayes classifier Kernel density estimation Supervised learning
928	T-Kernel 2.0 Specification Add to Reading List Source URL: www.tron.org Language: English - Date: 2015-03-28 02:57:36
929	Learning Nonparametric Kernel Matrices from Pairwise Constraints --- ICML’07 Presenter: Lei Tang Add to Reading List Source URL: leitang.net Language: English - Date: 2009-11-17 19:33:24
930	What is a Security Flaw? Colin Percival Colin Percival Add to Reading List Source URL: www.daemonology.net Language: English - Date: 2006-05-14 06:23:45 FreeBSD Qmail Privilege escalation Computer security Berkeley Software Distribution Kernel Exploit Linux kernel Software bug

UPDATE