DYNAMIC VERIFICATION OF OPERATING SYSTEM DECISIONS

被引：7

作者：

FABRY, RS ^{[1
]}

机构：

[1] UNIV CALIF,DEPT ELECT ENGN & COMP SCI,BERKELEY,CA 94720

来源：

关键词：

D O I：

10.1145/355611.362535

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：659 / 668

页数：10

共 10 条

[1] PROCESSING UNIT DESIGN CONSIDERATIONS [J].

AMDAHL, GM .

[2]

BASKIN HB, 1972, P AFIPS SJCC, P431

[3]

BORGERSON BR, 1972, 1972 DIG INT S FAULT, P89

[4]

BORGERSON BR, 1973, P DATAFAIR, P326

[5]

CARTER WC, 1971, COMPUTER JAN, P10

[6] STRUCTURE OF THE-MULTIPROGRAMMING SYSTEM [J].

DIJKSTRA, EW .

[7]

Elspas B., 1972, Computing Surveys, V4, P97, DOI 10.1145/356599.356602

[8]

LAMPSON B, 1971, 5 PRINC S INF SCI SY, P437

[9]

QUATSE JT, 1972, P AFIPS SJCC, P783

[10]

Weissman C., 1969, Proceedings of the 1969 fall joint computer conference, P119, DOI 10.1145/1478559.1478574