Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
1	The Jury Is In: Monolithic OS Design Is Flawed Microkernel-based Designs Improve Security Simon Biggs, Damon Lee, Add to Reading List Source URL: ts.data61.csiro.au Language: English - Date: 2018-08-30 11:33:29
2	SAMSUNG RESEARCH AMERICA – SILICON VALLEY. JANUARY 31, A Scalable High-Performance In-Memory Key-Value Cache using a Microkernel-Based Design Add to Reading List Source URL: juancol.me - Date: 2014-08-10 22:00:45
3	Attested Append-Only Memory: Making Adversaries Stick to their Word Byung-Gon Chun† Petros Maniatis⋆ Scott Shenker†‡ † Add to Reading List Source URL: www.sosp2007.org Language: English - Date: 2016-06-15 13:09:51 Fault-tolerant computer systems Computing Computer architecture Concurrent computing Data synchronization State machine replication Byzantine fault tolerance Replication Clientserver model Microkernel Server
4	An experience report on the integration of ECU software using an HSF-enabled real-time kernel Martijn M.H.P. van den Heuvel, Erik J. Luit, Reinder J. Bril, Johan J. Lukkien, Richard Verhoeven and Mike Holenderski Departm Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2016-07-14 16:23:27 Computer architecture Computing Software Inter-process communication Micro-Controller Operating Systems Message queue DSPACE GmbH Real-time operating system FlexRay Microkernel CAN bus
5	OS-S OMMELIER: Memory-Only Operating System Fingerprinting in the Cloud Yufei Gu† , Yangchun Fu† , Aravind Prakash‡ , Zhiqiang Lin† , Heng Yin‡ Department of Computer Science The University of Texas at Dallas 8 Add to Reading List Source URL: www.utdallas.edu Language: English - Date: 2012-10-07 17:39:02 Computer architecture Software System software Operating system kernels Linux kernel Kernel Operating system Hypervisor NetBSD Mach Loadable kernel module Microkernel
6	White Paper∗ Protecting e-Government Against Attacks Gernot Heiser University of New South Wales Sydney, Australia Add to Reading List Source URL: www.itas.kit.edu Language: English - Date: 2013-09-10 11:50:52 Software System software Computing Embedded systems L4 microkernel family Gernot Heiser Hypervisor Microkernel Open Kernel Labs Xen VMware ESXi Virtualization
7	Transactional IPC in Fiasco.OC Can we get the multicore case verified for free? Till Smejkal, Adam Lackorzynski, Benjamin Engel and Marcus Völp Operating Systems Group Technische Universität Dresden, Germany Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2016-07-14 16:23:27 Computing Computer architecture Concurrency control Software Transaction processing Transactional memory Microkernel Software transactional memory Transactional Synchronization Extensions L4 microkernel family Rock Mach
8	Popcorn: a replicated-kernel OS based on Linux Antonio Barbalace Virginia Tech Binoy Ravindran Virginia Tech Add to Reading List Source URL: www.popcornlinux.org Language: English - Date: 2014-10-01 22:12:12 Monolithic kernels Windows NT kernel Kernel Linux kernel Architecture of Windows NT X86-64 Procfs Microkernel Operating system Kexec Symmetric multiprocessing System call
9	Waddington All Saints End of Key Stage Data 2008 to2010 Add to Reading List Source URL: www.all-saints.lincs.sch.uk Language: English - Date: 2015-09-25 07:07:22 Swimming at the 2003 World Aquatics Championships Rowing at the Summer Paralympics TA L3 microkernel
10	OVERALL VIEW BACHELORS 52 MCs OF MAJOR MODULES + 16 MCS OF LANGUAGE* HONOURS 92 MCs OF MAJOR MODULES + 16 MCS OF LANGUAGE* Add to Reading List Source URL: www.fas.nus.edu.sg Language: English - Date: 2016-07-27 02:37:13