Using Petri nets to introduce operating system concepts
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
ACM SIGCSE Bulletin
An “open” oriented file system
ACM SIGOPS Operating Systems Review
Cache management algorithms for flexible filesystems
ACM SIGMETRICS Performance Evaluation Review
A tool for operating system teaching
ACM SIGCSE Bulletin
Microkernels: a submodule for a traditional operating systems course
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Annals of Software Engineering
Parallelization of a Hyper-Linking–Based Theorem Prover
Journal of Automated Reasoning
Performance evaluation of dynamic priority operating systems
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
An object-oriented framework for modular resource management
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
A framework for the assessment of operating systems for small computers
ACM SIGICE Bulletin
A comparison of software and hardware techniques for x86 virtualization
Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
Teaching operating systems with ruby
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
Comparison of the three CPU schedulers in Xen
ACM SIGMETRICS Performance Evaluation Review
Maximally permissive deadlock avoidance for multithreaded computer programs
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
| Hi-index | 0.00 |