Y2002-63279-165 0313060有规约编译器的应用形式验证=Applying formal veri-fication with protocol compiler[会,英]/Stangier,C.&Holtmann,U.//2001 IEEE Symposium on Digital Sys-tems Design.—165～169(TE)Y2002-63441-175 0...
详细信息
Y2002-63279-165 0313060有规约编译器的应用形式验证=Applying formal veri-fication with protocol compiler[会,英]/Stangier,C.&Holtmann,U.//2001 IEEE Symposium on Digital Sys-tems Design.—165～169(TE)Y2002-63441-175 0313061防止未受权win32应用软件的执行=Preventing theexecution of unauthorized win32 applications[会,英]/Schmid,M.& Hill,F.//2001 IEEE DARPA Informa-tion Survivability Conference & Exposition,Vol.Ⅱ.—175～183(A)
Y2002-63374-158 0310622输入缓冲器开关群管线调度程序=Group-pipelinescheduler for input-buffer switch[会,英]/Motoki,A.&Kamiya,S.//2001 Joint 4th IEEE International Confer-ence on ATM(ICATM’ 01)and High Speed Intell...
详细信息
Y2002-63374-158 0310622输入缓冲器开关群管线调度程序=Group-pipelinescheduler for input-buffer switch[会,英]/Motoki,A.&Kamiya,S.//2001 Joint 4th IEEE International Confer-ence on ATM(ICATM’ 01)and High Speed IntelligentInternet Symposium.—158～162(E)
Y99-61854-41 2003037伦敦的“灾难性事件”:伦敦救护服务中心案例研究=Disaster in London:the LAS case study[会,英]/Dalch-er,D.//1999 IEEE Conference and Workshop on Engi-neering of Computer-Based System.—41～52(Fs,U)分...
详细信息
Y99-61854-41 2003037伦敦的“灾难性事件”:伦敦救护服务中心案例研究=Disaster in London:the LAS case study[会,英]/Dalch-er,D.//1999 IEEE Conference and Workshop on Engi-neering of Computer-Based System.—41～52(Fs,U)分析了伦敦救护服务中心(LAS)在前几年发生的一起系统全部失灵事件的前因后果,并指出导致这一“灾难”事件发生的关键因素,不仅仅是技术问题,当时流行的企业文化和财政氛围在其中扮演了重要角色。LAS 在过去十几年的时间里一直在计算机化(自动化)其车辆调度系统。参292003038CORBA 技术在电信网络管理中的应用[刊]/冯雷//电信快报.—1999,(10).—26～30(A)
0102997并行程序的优化与性能评价[刊]/刘杰//计算机工程与科学.—2000,22(5).—67～70(D)Y2000-62528.430 0102998通过检测可能通路严格计算环情况下执行时间=Tighten the computation of worst-case execution-time byderecting feasi...
详细信息
0102997并行程序的优化与性能评价[刊]/刘杰//计算机工程与科学.—2000,22(5).—67～70(D)Y2000-62528.430 0102998通过检测可能通路严格计算环情况下执行时间=Tighten the computation of worst-case execution-time byderecting feasible paths[会,英]/Aljifri,H.A.＆ Pons,A.//2000 IEEE International Performance,Computingand Communications Confefence.—430～436(HC)
Y2000-62169-32 0021024在 DSP 算法和专用集成电路结构方面面向工程的主程序=A project-oriented master programnle in“DSP al-gorithms and ASIC architectures”[会,英]/Koch,P.//Proceedings of the 1999 Internarional Conferenc...
详细信息
Y2000-62169-32 0021024在 DSP 算法和专用集成电路结构方面面向工程的主程序=A project-oriented master programnle in“DSP al-gorithms and ASIC architectures”[会,英]/Koch,P.//Proceedings of the 1999 Internarional Conference on Mi-croelectronic Systems Education(MSE’99).—32～33(YP)0021025四参数正弦波拟合软件的评价[刊,译,英]/梁志国//南京航空航天大学学报(英文版).—2000,17(1).—100～106(E)
暂无评论