程序设计语言

Y99-61854-146 2003032性能分析和测试(收录论文4篇)=Session 1b:perfor-mance analysis and testing[会,英]//1999 IEEE Confer-ence and Workshop 0n Engineering of Computer-BasedSystem.—146-172(FS,U)汇总的文章是:VHDL(Verilog 或高级硬件描述语言)模型高级测试台的生成,软实时系统中多级数据传送元素的性能分析,VSPEC 语言对建模和评价的约     

程序设计语言

9914175Java 对象的安全迁移研究[刊]/唐韶华//计算机工程与应用.—1999,35(5).—8～10(G)该文分析了 Java 对象动态迁移中存在的安全性问题,提出利用 RSA 加密与数字签名算法保护 Java 对象中秘密信息的方案,有效地解决了秘钥分配问题,实现了 Java 对象的安全迁移,确保了 Java 对象迁移过程中秘密信息的隐秘性、完整性和可认证性。参4     

程序设计语言

Y2000-62237-71 0015177SLDL:一种系统级设计语言=SLDL:a systems leveldesign language[会,英]/Kamath,R.& Alexander,P.//Proceeding of Twelfth Annual IEEE InternationalASIC/SOC Conference.—71～75(UC)     

程序设计语言

0119598一种新型的标记语言 XML[刊]/汤远闲//计算机应用研究.—2001,18(6).—131～133(E)在介绍了 XML 的起源、特点和功能之后,分析了XML 的研究内容,着重介绍了 XML 在电子商务、无线通讯等领域的应用,最后提出了 XML 的发展方向。参50119599VHDL 语言在现代数字系统中的应用[刊]/钱培怡//电测与仪表.—2001,38(6).—37～39(E)     

程序设计语言

