Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
261	Efficient System-Enforced Deterministic Parallelism Amittai Aviram, Shu-Chun Weng, Sen Hu, Bryan Ford Yale University Abstract Deterministic execution offers many benefits for debugging, fault tolerance, and security. Cu Add to Reading List Source URL: dedis.cs.yale.edu Language: English - Date: 2010-09-29 09:32:27 Process Concurrent computing Thread Concurrency control Scheduling Kernel Fork Microkernel OpenMP Computing Computer architecture Computer programming
262	CertiKOS: A Certified Kernel for Secure Cloud Computing Liang Gu, Alexander Vaynberg, Bryan Ford, Zhong Shao, David Costanzo Yale University {liang.gu, alexander.vaynberg, bryan.ford, zhong.shao, david.costanzo}@yale.edu Add to Reading List Source URL: dedis.cs.yale.edu Language: English - Date: 2011-06-28 08:00:32 Virtual machines Central processing unit Hypervisor Virtual private server Ring Microkernel Kernel Hyper-V Process management System software Software Computing
263	RULE 20:10:13:86 STATEMENT J Depreciation Expense Test Year Ending December 31, 2013 Utility: MidAmerican Energy Company Docket No. NG14-XXX Add to Reading List Source URL: www.puc.sd.gov Language: English - Date: 2014-08-04 10:03:25 Depreciation Finance Amortization Expense MidAmerican Energy Company L4 microkernel family Economics Generally Accepted Accounting Principles Business Taxation
264	Microsoft Word - AIS Comments on IRD14-13 Rebate Calculation DRAFT Add to Reading List Source URL: www.insurance.naic.org Language: English - Date: 2012-07-25 10:58:23 L4 microkernel family Rebate Sales promotion Loss ratio
265	PIRLS/prePIRLS[removed]Item Release Plan PIRLS 2011 is designed so that the assessment is divided into blocks, with each block containing a passage and reading comprehension items about that passage. Individual student boo Add to Reading List Source URL: timssandpirls.bc.edu Language: English - Date: 2011-09-22 14:49:09 Educational research Trends in International Mathematics and Science Study L4 microkernel family
266	SaskPower OHSAS[removed]Documentation SaskPower Contractor Health and Safety Management Program Add to Reading List Source URL: www.saskpower.com Language: English - Date: 2012-12-19 20:56:08 L4 microkernel family General contractor Safety
267	Media Release 4 November 2010 Software from NICTA spin-out company Open Kernel Labs secures one billion mobile handsets NICTA spin-out company and leading mobile virtualisation provider Open Kernel Labs has Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2010-11-04 00:23:43 Software Smartphones Open Kernel Labs L4 microkernel family Gernot Heiser NICTA Griffith University Mobile phone Android System software Technology Embedded systems
268	Tolerating Malicious Device Drivers in Linux Silas Boyd-Wickizer and Nickolai Zeldovich MIT CSAIL A BSTRACT Add to Reading List Source URL: people.csail.mit.edu Language: English Device drivers Interrupts Linux Microkernel Device driver DMA attack Ioctl Architecture of Windows NT MINIX 3 Computer architecture Computing System software
269	Microsoft Word - AIS Comments on IRD14-13 Rebate Calculation DRAFT Add to Reading List Source URL: naic.org Language: English - Date: 2012-07-25 10:58:23 L4 microkernel family Rebate Sales promotion Loss ratio
270	Tolerating Malicious Device Drivers in Linux Silas Boyd-Wickizer and Nickolai Zeldovich MIT CSAIL A BSTRACT Add to Reading List Source URL: people.csail.mit.edu Language: English Device drivers Interrupts Linux Microkernel Device driver DMA attack Ioctl Architecture of Windows NT MINIX 3 Computer architecture Computing System software

UPDATE