Formal requirements for virtualizable third generation.pdf

Formal requirements for virtualizable third generation.pdf

ID:34589412

大小:1010.92 KB

页数:10页

时间:2019-03-08

Formal requirements for virtualizable third generation.pdf_第1页
Formal requirements for virtualizable third generation.pdf_第2页
Formal requirements for virtualizable third generation.pdf_第3页
Formal requirements for virtualizable third generation.pdf_第4页
Formal requirements for virtualizable third generation.pdf_第5页
资源描述:

《Formal requirements for virtualizable third generation.pdf》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库

1、19.Fabry,R.S.Auser'sviewofcapabilities.ICRQuart.Rep.15(Nov.1967),ICR,U.ofChicago,Sec.IC.20.Fabry,R.S.Preliminarydescriptionofasupervisorforamachineorientedaroundcapabilities.ICRQuart.Rep.18(Aug.1968),ICR,U.ofChicago,Sec.lB.21.Fabry,R.S.List-structuredaddressing.Ph.D.Th.,U.o

2、fChicago,1971.22.Feustal,E.A.TheRiceresearchcomputer--ataggedarchi-tecture.Proc.AFIPS1972SJCC,Vol.40,AFIPSPress,Montvale,N.J.pp.369-377.23.Feustal,E.A.Ontimeadvantagesoftaggedarchitecture.IEEEFormalRequirementsTrans.onComputersC-22,7(July1973),644-656.24.Graham,G.S.,andDenn

3、ing,P.J.Protection--principlesandforVirtualizablepractice.Proc.AFIPS1972SJCC,Vol.40,AFIPSPress,Montvale,N.J.,pp.417-429.25.Halton,D.HardwareoftheSystem250forcommunicationThirdGenerationcontrol.Presentedatthelnternat.SwitchingSyrup.,Cambridge,Mass.,June6-9,1972,7pp.26.Hamer-

4、Hodges,K.J.FaultresistanceandrecoverywithinArchitecturesSystem250.PresentedatI.C.C.Conf.,Washington,D.C.,Oct.1972,6pp.27.Iliffe,J.K.Basicmaehhwprinciples.AmericanElsevier,NewGeraldJ.PopekYork,1968.UniversityofCalifornia,LosAngeles28.Iliffe,J.K.,andJodeit,J.G.Adynamicstorage

5、allocationscheme.Comput.J.5(Oct.1962),200-209.and29.Jones,A.K.Protectionstructures.Ph.D.Th.,Carnegie-RobertP.GoldbergMellonU.,1973.HoneywellInformationSystemsand30.Lampson,B.W.Onreliableandextendableoperatingsystems.InTechniquesinSoftwareEngineering,NATOScienceHarvardUniver

6、sityCommitteeWorkshopMaterial,Vol.11,Sept.1969.31.Lampson,B.W.Dynamicprotectionstructures.Proc.AFIPS1969FJCC,Vol.35,AFIPSPress,Montvale,N.J.,pp.27-38.32.Lampson,B.W.Protection.Proc.5thAnn.PrincetonConf.,PrincetonU.,Mar.1971,pp.437-443.33.LeClerc,J.Y.Memorystructuresforinter

7、activecomputers.VirtualmachinesystemshavebeenimplementedonaProjectGENIEdocumentNo.40.10.110,U.ofCalifornia,limitednumberofthirdgenerationcomputersystems,e.g.Berkeley,1966.34.Needham,R.M.Protectionsystemsandprotectionimple-CP-67ontheIBM360/67.Frompreviousempiricalmentations.

8、Proc.AFIPS1972FJCC,Vol.41,AFIPSPress,studies,itisknownthatcertainthirdgenerationco

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。