|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 13 keywords
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
196 | K. S. Ramesh |
Design and development of MINIX distributed operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 685, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
MINIX |
175 | Devendra Naniwadekar |
Implementation of a resource manager for distributed MINIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 686, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
MINIX |
115 | P. Tobin Maginnis |
Design considerations for the transformation of MINIX into a distributed operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 608-615, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, PLAS 2006, Ottawa, Ontario, Canada, June 10, 2006, pp. 3-6, 2006, ACM, 1-59593-374-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 27(2), pp. 35-43, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
MINIX |
75 | Paolo Ciancarini, N. Guerrini |
Linda meets Minix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 27(4), pp. 76-92, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 27(1), pp. 79-100, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
MINIX |
70 | James Howatt |
Operating systems projects: Minix revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 34(4), pp. 109-111, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
61 | Jochen Liedtke |
A Short Note on Small Virtually-Addresses Control Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 29(3), pp. 31-34, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
61 | Darrell D. E. Long |
A Note on Bit-Mapped Free Sector Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 27(2), pp. 7-9, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
54 | Gabriel A. Wainer |
Implementing Real-Time Services in MINIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 29(3), pp. 75-84, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 25(3), pp. 32-39, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Fourteenth ACM Symposium on Operating System Principles, SOSP 1993, The Grove Park Inn and Country Club, Asheville, North Carolina, USA, December 5-8, 1993, pp. 15-28, 1993, ACM, 0-89791-632-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Educ. Resour. Comput. ![In: ACM J. Educ. Resour. Comput. 8(1), pp. 3:1-3:24, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
instructional laboratories, security, education |
40 | Paul J. Ashton |
Using interaction networks for visualisation of message passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 28th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1997, San Jose, California, USA, February 27 - March 1, 1997, pp. 272-276, 1997, ACM, 0-89791-889-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Andrew S. Tanenbaum |
Lessons learned from 30 years of MINIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 59(3), pp. 70-78, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Charles R. Severance |
Andrew S. Tanenbaum: The Impact of MINIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 47(7), pp. 7-8, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Pablo Pessolani, Oscar Jara |
Minix over Linux: A User-Space Multiserver Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBESC ![In: Brazilian Symposium on Computing System Engineering, SBESC 2011, Florianopolis, Brazil, November 7-11, 2011, pp. 158-163, 2011, IEEE Computer Society, 978-1-4673-0427-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
login Usenix Mag. ![In: login Usenix Mag. 35(3), 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
30 | Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum |
Modular System Programming in MINIX 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
login Usenix Mag. ![In: login Usenix Mag. 31(2), 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
30 | Wenliang Du, Mingdong Shang, Haizhi Xu |
A novel approach for computer security education using Minix instructional operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Secur. ![In: Comput. Secur. 25(3), pp. 190-200, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 40(3), pp. 80-89, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Stephen J. Hartley |
More Experience with MINIX in an Operating Systems Lab. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Educ. ![In: Comput. Sci. Educ. 4(2), pp. 199-213, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSP ![In: Proceedings of the Second International Workshop on Rapid System Prototyping, RSP 1991, Research Triangle Park, North Carolina, USA, June 11-13, 1991, pp. 55-66, 1991, IEEE Computer Society, 0-8186-3040-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
30 | Stephen J. Hartley |
Experience with MINIX in an operating systems lab. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 22(3), pp. 34-38, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 22(4), pp. 55-59, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
30 | James Hays |
An operating systems course using MINIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 21(4), pp. 11-12, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Andrew S. Tanenbaum, Jorrit N. Herder, Herbert Bos |
Can We Make Operating Systems Reliable and Secure? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 39(5), pp. 44-51, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 25(4), pp. 4-13, 1991. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan, pp. 112-121, 2008, IEEE Computer Society, 978-0-7695-3448-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Wenliang Du, Zhouxuan Teng, Ronghua Wang |
SEED: a suite of instructional laboratories for computer SEcurity EDucation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2007, Covington, Kentucky, USA, March 7-11, 2007, pp. 486-490, 2007, ACM, 1-59593-361-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Sixth European Dependable Computing Conference, EDCC 2006, Coimbra, Portugal, 18-20 October 2006, pp. 3-12, 2006, IEEE Computer Society, 0-7695-2648-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Jonathan I. Maletic, Naveen Valluri |
Automatic Software Clustering via Latent Semantic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999, pp. 251-254, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | James Sanders |
Linux, Open Source, and Software's Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 15(5), pp. 88-91, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|