Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
271	P IKA: A Network Service for Multikernel Operating Systems Nathan Z. Beckmann, Charles Gruenwald III, Christopher R. Johnson, Harshad Kasture, Filippo Sironi Anant Agarwal, M. Frans Kaashoek, and Nickolai Zeldovich MIT C Add to Reading List Source URL: people.csail.mit.edu Language: English Load balancing Network management Routing Microkernel Scalability Server Cache Web server Kernel Computing System software Computer architecture
272	SEP.15 Terence Parr, University of San Francisco AN INTRODUCTION TO ANTLR AND DOMAIN-SPECIFIC LANGUAGES Most people think of grammars and parser generators in terms of building compilers, yet the number of language reco Add to Reading List Source URL: www.cs.sonoma.edu Language: English - Date: 2006-10-15 16:23:22 VMware Aspect-oriented software development EMC Corporation Virtual machine Aspect-oriented programming Microkernel Kernel Wireless security OpenVMS Computing Software System software
273	Improving Host Security with System Call Policies Niels Provos Center for Information Technology Integration University of Michigan [removed] Abstract Add to Reading List Source URL: niels.xtdnet.nl Language: English - Date: 2003-08-09 20:58:49 Systrace Computer security Unix Kernel System call Operating system Principle of least privilege Microkernel Chroot System software Software Computer architecture
274	A NOVEL AND ACCURATE PALPATION METHOD FOR IDENTIFICATION OF THE L4 SPINOUS PROCESS [Principal Investigator: Scott Selby, D.C.; Faculty Mentor: Gregory D. Cramer, D.C., Ph.D.] The purpose of this retrospective study is to Add to Reading List Source URL: www.nuhs.edu Language: English - Date: 2011-04-28 12:44:39 Iliac crest Process L4 Biology Zoology Structure Magnetic resonance imaging Palpation L4 microkernel family
275	OPI Testing at ILR Levels 3, 4 & 5 ILR Plenary Presentation September 19, 2008 Monika Ihlenfeld, DLIFLC Pardee Lowe, Jr., DOD Elvira Swender, ACTFL Add to Reading List Source URL: www.govtilr.org Language: English - Date: 2013-03-12 14:21:57 Language certification American Council on the Teaching of Foreign Languages Level ILR L4 microkernel family Interagency Language Roundtable Defense Language Proficiency Tests Education Language education Pedagogy
276	Table XX: Additional Surgical Procedures – Dynesys Add to Reading List Source URL: www.fda.gov Language: English Orthopedic surgery Laminectomy L4 microkernel family Scoliosis Surgery Medicine Neurosurgery Vertebral column
277	Washington State Bilingual Education SBE Achievement and Accountability Workgroup December 9, 2013 OSPI - Bilingual Education Add to Reading List Source URL: sbe.wa.gov Language: English - Date: 2013-12-11 16:36:12 Bilingual education Multilingualism Washington State Office of Superintendent of Public Instruction Ell L4 microkernel family Education Linguistic rights Education in Washington Measurement
278	/tardir/tiffs/a408429.tiff Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2004-07-15 15:52:20 Trusted computing base Mandatory access control Trusted Computing Microkernel Ring Kernel Operating system Trustworthy computing Security kernel Computer security Security Computing
279	New service release from 14 November 2013 October 4th 2013 Notice MyOcean is pleased to announce a new service release in November 14th 2013. Add to Reading List Source URL: www.myocean.eu Language: English - Date: 2014-06-26 04:53:56 L4 microkernel family Moderate-Resolution Imaging Spectroradiometer Hindcast Earth Weather prediction Statistical forecasting Meteorology
280	Proving Memory Separation in a Microkernel by Code Level Verification Holger Blasum and Sergey Tverdyshev Thorsten Bormer Christoph Baumann Karlsruhe Institute of Technology, SYSGO AG, Klein-Winternheim, Germany Add to Reading List Source URL: www-wjp.cs.uni-saarland.de Language: English - Date: 2012-10-16 07:23:41 Windows NT architecture Formal methods Memory management Separation kernel Formal verification Kernel Microkernel Object Manager C dynamic memory allocation Computer architecture System software Software

UPDATE