A UNIX clone with source code for operating systems courses
ACM SIGOPS Operating Systems Review
An input/output subsystem for the Hawk operating system kernel
ACM SIGOPS Operating Systems Review
Virtual rings: an introduction to concurrency
ACM SIGCSE Bulletin
Reference history, page size, and migration daemons in local/remote architectures
ASPLOS III Proceedings of the third international conference on Architectural support for programming languages and operating systems
Low-cost networks and gateways for teaching data communications
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Performance experiments for the performance course
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Xinu/WU: an improved PC-Xinu clone?
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Communications of the ACM
Phoenix: a safe in-memory file system
Communications of the ACM
The 1988–89 Taulbee survey report
Communications of the ACM
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
ACM SIGCSE Bulletin
Experience with MINIX in an operating systems lab
ACM SIGCSE Bulletin
Micro Time Cost Analysis of Parallel Computations
IEEE Transactions on Computers
A system for teaching concurrent programming
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Routing and processor allocation on a Hypercycle-based multiprocessor
ICS '91 Proceedings of the 5th international conference on Supercomputing
Evolutionary steps toward a distributed operating system: theory and implementation
ACM SIGOPS Operating Systems Review
XINIX time-sharing operating system
ACM SIGOPS Operating Systems Review
Dining philosophers revisited, again
ACM SIGCSE Bulletin
Design and implementation of a swapper for the MINIX operating system
ACM SIGCSE Bulletin
Experiencing minix as a didactical aid for operating systems courses
ACM SIGOPS Operating Systems Review
Subprogram Inlining: A Study of its Effects on Program Execution Time
IEEE Transactions on Software Engineering
Experience with the language SR in an undergraduate operating systems course
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Teaching operating systems using Turbo C
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
ACM SIGCSE Bulletin
Extending device management in Minix
ACM SIGOPS Operating Systems Review
A multitasking executive for operating systems courses
ACM SIGOPS Operating Systems Review
Implementation and evaluation of alternative process schedulers in MINIX
ACM SIGOPS Operating Systems Review
The logical disk: a new approach to improving file systems
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Operating Systems Projects: linking theory, practice and use
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
NetCp—a project environment for an undergraduate computer networks course
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Eliminate memory fragmentation through holes in the heap
ACM SIGPLAN Notices
O.S. bridge between academia and reality
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
A low-tech introduction to operating systems
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Microkernels: a submodule for a traditional operating systems course
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Tools for teaching CCRs, monitors, and CSP concurrent programming concepts
ACM SIGCSE Bulletin
An object-oriented file system—an example of using the class hierarchy framework concept
ACM SIGOPS Operating Systems Review
Optimal and Suboptimal Processor Allocation for Hypercycle-based Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
Polling watchdog: combining polling and interrupts for efficient message handling
ISCA '96 Proceedings of the 23rd annual international symposium on Computer architecture
A simple student environment for lightweight process concurrent programming under SunOs
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
After you, Alfonse: a mutual exclusion toolkit
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Floor control policies in multi-user applications
CHI '93 INTERACT '93 and CHI '93 Conference Companion on Human Factors in Computing Systems
A practical approach to reinforcing concepts in introductory operating systems
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
System calls and interrupt vectors in an operating systems course
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
Using interaction networks for visualisation of message passing
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
Job Scheduling in Mesh Multicomputers
IEEE Transactions on Parallel and Distributed Systems
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
Interface and execution models in the Fluke kernel
OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
Discovery learning in introductory operating system courses
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
A comparison of operating systems courseware
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Design considerations for the transformation of MINIX into a distributed operating system
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Should undergraduates explore internals of workstation operating systems
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Simulation of process and resource management in a multiprogramming operating system
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Kernel Korner: Dynamic Kernels - Discovery
Linux Journal
Kernel Corner Writing a Linux Driver
Linux Journal
DIPC: The Linux Way of Distributed Programming
Linux Journal
Extending Java to support shared resource protection and deadlock detection in threads programming
Crossroads - Special issue on Java
Radiance interpolants for accelerated bounded-error ray tracing
ACM Transactions on Graphics (TOG)
Enhancing the operating systems course using the MPS or chip hardware simulator
Proceedings of the eighth annual consortium on Computing in Small Colleges Rocky Mountain conference
Virtual memory versus file interfaces for large, memory-intensive scientific applications
Supercomputing '96 Proceedings of the 1996 ACM/IEEE conference on Supercomputing
A real bottom-up operating systems course
ACM SIGOPS Operating Systems Review
Biased dictionaries with fast insert/deletes
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
A system generation for a small operating system
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Distributed data flow computing system
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
A top-down operating systems course
ACM SIGOPS Operating Systems Review
Dependability of COTS Microkernel-Based Systems
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Information Processing Letters
Meet Real-Time Requirements of Parallel Programs and Maximally Utilize System Resources
IEEE Transactions on Software Engineering
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Server scheduling in the Lp norm: a rising tide lifts all boat
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing
Operating systems projects: Minix revisited
ACM SIGCSE Bulletin
Proceedings of the 2003 Eurographics/ACM SIGGRAPH symposium on Geometry processing
Reflective specification: applying a reflective language to formal specification
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Synthesis of fault-tolerant concurrent programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Cyclic News Filesystem: Getting INN To Do More With Less
LISA '97 Proceedings of the 11th USENIX conference on System administration
Ext3cow: a time-shifting file system for regulatory compliance
ACM Transactions on Storage (TOS)
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
A flit level simulator for wormhole routing
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
The Nachos instructional operating system
USENIX'93 Proceedings of the USENIX Winter 1993 Conference Proceedings on USENIX Winter 1993 Conference Proceedings
A Composition Environment for MPI Programs
International Journal of High Performance Computing Applications
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
RACE: A Robust Adaptive Caching Strategy for Buffer Cache
IEEE Transactions on Computers
Proceedings of the 30th international conference on Software engineering
Is there life outside transactions?: writing the transaction processing book
ACM SIGMOD Record - Tribute to honor Jim Gray
System proposal for preventing, detecting and avoiding deadlocks in modern operating system
EC'09 Proceedings of the 10th WSEAS international conference on evolutionary computing
Counter Abstraction in the CSP/FDR setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Clean first or dirty first?: a cost-aware self-adaptive buffer replacement policy
Proceedings of the Fourteenth International Database Engineering & Applications Symposium
Performance and power evaluation of flash-aware buffer algorithms
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
CFDC: a flash-aware buffer management algorithm for database systems
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
MPISH2: unix integration for MPI programs
PVM/MPI'05 Proceedings of the 12th European PVM/MPI users' group conference on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Synchronous message passing and semaphores: an equivalence proof
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Issues of flash-aware buffer management for database systems
BNCOD'10 Proceedings of the 27th British national conference on Data Security and Security Data
Distributed gang scheduling in networks of heterogenous workstations
Computer Communications
Babel: a secure computer is a polyglot
Proceedings of the 2012 ACM Workshop on Cloud computing security workshop
Extreme symmetries in complex distributed systems: the bag-oriented approach
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
CSP-based counter abstraction for systems with node identifiers
Science of Computer Programming
Flash-Aware Buffer Management for Database Systems
International Journal of Knowledge-Based Organizations
| Hi-index | 0.05 |