Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
Reflections on an operating system design
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
StarOS, a multiprocessor operating system for the support of task forces
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
The Cambridge CAP computer and its operating system (Operating and programming systems series)
The Cambridge CAP computer and its operating system (Operating and programming systems series)
Tagged architecture: how compelling are its advantages?
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
UIDs as internal names in a distributed file system
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
ACM SIGOPS Operating Systems Review
Capability Based Tagged Architectures
IEEE Transactions on Computers
Covert channel analysis of the password-capability system
ACSAC'05 Proceedings of the 10th Asia-Pacific conference on Advances in Computer Systems Architecture
| Hi-index | 0.00 |