A hardware architecture for implementing protection rings
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
On the meaning of names in programming systems
Communications of the ACM
WATFOR—The University of Waterloo FORTRAN IV compiler
Communications of the ACM
Dynamic storage allocation systems
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Protection in an information processing utility
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
Communications of the ACM
A hierarchy of high order languages for systems programming
Proceedings of the SIGPLAN symposium on Languages for system implementation
LISP 1.5 Programmer's Manual
Report on the algorithmic language ALGOL 68
Report on the algorithmic language ALGOL 68
Optimizing the Performance of a Drum-Like Storage
IEEE Transactions on Computers
A new approach to the functional design of a digital computer
IRE-AIEE-ACM '61 (Western) Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference
ADAM: a problem-oriented symbol processor
AFIPS '63 (Spring) Proceedings of the May 21-23, 1963, spring joint computer conference
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
AFIPS '69 (Fall) Proceedings of the November 18-20, 1969, fall joint computer conference
The hardware-implemented high-level machine language for SYMBOL
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
SYMBOL: a major departure from classic software dominated von Neumann computing systems
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
The physical attributes and testing aspects of the symbol system
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
SYMBOL: a large experimental system exploring major hardware replacement of software
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
LSI: implications for future design and architecture
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
The Rice research computer: a tagged architecture
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Toward more efficient computer organizations
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Methodology for designing a computer architecture
ACM SIGARCH Computer Architecture News
A Restructurable Computer System
IEEE Transactions on Computers
Architectural Support for System Protection and Database Security
IEEE Transactions on Computers
Capability Based Tagged Architectures
IEEE Transactions on Computers
On the Development of a Measurement System for High Level Language Program Statistics
IEEE Transactions on Computers
Scheme for invalidating references to freed storage
IBM Journal of Research and Development
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
Hi-index | 14.99 |
This paper proposes that all data elements in a computer memory be made to be self-identifying by means of a tag. The paper shows that the advantages of the change from the traditional von Neumann machine to tagged architecture are seen in all software areas including programming systems, operating systems, debugging systems, and systems of software instrumentation. It discusses the advantages that accrue to the hardware designer in the implementation and gives examples for large- and small-scale systems. The economic costs of such an implementation for a minicomputer system are examined. The paper concludes that such a machine architecture may well be a suitable replacement for the traditional von Neumann architecture.