FORMAL REQUIREMENTS FOR VIRTUALIZABLE THIRD GENERATION ARCHITECTURES

被引：386

作者：

POPEK, GJ

GOLDBERG, RP

机构：

[1] UNIV CALIF,COMP SCI DEPT,LOS ANGELES,CA 90024

[2] HONEYWELL INFORMATION SYST,WALTHAM,MA 02154

来源：

关键词：

D O I：

10.1145/361011.361073

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：412 / 421

页数：10

共 12 条

[1]

BUZEN JP, 1973, EVOLUTION VIRTUAL MA, P291

[2]

GAGLIARDI UO, 1972, P ACM AICA INT COMP

[3]

GALLEY SW, 1969, P ACM SIGARCH SIGOPS

[4]

GOLDBERG R, 1972, THESIS HARVARD U

[5]

Goldberg R. P., 1973, AFIPS Conference Proceedings Vol.42 1973 National Computer Composition and Exposition, P309

[6]

GOLDBERG RP, 1969, MS2686 MIT LINC LAB

[7]

GOLDBERG RP, 1973, P ACM SIGARCH SIGOPS

[8]

GOLDBERG RP, 1971, P HAWAII INT C SYSTE

[9]

LAUER HC, 1973, P ACM SIGARCH SIGOPS

[10]

LAUER HC, 1972, P ACM AICA INT COMPU