Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Value Transmission Method for Abstract Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data Type Specification: Parameterization and the Power of Specification Techniques
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Dynamic microprogramming: processor organization and programming
Communications of the ACM
CLU Reference Manual
Algorithms + Data Structures = Programs
Algorithms + Data Structures = Programs
A Discipline of Programming
Firmware Microprogramming and Restructurable Hardware
Firmware Microprogramming and Restructurable Hardware
The case for the reduced instruction set computer
ACM SIGARCH Computer Architecture News
Comments on "the case for the reduced instruction set computer," by Patterson and Ditzel
ACM SIGARCH Computer Architecture News
A firmware monitor to support vertical migration decisions in the UNIX operating system
MICRO 15 Proceedings of the 15th annual workshop on Microprogramming
Crossing the machine interface
MICRO 15 Proceedings of the 15th annual workshop on Microprogramming
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Heart: An operating system nucleus machine implemented by firmware
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Toward user sharing of the microprogramming level under UNIX on the Perkin-Elmer 3220
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
General microprogram width reduction using generator sets
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
Using an oracle to measure potential parallelism in single instruction stream programs
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
A data abstraction language based on microprogramming
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
High level language programs run ten times faster in microstore
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
Architectural implications of abstract data type implementation
ISCA '79 Proceedings of the 6th annual symposium on Computer architecture
Algorithms for a self-tuning microprogrammed computer
MICRO 10 Proceedings of the 10th annual workshop on Microprogramming
Some desirable properties of data abstraction facilities
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Reliable hardware-software architecture
Proceedings of the international conference on Reliable software
Classes: an abstract data type facility for the C language
ACM SIGPLAN Notices
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Migration implementation by integrating microprogramming and HLL programming
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
An automatic migration scheme based on modular microcode and structured firmware sequencing
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Transparent microprogramming in support of abstract type oriented dynamic vertical migration
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Hi-index | 0.00 |
The study of structured programming has shown that through data abstraction, program reliability and maintainability can be improved. At the same time, vertical migration has been shown to be an effective way to improve the performance of programs. Contemporary techniques, however, tend to address the needs of only certain classes of programs and therefore may overlook or even preclude certain optimization opportunities. Dynamic microprogramming can overcome the problem of applicability of a particular vertical migration by allowing the migration to be tailored for each particular application. This paper describes a project which is exploring the interactions of these three concepts of dynamic microprogramming, vertical migration, and data abstraction and how they can be integrated to form a coherent facility which provides automated redefinition of computer architecture for each application model.