Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
Advances in Computer Architecture
Advances in Computer Architecture
The case against stack-oriented instruction sets
ACM SIGARCH Computer Architecture News
The design of computer architectures to enhance software reliability.
The design of computer architectures to enhance software reliability.
A hardware implementation of capability-based addressing
ACM SIGARCH Computer Architecture News
Variable-length capabilities as a solution to the small-object problem
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
A hardware implementation of capability-based addressing
ACM SIGOPS Operating Systems Review
Watchdog Processors and Structural Integrity Checking
IEEE Transactions on Computers
Hi-index | 0.00 |
Because of the tremendous difficulty of producing reliable software (application and system software) and the serious consequences of software errors, a new solution is being explored: the development of a new computer architecture that will substantially enhance the reliability of the programs executing above it. This paper concentrates on the storage concepts (e.g., data representations and addressing) in the architecture.