Capability based tagged architectures
Lopriore - IEEE transactions on computers, 1984 - ieeexplore.ieee.org
An architecture is presented which incorporates capability based addressing and memory
tagging features. It defines three kinds of mechanisms for the implementation of object types …
tagging features. It defines three kinds of mechanisms for the implementation of object types …
A secure capability computer system
S Wiseman - 1986 IEEE Symposium on Security and Privacy, 1986 - ieeexplore.ieee.org
A secure computer system based on a capability architecture is described. Abstract types
are used to provide separation and the reference monitor function. By providing a trusted …
are used to provide separation and the reference monitor function. By providing a trusted …
An implementation of storage management in capability environments
P Corsini, L Lopriore - Software: Practice and Experience, 1995 - Wiley Online Library
The exploitation of the salient features of capability‐based addressing environments leads
to a high number of small objects existing in memory at the same time. It is thus necessary to …
to a high number of small objects existing in memory at the same time. It is thus necessary to …
[图书][B] Building an open system
J Slonim, A Schonbach, MA Bauer, LJ MacRae… - 1987 - dl.acm.org
Open systems architectures represent a fertile ground for authors today. This book trades on
that trend. While much attention is given to the International Standards Organization Open …
that trend. While much attention is given to the International Standards Organization Open …
The architecture of a capability-based microprocessor system
P Corsini, L Lopriore - IEEE Micro, 1987 - ieeexplore.ieee.org
The Architecture of a Capability-Based Microprocessor System Page 1 FEAT U RE By
implementing a capabilityoriented addressing scheme, tagged storage, and a single-level-store …
implementing a capabilityoriented addressing scheme, tagged storage, and a single-level-store …
Sprachbasierte Konstruktion sicherer Systeme
D Marek - 2003 - mediatum.ub.tum.de
In der Arbeit wird ein sprachbasierter top-down Ansatz zur Konstruktion sicherer verteilter
Systeme vorgestellt. Dieser Ansatz ist dadurch charakterisiert, dass alle Eigenschaften eines …
Systeme vorgestellt. Dieser Ansatz ist dadurch charakterisiert, dass alle Eigenschaften eines …
[PDF][PDF] J. Goldberg, The Evolution of Fault Tolerant Computing at the Charles Stark Draper
J Bartlett, J Gray, B Horst, H Ihara, K Mori, S Miyamoto - researchgate.net
374 The Evolution of Dependable Computing in Italy present days, with in creased
emphasis being placed on dependability attributes. The growing interest of the Italian …
emphasis being placed on dependability attributes. The growing interest of the Italian …
The Evolution of Dependable Computing in Italy
P Ciompi, F Grandoni, L Strigini, L Simoncini - … : In the Honor of William C …, 1987 - Springer
This brief history of the evolution of dependable computing in Italy begins at the end of the
sixties with the need to produce test sequences and testing tools to verify hardware …
sixties with the need to produce test sequences and testing tools to verify hardware …
[图书][B] View integration using a generalized object-oriented data model
M Shafique - 1989 - search.proquest.com
For a database application, the real world situation (miniworld) needs to be abstracted and
represented as a logical schema. This process of abstraction is called the logical design …
represented as a logical schema. This process of abstraction is called the logical design …