SYSTEM-75 - THE ORYX/PECOS OPERATING SYSTEM

被引：4

作者：

SAGER, GR ^{[1
]}

MELBER, JA ^{[1
]}

FONG, KT ^{[1
]}

机构：

[1] AT&T INFORMAT SYST LABS,MURRAY HILL,NJ 07974

来源：

AT&T TECHNICAL JOURNAL | 1985年 / 64卷 / 01期

关键词：

D O I：

10.1002/j.1538-7305.1985.tb00431.x

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：251 / 268

页数：18

共 50 条

[31] Review on Operating system
王师
中国高新区, 2018, (05) : 164 - 165
[32] The Linux Operating System
S. Balakrishnan
Resonance, 1999, 4 (4) : 64 - 72
[33] THE UNIX OPERATING SYSTEM
ROBERTS, B
BYTE, 1983, 8 (10): : 130 - 131
[34] OPERATING SYSTEM FOR MULTIPROCESSOR
TAKAMURA, S
YAMASHITA, K
TSURUHO, S
REVIEW OF THE ELECTRICAL COMMUNICATIONS LABORATORIES, 1975, 23 (9-10): : 1037 - 1046
[35] OPERATING SYSTEM PERFORMANCE
LYNCH, WC
COMMUNICATIONS OF THE ACM, 1972, 15 (07) : 579 - &
[36] SIMPLEX operating system
Krumme, D.W.
Conference on Hypercube Concurrent Computers and Applications, 1988,
[37] TRIOS OPERATING SYSTEM
JEREBIC, I
MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 55 - 60
[38] AN ENVIRONMENT FOR AN OPERATING SYSTEM
GOODROE, J
LEONARD, GF
COMMUNICATIONS OF THE ACM, 1964, 7 (07) : 399 - 399
[39] Disaggregated Operating System
Shan, Yizhou
Hallymysore, Sumukh
Huang, Yutong
Chen, Yilun
Zhang, Yiying
PROCEEDINGS OF THE 2017 SYMPOSIUM ON CLOUD COMPUTING (SOCC '17), 2017, : 628 - 628
[40] Operating System Verification
Klein, Gerwin
Huuck, Ralf
Schlich, Bastian
JOURNAL OF AUTOMATED REASONING, 2009, 42 (2-4) : 123 - 124