共查询到20条相似文献,搜索用时 10 毫秒
1.
2.
3.
4.
《电子科技文摘》2000,(8)
Y2000-62230-77 0013497编译技术(含3篇文章)=Compilation techniques[会,英]//The 1999 International Conference on Parallel Ar-chitectures and Compilation Techniques.—77~96(PC)本部分收入3篇论文。题名为:出故障处理机寄存器分配与指令调度技术评价,通用 Java 程序的并行性外壳,以及模间隔;程序分析用的简单实用表示法。Y2000-62230-172 0013498高级编译(含3篇文章)=Advanced compilation[会,英]//The 1999 International Conference on Parallel Ar-chitectures and Compilation Techniques.—127~157(PC) 相似文献
5.
6.
7.
8.
9.
10.
《电子科技文摘》2006,(12)
0633957 3ds Max选择集合的应用[刊,中]/焦飞//电视字幕·特技与动画.-2006,12(9).-39-42(L) 0633958 XML,Schema设计方法研究[刊,中]/刘洪星//交通与计算机.-2006,24(4).-123-126(D) 0633959基于语义缓存技术的Hibernate查询缓存机制研究[刊,中]/徐凯声//交通与计算机.-2006,24(4).- 120-122(D)语义缓存技术是优化数据库性能的有效方法。为优化查询性能,Hibernate引入了查询缓存机制。在深入研究基于语义缓存技术的Hibernate缓存机制同时,提出了在不同进程中利用JMS技术与手工刷新查询结果,从而实现了一个查询应用进程与一个更新应用进程间的相互通信,并根据后一进程的状态判定是否需要查询缓存。参6 相似文献
11.
12.
13.
14.
《电子科技文摘》2001,(2)
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)0102999 相似文献
15.
16.
17.
《电子科技文摘》2003,(6)
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) 相似文献
18.
《电子科技文摘》1999,(10)
Y98-61460-127 9916011个人电脑微电子学训练工具的发展=Development ofmicroelectronics training tools on PC[会,英]/Sicard,E.//1998 IEEE 2nd International Caracas Conference onDevices,Circuits and Systems.—127~130(YG)本文提出一种为大规模集成电路(VLSI)设计高级训练而设计的基于 PC 的运行于 PC/Windows 95环境下的计算机软件,该软件具备亚微米技术的特殊功能,该软件由基于硬件描述语言(HPL)的图形编辑器和在线模拟器组成,另外,该软件还包括覆盖集成电路设计的不同部分的一整套指导系统,如 CMOS 工艺指导,MOS 器件和模型指导等。参9 相似文献
19.
《电子科技文摘》2000,(9)
Y2000-62227-345 0015205应用(1)=Applications I[会,英]//Proceedings of the1999 International Workshops on Parallel Processing.—345~357(PC)本部分收有2篇论文。题名为:WASM11(一种虚拟硬件系统)用的编译程序实现与评价和利用运行时可重构硬件解布尔可满足性用的结构。Y2000-62227-461 0015206基于目标的系统=Object-based systems[会,英]//Pro-ceedings of the 1999 International Workshops on ParallelProcessing.—461~479(PC)本部分收有3篇论文。题名为:电子商务对象用的基于 CORBA 的完善合同支援系统,采用 CORBA 的开放实时系统设计,以及采用以成分为基础的工具的执行控制模拟器制造。 相似文献
20.