Search results for "MINIX"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
196	K. S. Ramesh	Design and development of MINIX distributed operating system.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	MINIX
175	Devendra Naniwadekar	Implementation of a resource manager for distributed MINIX.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	MINIX
115	P. Tobin Maginnis	Design considerations for the transformation of MINIX into a distributed operating system.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	MINIX
75	Timothy Fraser, Nick L. Petroni Jr., William A. Arbaugh	Applying flow-sensitive CQUAL to verify MINIX authorization check placement.	PLAS	2006	DBLP DOI BibTeX RDF	CQUAL, static analysis, type qualifiers, MINIX
75	C. Kavka, M. Pritista, Raúl Héctor Gallard	Extending Device Management in Minix.	ACM SIGOPS Oper. Syst. Rev.	1993	DBLP DOI BibTeX RDF	MINIX
75	Paolo Ciancarini, N. Guerrini	Linda meets Minix.	ACM SIGOPS Oper. Syst. Rev.	1993	DBLP DOI BibTeX RDF	Linda, MINIX
75	R. Guerrero, L. Leguizamon, Raúl Héctor Gallard	Implementation and Evaluation of Alternative Process Schedules in Minix.	ACM SIGOPS Oper. Syst. Rev.	1993	DBLP DOI BibTeX RDF	MINIX
70	James Howatt	Operating systems projects: Minix revisited.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
61	Jochen Liedtke	A Short Note on Small Virtually-Addresses Control Blocks.	ACM SIGOPS Oper. Syst. Rev.	1995	DBLP DOI BibTeX RDF
61	Darrell D. E. Long	A Note on Bit-Mapped Free Sector Management.	ACM SIGOPS Oper. Syst. Rev.	1993	DBLP DOI BibTeX RDF
54	Gabriel A. Wainer	Implementing Real-Time Services in MINIX.	ACM SIGOPS Oper. Syst. Rev.	1995	DBLP DOI BibTeX RDF	MINIX
50	Guillermo Aguirre, Marcelo Luis Errecalde, R. Guerrero, C. Kavka, Guillermo Leguizamón, Marcela Printista, Raúl Héctor Gallard	Experiencing Minix as a Didactical Aid for Operating Systems Courses.	ACM SIGOPS Oper. Syst. Rev.	1991	DBLP DOI BibTeX RDF
49	Wiebren de Jonge, M. Frans Kaashoek, Wilson C. Hsieh	The Logical Disk: A New Approach to Improving File Systems.	SOSP	1993	DBLP DOI BibTeX RDF	disk storage management, file system organization, file system performance, high write performance, logical disk, UNIX, MINIX, MINIX, log-structured file system
40	Wenliang Du, Ronghua Wang	SEED: A Suite of Instructional Laboratories for Computer Security Education.	ACM J. Educ. Resour. Comput.	2008	DBLP DOI BibTeX RDF	instructional laboratories, security, education
40	Paul J. Ashton	Using interaction networks for visualisation of message passing.	SIGCSE	1997	DBLP DOI BibTeX RDF
30	Andrew S. Tanenbaum	Lessons learned from 30 years of MINIX.	Commun. ACM	2016	DBLP DOI BibTeX RDF
30	Charles R. Severance	Andrew S. Tanenbaum: The Impact of MINIX.	Computer	2014	DBLP DOI BibTeX RDF
30	Pablo Pessolani, Oscar Jara	Minix over Linux: A User-Space Multiserver Operating System.	SBESC	2011	DBLP DOI BibTeX RDF
30	Andrew S. Tanenbaum, Raja Appuswamy, Herbert Bos, Lorenzo Cavallaro, Cristiano Giuffrida, Tomás Hrubý, Jorrit N. Herder, Erik van der Kouwe, David C. van Moolenbroek	MINIX 3: Status Report and Current Research.	login Usenix Mag.	2010	DBLP BibTeX RDF
30	Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum	Modular System Programming in MINIX 3.	login Usenix Mag.	2006	DBLP BibTeX RDF
30	Wenliang Du, Mingdong Shang, Haizhi Xu	A novel approach for computer security education using Minix instructional operating system.	Comput. Secur.	2006	DBLP DOI BibTeX RDF
30	Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum	MINIX 3: a highly reliable, self-repairing operating system.	ACM SIGOPS Oper. Syst. Rev.	2006	DBLP DOI BibTeX RDF
30	Stephen J. Hartley	More Experience with MINIX in an Operating Systems Lab.	Comput. Sci. Educ.	1993	DBLP DOI BibTeX RDF
30	Myla Archer, James Bock, Deborah A. Frincke, Karl N. Levitt	Effectiveness of operating system prototyping from a template: application to MINIX.	RSP	1991	DBLP DOI BibTeX RDF
30	Stephen J. Hartley	Experience with MINIX in an operating systems lab.	ACM SIGCSE Bull.	1990	DBLP DOI BibTeX RDF
30	Stephen W. Chappelow, Steven F. Ackerman, Stephen J. Hartley	Design and implementation of a swapper for the MINIX operating system.	ACM SIGCSE Bull.	1990	DBLP DOI BibTeX RDF
30	James Hays	An operating systems course using MINIX.	ACM SIGCSE Bull.	1989	DBLP DOI BibTeX RDF
24	Andrew S. Tanenbaum, Jorrit N. Herder, Herbert Bos	Can We Make Operating Systems Reliable and Secure?	Computer	2006	DBLP DOI BibTeX RDF	Paravirtual machines, Multiserver architectures, Minix 3, Singularity operating system, Operating systems, Interprocess communication, Microkernels
24	Allison J. Mull, P. Tobin Maginnis	Evolutionary Steps Toward a Distributed Operating System: Theory and Implementation.	ACM SIGOPS Oper. Syst. Rev.	1991	DBLP DOI BibTeX RDF	MINIX, DOS
20	Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum	Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability).	PRDC	2008	DBLP DOI BibTeX RDF
20	Wenliang Du, Zhouxuan Teng, Ronghua Wang	SEED: a suite of instructional laboratories for computer SEcurity EDucation.	SIGCSE	2007	DBLP DOI BibTeX RDF	instructional operating system, security, laboratory
20	Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum	Construction of a Highly Dependable Operating System.	EDCC	2006	DBLP DOI BibTeX RDF
20	Jonathan I. Maletic, Naveen Valluri	Automatic Software Clustering via Latent Semantic Analysis.	ASE	1999	DBLP DOI BibTeX RDF
20	James Sanders	Linux, Open Source, and Software's Future.	IEEE Softw.	1998	DBLP DOI BibTeX RDF