1.
Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic
基于时序逻辑证明编译优化程序变换的保义性
2.
Architecture in the Distributed System as the Center of the Program Change
以体系结构为中心的分布式系统的程序变换
3.
analog-to-digital converter check program
模拟数字变换器检验程序
4.
Fast Fourier Transform Algorithm and Matlab Procedure s Realization;
快速Fourier变换算法及Matlab程序实现
5.
Design of Automation Switch of Pumps to the Control of Frequency Variable System by PLC;
变频恒压控制中PLC自动切换程序设计
6.
To Switchover an APs Applications
切换 AP 应用程序
7.
A study on the ordinal shifting control process of DCT
双离合自动变速器顺序换挡控制过程研究
8.
TPD Study of LB Energy-Saving High Temperature Shift Catalyst
LB型节能高温变换催化剂的程序升温脱附
9.
Research on Logic Consistency of Junk Code Transformation within Sub-function
子程序花指令模糊变换逻辑一致性研究
10.
Translation of a source program into an executable program ( an object program ).
把源程序转换为可执行程序(目标程序)的过程。
11.
compute-limited switching
受计算限制的程序转换
12.
standard media conversion utility program
标准媒体转换实用程序
13.
computer conversion audit
计算机程序转换审计
14.
tape-to-printer program
带-打印机转换程序
15.
Bumping/layoff procedures
工作替换/临时解雇程序
16.
audio routing switcher
声频视频程序转换器
17.
multiplexer simulator
多路转换器模拟程序
18.
modifiable alternate program communication block
可修改更换程序通信块