助手标题
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
共[3400]条 当前为第1条到20条[由于搜索限制,当前仅支持显示前5页数据]
 

相关语句
languages
The new Haar transforms allow us to detect the underlying ergodic structures on a class of Cantor-type sets or languages.
      
Its temporal evolution orbits are coarse-grained into evolution sequences and the evolution languages are defined.
      
Complexity of evolution languages of the elementary cellular automaton of rule 146
      
Traditional layout-reconstructed-based methods rely on high quality document images as well as an optical character recognition (OCR) precision, and can only deal with several widely used languages.
      
In this paper we explore an observation-oriented model for BPEL-like languages, which can be used to study program equivalence.
      
Proof-Carrying Code brings two big challenges to the research field of programming languages.
      
It is compatible with standard data formats (EDIF, ISCAS85, etc.) and designing tools, such as hardware description languages (HDL).
      
Emphasis was laid on the close relation between the translators for various programming languages and convertors of different data formats.
      
There does not exist an enumerable family of context-free grammars that generates the class of single-valued languages
      
A characterization of the class of enumerable languages
      
Using the concept of D-graphs, it is demonstrated that CF expressions define CF languages.
      
Software implementations of such algorithms inC++-type languages are discussed together with means that provide for computations with an arbitrary accuracy.
      
Prototype tools for formal and empirical quality evaluation of visualization metaphors and languages based on the notion of adequacy in visualization are described.
      
Fortran-based programming languages for parallel computers are discussed.
      
This paper presents a simple and natural semantics for object-oriented languages with classes and multiple inheritance.
      
Other vector programming languages are surveyed and compared with C[].
      
An approach to specifying visual project languages by means of OCL constraints imposed on the UML metamodel with the subsequent automated generation of validators in accordance with the architecture described is suggested.
      
Compilers are used for creating executable modules for programs written in high-level languages; therefore, the presence of errors in a compiler is a serious danger for the quality of the software developed with the use of this compiler.
      
Compilers are used for creating executable modules for programs written in high-level languages; therefore, the presence of errors in a compiler is a serious danger for the quality of the software developed with the use of this compiler.
      
Results of the application of the proposed methodology for testing parsers for various languages including C and Java are presented.
      
 

首页上一页12345下一页尾页 

 
CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社