Y2002一63088·301 0216217作为硬/软件共同设计之一部分的C/C十十硬件合成用的技术述评=Asurveyofteehniquesusedinthesynthe-515 of hardware from C/C十十as a part of hardware/soft-ware。,desi,(会,英〕/Ram耐,K.&Haggard,R.L.//Proce司ings of the 33记肠uth已巧terns帅posium onS邓tem Theo叮一301一304( PE)Y2002·63119·313 02162183D符号语言动画自动产生的综合图像和文电处理系统=An integral image and text processings邓tem for au-tomatie罗neration of 3D 51,一lan即agea‘mations(会,英〕/OZawa,T.//Thel砚E i…     

程序设计语言

Y2002-63279-2 0313037C处理中的标题压缩——一个互联网应用和一个新设计语言=Header compression in handel-c-an Internet ap-plication and a new design language[会,英]/Torkelsson,K.＆ Ditmar,J.//2001 IEEE Symposium on DigitalSystems Design.—2～7(TE)Y2002-63279-62 0313038嵌入式系统设计中的结合语言=Combining languagesin embedded system design[会,英]/Evnst,R.//2001IEEE Symposium on Digital Systems Design.—62(TE)     

程序设计语言

Y2002-63074-31 0207187有源万维网:万维网视图推导与存取控制用的以 XML为基础的有源规则=Active web:XML-based activerules for Web view derivations and access control[会,英]/Kiyorrdtsu,H.& Takeuc hi,A.//Proceedings ofthe Workshop on Information Technology for Virtual En-     

程序设计语言

0621530防范表达式的失控[刊,中]／卓开阔／／单片机与嵌入式系统应用．-2006,(4)．-79-81(C) 0621531．NET平台下利用C#实现SQL Server和Access的切换[刊,中]／王昌／／电脑开发与应用．-2006,19(4)．- 63(G) 0621532 Hanoi塔问题一种非递归算法的C++实现[刊,中]／贺存薪／／电脑开发与应用．-2006,19(4)．-54-56(G) 0621533 Timed CSP在硬件高层设计中的应用[刊,中]／崔小欣／／计算机工程．-2006,32(7)．-14-16(E)     

程序设计语言

Y2002-63410-242 0320999文件数据库查询语言=A documental database querylanguage[会,英]/Brisaboa,N.R.//2001 IEEE EighthSymposium on String Processing and Information Re-tvieval.—242～245(E)     

程序设计语言

Y2000-62151-243 0013480高性能计算用的 Java 语言=Session 12:Java for high-performance computing[会,英]//Proceedings of the 7thSymposium on the Frontiers of Massively Parallel Compu-tation(Frontiers'99).—243～257(PC)本部分收录2篇论文。题名为:Java Grende:高性能计算与通信(HPCC)用的软件基本结构和数值密集计算用的 Java:从 flop 到千兆 flop。     

程序设计语言

0607420 面向扩展文法语义分析器的自动生成[刊,中]/王胜军 //吉林大学学报(理学版)．-2005,43(6)．-751-756 (G) 在扩展巴克斯范式(EBNF)Earley分析的基础上, 提出一个语义分析器的自动生成算法,给出了一个带     

程序设计语言

Y98-61299-1684 9905135采用特殊函数的高速硬件描述语言模拟加速作用=VHDL simulation acceleration using specialized functions[会,英]/Ahn,T.& Choi,K.//1997 IEEE Interna-tional Symposium on Circuits and Systems,Vol.3.—1684～1687(Ⅰ)     

程序设计语言

Y2002-63522-2875 0328955Taxys=Esterel+Kronos:验证嵌入式系统实时特性的工具=Taxys=Esterel+Kronos a tool for verifying real-time properties of embedded systems[会,英]/Bertin,V.& Closse,E.//2001 Proceedings of the 40th IEEE Con-ference on Decision and Control,Vol.3 of 5.—2875-2880     

程序设计语言

Y2002-63523-3284 0323455信号说明同步语言:控制器合成和系统/结构设计=The signal declarative synthronous hnguage:controllersynthesis & systems/architecture design[会,英]/Ben-veniste,A.& Bournai,P.//Proceedings of the 40thIEEE Conference on Decision and Control,Vol.4 of5.—3284～3289(HE)Y2002-63523-3290 0323456应用 ORCCAD 和 ESTEREL 的自动控制应用的同步程序设计=Synchronous programming of automatic con-     

程序设计语言

0220928基于 XML 的统一用户界面描述[刊]/言金刚//计算机工程.—2002,28(6).—83～85(E)0220929e~2EPCs 语法规则的形式化[刊]/戴毅茹//计算机工程.—2002,28(6).—20～21,95(E)0220930基于 XML 的软件 Agent 间知识级通信语言[刊]/钟凌燕//计算机工程与应用.—2002,38(7).—26～28(E)该文结合 XML 与 CRLE、MRL,提出了一种新的基于 XML 的概念标记语言(CML)及消息标记语言     

程序设计语言

0115628VB 程序设计考核自动评阅系统中若干问题的研究[刊]/段汉周∥计算机工程.—2001,27(4).—167～168,179(K)在大规模的计算机应用能力考核中,必须要实现自动阅卷。对于 Visual Basic 基础程序设计考核,提出了一种自动评阅的方法,详细描述了该软件的设计思想、设计目的,并对阅卷过程中影响系统健壮性的因素作了深入分析。参4     

程序设计语言

Y2000-62376-295 010102能够替代一阶逻辑的控制自然语言=Controlled natu-ral language can replace first-order logic[会,英]/Fuchs,N.E.& Schwertel,U.//The Fourteenth IEEE Inter-national Conference on Automated Software Engineering(Proceedings ASE 1999).—295～298(PC)     

程序设计语言

回顾了虚拟现实建模语言 VRML 的发展历程,介绍了 VRML2.0的基本结构及利用其实现互操作的原理、方法,并给出了一个具体实例。参4     

程序设计语言

Y2002-63059-7 0211532系统C简介=Introduction to system C〔会,英〕/Bhawmik,S.//2001 IEEE the 14th International Con-ference on VLSI Design.-7～8(E)