The decline and fall of Operating Systems I
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Fairness in parallel programs: the transformational approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGCSE Bulletin
Using Petri nets to introduce operating system concepts
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
Journal of the ACM (JACM)
A data base management system design philosophy
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
The well-tempered semaphore: theme with variations
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
A taxonomy of scheduling in general-purpose distributed computing systems
IEEE Transactions on Software Engineering
Automatic programming of APL functions for screen management
APL '83 Proceedings of the international conference on APL
A microprocessor-based virtual memory system
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Design and implementation of a portable database system for small computers
SIGSMALL '81 Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems
A multiprogramming operating system for a minicomputer
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
A top-down, laboratory based operating system course
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
An operating systems implementation project for an undergraduate course
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
Operating system projects for undergraduates
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
Dynamic linking and environment initialization in a multi-domain process.
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
CAW '77 Proceedings of the 3rd workshop on Computer architecture : Non-numeric processing
A modified Chief Programmer Team approach to an operating systems class project
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
The Deadlock problem: a classifying bibliography
ACM SIGOPS Operating Systems Review
Some myths about famous mutual exclusion algorithms
ACM SIGACT News
Design patterns for semaphores
Proceedings of the 35th SIGCSE technical symposium on Computer science education
An operating system for the INTEL MDS system: the kernel
ACM SIGMINI Newsletter
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
A robust algorithm for bisecting a triconnected graph with two resource sets
Theoretical Computer Science
Bisecting a 4-connected graph with three resource sets
Discrete Applied Mathematics
A plane graph representation of triconnected graphs
Theoretical Computer Science
Partitioning a multi-weighted graph to connected subgraphs of almost uniform size
COCOON'06 Proceedings of the 12th annual international conference on Computing and Combinatorics
Bisecting a four-connected graph with three resource sets
ISAAC'05 Proceedings of the 16th international conference on Algorithms and Computation
Partitioning a weighted graph to connected subgraphs of almost uniform size
WG'04 Proceedings of the 30th international conference on Graph-Theoretic Concepts in Computer Science
Hi-index | 0.00 |