Computer Programming and Architecture: The VAX-11

Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures

IEEE Transactions on Computers - Special issue on architectural support for programming languages and operating systems

EMERALDS: A Small-Memory Real-Time Microkernel

IEEE Transactions on Software Engineering

Effective VLSI Processor Architectures for HLL Computers: The RISC Approach

IEEE Micro

A Configurable, Virtual Microprocessor System for Instructional Use in Real-Time, Real-World Studies

IEEE Micro

Processor Implementations Using Queues

IEEE Micro

Workload characterization and performance evaluation in a research environment

SIGMETRICS '82 Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems

Fast interrupt priority management in operating system kernels

moas'93 USENIX Symposium on USENIX Microkernels and Other Kernel Architectures Symposium - Volume 4

Capability Based Tagged Architectures

IEEE Transactions on Computers