Kill the operating system!

被引：0
|
作者：
Garfinkel, S
机构：
来源：
TECHNOLOGY REVIEW | 2003年 / 106卷 / 07期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：32 / 32
页数：1
相关论文
共 50 条
  • [31] AN ENVIRONMENT FOR AN OPERATING SYSTEM
    GOODROE, J
    LEONARD, GF
    COMMUNICATIONS OF THE ACM, 1964, 7 (07) : 399 - 399
  • [32] 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
  • [33] Operating System Verification
    Klein, Gerwin
    Huuck, Ralf
    Schlich, Bastian
    JOURNAL OF AUTOMATED REASONING, 2009, 42 (2-4) : 123 - 124
  • [34] THE QNX OPERATING SYSTEM
    YAGER, T
    BYTE, 1990, 15 (08): : 281 - 283
  • [35] INTELLIGENT OPERATING SYSTEM
    KINNUCAN, P
    MINI-MICRO SYSTEMS, 1977, 10 (01): : 59 - 60
  • [36] Operating System Verification
    Gerwin Klein
    Ralf Huuck
    Bastian Schlich
    Journal of Automated Reasoning, 2009, 42 : 123 - 124
  • [37] EVOLUTION OF AN OPERATING SYSTEM
    ANDERSON, JW
    ATKINSON, MP
    COLIN, AJT
    HAINSWORTH, DJ
    LISTER, AM
    COMPUTER BULLETIN, 1971, 15 (06): : 212 - +
  • [38] OPERATING A DILAPIDATED SYSTEM
    HAZLIP, SW
    SEWAGE AND INDUSTRIAL WASTES, 1950, 22 (11): : 1483 - 1485
  • [39] THE EXPLAINABLE OPERATING SYSTEM
    WETTSTEIN, HD
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 563 : 247 - 250
  • [40] TRANSFORMING AN OPERATING SYSTEM
    CRISMAN, P
    BRYAN, GE
    DATAMATION, 1982, 28 (03): : 158 - &
12345