In most cases these tools are based on standard software compiler techniques , which are not well suited for the peculiar architecture of dsp processors 因为很多这些工具都是基于一些标准的编译技术，而对于特定的dsp处理器的结构都不是很适合的。
3 . the author analyzes the critical technology the compiler theory and the implement of the doc . / view structure in the software realization 分析了本系统中的文档视图结构的实现技术，及对逆向工程的第一步骤实现的支持? eucp系统的反编译技术过程。
Rm profile - based dynamic voltage scheduling using program checkpoints . in proc . design , automation and test in europe conference date , washington : ieee computer society press , march 2002 , pp . 168 - 178 完成任务内的电压调节需要借助于编译技术，在程序内部插入电压调节点，根据当前时间和任务的运行需求调整电压。
As the system designed , technology of advanced language programming ( c / c + + , shell ) , kernel cutting , kernel modifying , kernel compiling as well as system programming are involved in 设计该实验系统时，作者涉及了如下技术：高级语言编程技术( c c + + ， shell语言) 、内核裁减技术、内核修改技术、内核编译技术以及系统编程技术等。
The most advance software - engineering methodology was presented , for example the oop , com , compiler technology and so on . , which are used to design and develop the component modeling and simulation application framework of the tgcs 本论文仿真软件的实现采用了最先进的软件工程方法? ?面向对象技术、组件技术、编译技术，由此设计和开发了的鱼雷制导系统仿真环境。
In this dissertation , a new solution to the implementation of automatic satellite testing practice has been put forward with its core components partially implemented - a sort of computer programming language based satellite test and operation language is presented ; design and partial implementation of compiling and execution environment based on object - oriented paradigm , compiling technology are presented in detail too - all above has laid a solid foundation to the success of the final system 本文对上述问题进行了研究，提出了一种实现卫星自动化测试的方案，并对其中的关键技术加以了实现，为整个系统的最终完成打下了坚实的基础。所完成的工作包括根据卫星测试任务的需要，借鉴计算机程序设计语言的思想，提出了一种新的卫星测试操作语言；结合面向对象方法学，编译技术思想理念，给出了编译器，运行时环境以及集成支持环境的设计方案，并且作了部分实现。
6 clarke e m , emerson e a , sistla a p . automatic verification of finite - state concurrent systems using temporal logic specifications . acm transactions on programming languages and systems , 1986 , 8 : 244 - 263 . 7 aho a v , hopcroft j e , ullman j d . the design and analysis of computer algorithms Model checking过去主要是作为一种验证技术被广为使用的，本文作者通过对dmc以及后续工程项目的研究发现， model checking完全可以作为一种计算技术被广泛使用，就相当于已经成为经典编译技术yacc在软件开发的各个层面上被广泛使用一样。
First , the paper researches the format and semantic features of iso apt in detail , next , applies regular expression to describe the definition of apt ’ s tokens and uses context - free grammar to describe apt ’ s syntax rules , last , designs the intermediate code format which keeps on the source code semantic and designs a complete module to check lexical and syntax errors of nc code by using modern compiling techniques 在代码预处理技术方面,详细研究了标准数控代码语言的格式和语义并采用现代编译技术中的正则表达式和上下文无关文法分别描述了标准数控代码语言的记号定义和语法结构定义;设计了保持源代码语义的中间标准数控代码格式,在此基础上,设计并构建了数控代码的词法和语法检查模块。
Although the jit ( just - in - time ) compilation technology helps java technology succeed on the desktop computer and server platform , the mobile phones with weak computing capabilities , extremely restricted memory and power supply make it much difficult to be used on the embedded java virtual machine 虽然即时编译技术帮助java在桌面机和服务器平台上取得了巨大的成功,但是由于移动通信设备自身计算能力相对较弱、存储容量和电力供应十分有限,使得即时编译技术无法直接应用到嵌入式java虚拟机中。
