Teaching operating systems with Modula-2
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
A project for operating systems simulation
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
4.2BSD and 4.3BSD as examples of the UNIX system
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Efficient synchronization of multiprocessors with shared memory
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
On table fragmentation in virtual memory management
ACM SIGOPS Operating Systems Review
Multiprocessor cache synchronization: issues, innovations, evolution
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Memory management units for microcomputer operating systems
ACM SIGOPS Operating Systems Review
Catastrophe theory: its application in operating system design
ACM SIGOPS Operating Systems Review
A course project to design and implement the kernel of a real-time operating system
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Concurrent programming in Modula-2
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Operating system projects on two simulated machines
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
The decline and fall of Operating Systems I
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Adding time to synchronous process communications
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Assembling a low-cost parallel microcomputer system for student experimentation
ACM SIGSMALL/PC Notes
Portability and the UNIX operating system
ACM SIGOPS Operating Systems Review
An operating system project using Concurrent Euclid
ACM SIGCSE Bulletin
Efficient synchronization of multiprocessors with shared memory
ACM Transactions on Programming Languages and Systems (TOPLAS)
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Applying Synthesis Principles to Create Responsive Software Systems
IEEE Transactions on Software Engineering
Optimul: An optional interconnect for multiprocessor systems
ICS '88 Proceedings of the 2nd international conference on Supercomputing
A model for concurrency in nested transactions systems
Journal of the ACM (JACM)
Virtual memory for a hypercube multiprocessor
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Indirect naming in distributed programming languages
ACM SIGPLAN Notices
Sheaved memory: architectural support for state saving and restoration in pages systems
ASPLOS III Proceedings of the third international conference on Architectural support for programming languages and operating systems
A Binary Single-Key-Lock System for Access Control
IEEE Transactions on Computers
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection
IEEE Transactions on Software Engineering
A Cache-Based Natural Language Model for Speech Recognition
IEEE Transactions on Pattern Analysis and Machine Intelligence
The 1988–89 Taulbee survey report
Communications of the ACM
A formal protection model of security in centralized, parallel, and distributed systems
ACM Transactions on Computer Systems (TOCS)
ACM SIGPLAN Notices
Paradigms for process interaction in distributed programs
ACM Computing Surveys (CSUR)
Teaching concurrency in the programming languages course
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Using Petri nets to introduce operating system concepts
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fairness in processor scheduling in time sharing systems
ACM SIGOPS Operating Systems Review
Semaphores for fair scheduling monitor conditions
ACM SIGOPS Operating Systems Review
Experiencing minix as a didactical aid for operating systems courses
ACM SIGOPS Operating Systems Review
An Efficient Deadlock Avoidance Technique
IEEE Transactions on Computers
Scheduling parallel programs with non-uniform parallelism profiles
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
Building monitors with UNIX and C
ACM SIGCSE Bulletin
Spawn: A Distributed Computational Economy
IEEE Transactions on Software Engineering
Analysis of a Virtual Memory Model for Maintaining Database Views
IEEE Transactions on Software Engineering
Optimistic Make (Software Design)
IEEE Transactions on Computers
Scheduling real-time transactions: a performance evaluation
ACM Transactions on Database Systems (TODS)
ACM SIGCSE Bulletin
An Ada deadlock testing algorithm based on control and communication flow graphs
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Extending device management in Minix
ACM SIGOPS Operating Systems Review
Implementation and evaluation of alternative process schedulers in MINIX
ACM SIGOPS Operating Systems Review
A completeness theorem for a class of synchronization objects
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Optimization of the grouped sweeping scheduling (GSS) with heterogeneous multimedia streams
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Optimal online scheduling of parallel jobs with dependencies
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
A formalism for specifying communicating processes
CSC '93 Proceedings of the 1993 ACM conference on Computer science
ACM SIGCSE Bulletin
A tool for operating system teaching
ACM SIGCSE Bulletin
Deadlock detection and resolution in simulation models
WSC '94 Proceedings of the 26th conference on Winter simulation
Signal-to-symbol transformation and vice versa: from fundamental processes to representation
ACM Computing Surveys (CSUR)
Scheduling Soft Real-Time Jobs Over Dual Non-Real-Time Servers
IEEE Transactions on Parallel and Distributed Systems
A cost-comparison approach for adaptive distributed shared memory
ICS '96 Proceedings of the 10th international conference on Supercomputing
A predictive system shutdown method for energy saving of event-driven computation
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Load control for locking: the “half-and-half” approach
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Data-valued partitioning and virtual messages (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
SODA '93 Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms
Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms
Laboratory-style teaching of computer science
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Synchronization with multiprocessor caches
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
On adaptive caching in mobile databases
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
A predictive system shutdown method for energy saving of event-driven computation
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Issues in implementing a real time embedded Data Base Management System in Ada
WADAS '86 Proceedings of the third annual Washington Ada symposium on Ada: Ada use in focus : practical lessons in perspective
System level online power management algorithms
DATE '00 Proceedings of the conference on Design, automation and test in Europe
CLANG - a simple teaching language
ACM SIGPLAN Notices
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Further comments on "A Correct and Unrestrictive Implementation of General Semaphores"
ACM SIGOPS Operating Systems Review
OpenMP on networks of workstations
SC '98 Proceedings of the 1998 ACM/IEEE conference on Supercomputing
Latency effects of system level power management algorithms
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Formal Verification of a Distributed Computer System
Formal Methods in System Design
On-Line Control and Deadlock-Avoidance in a Page-Parallel Multiprocessor Rasterizer
IEEE Transactions on Parallel and Distributed Systems
Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model
IEEE Transactions on Parallel and Distributed Systems
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Metrics for Labeled Markov Systems
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
TPF: a dynamic system thrashing protection facility
Software—Practice & Experience
Using personal computers in operating system courses
ACM SIGOPS Operating Systems Review
Throughput Optimization in Disk-Based Real-Time Application Specific Systems
ISSS '96 Proceedings of the 9th international symposium on System synthesis
A deadlock detection and recovery algorithm using the formalism of a directed graph matrix
ACM SIGOPS Operating Systems Review
TeraScope: distributed visual data mining of terascale data sets over photonic networks
Future Generation Computer Systems - iGrid 2002
Design and validation of a message-passing system
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Metrics for labelled Markov processes
Theoretical Computer Science - Logic, semantics and theory of programming
Code aware resource management
Proceedings of the 5th ACM international conference on Embedded software
Coordination with multicapabilities
Science of Computer Programming
Achievable cases in an asynchronous environment
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
On Mechanisms for Deadlock Avoidance in SIP Servlet Containers
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks
The resource allocation problem in flexible manufacturing systems
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
An experimental model to analyze OpenMP applications for system utilization
IWOMP'11 Proceedings of the 7th international conference on OpenMP in the Petascale era
Checking a mutex algorithm in a process algebra with fairness
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Self-stabilizing mutual exclusion and group mutual exclusion for population protocols with covering
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
| Hi-index | 0.02 |