MINIX - PDFSEARCH.IO - Document Search Engine

MINIX
Results: 80

#	Item
31	Trusted MINIX: A Worked Example Albert L. Donaldson ESCOM Corporation[removed]Waples Mill Road Oakton, VA 22124 Add to Reading List Source URL: www.escom.com Language: English - Date: 2006-07-19 10:32:27 MINIX Trusted Computer System Evaluation Criteria Rainbow Series Trusted computing base Operating system Trusted system Discretionary access control Andrew S. Tanenbaum Ring Computer architecture Computer security Computing
32	Cross-compilation in pkgsrc Taylor ‘Riastradh’ Campbell [removed] [removed] AsiaBSDcon 2015 Add to Reading List Source URL: netbsd.org Language: English - Date: 2015-03-15 19:17:41 BSD Computing platforms Pkgsrc NetBSD Ports collection FreeBSD Ports Ion MirOS BSD MINIX 3 Software System software Computer architecture
33	A Lightweight Method for Building Reliable Operating Systems Despite Unreliable Device Drivers Technical Report IR-CS-018, January 2006 Jorrit N. Herder Herbert Bos Add to Reading List Source URL: www.minix3.org Language: English - Date: 2012-03-07 05:50:27 Computing platforms Monolithic kernels Operating system kernels MINIX 3 Kernel Operating system Linux kernel Mach Loadable kernel module Computer architecture Computing System software
34	Using Interaction Networks for Visualisation of Message Passing Paul Ashton Department of Computer Science University of Canterbury TR-COSC 04/96, Aug 1996 Add to Reading List Source URL: minix1.woodhull.com Language: English - Date: 2005-01-12 22:19:14 Inter-process communication MINIX Operating system Communications protocol Kernel Distributed computing Unix Message passing MINIX 3 Computer architecture Computing System software
35	TOWARDS A TRUE MICROKERNEL OPERATING SYSTEM A revision of MINIX that brings quality enhancements and strongly reduces the kernel in size by moving device drivers to user-space Add to Reading List Source URL: www.minix3.org Language: English - Date: 2012-03-07 05:50:26 Computing platforms MINIX 3 MINIX Kernel Andrew S. Tanenbaum Microkernel Ring Linux Operating system Computer architecture Computing System software
36	Use of interaction networks in teaching Minix Paul Ashton, Carl Cerecke, Craig McGeachie, Stuart Yeates Department of Computer Science Add to Reading List Source URL: minix1.woodhull.com Language: English - Date: 2005-01-12 22:19:17 C POSIX library Fork Process MINIX Email Operating system Message passing Communications protocol Kernel Computing Computer architecture Inter-process communication
37	SunOS Minix: a tool for use in Operating System Laboratories Paul Ashton Daniel Ayers Peter Smith Add to Reading List Source URL: minix1.woodhull.com Language: English - Date: 2005-01-12 22:19:15 Concurrent computing MINIX Computing platforms SunOS Linux Preemption Unix Operating system System call Computer architecture Software System software
38	Debunking Linus’s Latest Jonathan Shapiro, Ph.D. Systems Research Laboratory Dept. of Computer Science Johns Hopkins University May 11, 2006 Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:11:11 EROS Microkernel L4 microkernel family Coyotos Kernel Paravirtualization KeyKOS MINIX CapROS Computer architecture System software Real-time operating systems
39	The Logical Disk: A New Approach to Improving File Systems Wiebren de Jonge Dept. of Mathematics and Computer Science, Vrije Universiteit, Amsterdam M. Frans Kaashoek and Wilson C. Hsieh Laboratory for Computer Science, Add to Reading List Source URL: www2.cs.utah.edu Language: English - Date: 1998-07-22 17:28:43 System software MINIX file system MINIX Log-structured File System File system Unix File System Disk formatting B-tree Disk partitioning Disk file systems Computer architecture Computing
40	MINIX 3 on ARM FOSDEM 2014 MINIX 3 on ARM FOSDEM 2014 Add to Reading List Source URL: archive.fosdem.org Language: English - Date: 2014-10-24 07:45:53 Computing platforms MINIX Linux Vi Minix-vmd MINIX file system Computer architecture Computing System software