Libvirt supports the most popular system programming languages ( C and C++), a variety of scripting languages, and even a unified functional language ( Objective caml).

1、

This paper uses the Objective Caml language, and automatically translates the description of process algebra for Security protocols into relative logic programs.

本文基于Objective Caml语言，实现了安全协议进程代数描述到安全协议逻辑程序的自动转化。

互联网摘选

2、

The article discussed the application of complete arterial myocardial revascularization ( CAMR) to off-pump coronary artery bypass grafting ( OPCAB) and its effect.

探讨全动脉化在非体外循环冠状动脉搭桥中的应用及效果。

互联网摘选

3、

This paper proposed a CAMR heuristic for the collection-aware scheduling problem. It lowered the whole responding time through transmitting input data and receiving result alternately.

本文提出了一个基于多次通信策略的算法，称为CAMR算法，它通过交替地传输输入数据和接收处理结果，更好地重叠计算和通信而降低整个应用的响应时间。

互联网摘选

4、

Based on the CAMR model, two kinds of method are used in grid computation with different purposes, by time decomposition and by space decomposition.

根据临界加速地震矩释放模型的基本原理，根据研究目的的不同，采取两种不同的方式进行基于网格的并行处理，即按时间分解和按空间分解。

互联网摘选

5、

And the time decomposition method would be taken to test the CAMR model based on the selected seismicity in certain time interval.

如果要根据某地区历史上特定时间段的地震活动情况来检验地震加速破裂模型，则可以采用时间分解的方式。

互联网摘选

6、

The CAM templates are compiled using the CAM Studio Editor before you use them with the application run-time CAMV engine.

先使用CAM Studio编辑器编译CAM模板，然后是使用应用程序运行时CAMV引擎。

互联网摘选

7、

Diagnosis and Genetic Analysis of Resistance to Cauliflower Mosaic Virus in Brassica Crops Which Was Transformed with CaMV Gene VI

转化CaMV基因Ⅵ芸薹属蔬菜植株抗病性鉴定及其遗传分析

互联网摘选

8、

Expression of CaMV 35S Promoter in Transgenic Cotton

花椰菜花叶病毒（CaMV）35S启动子在转基因棉花中的表达

互联网摘选

9、

The use of open source greatly facilitated collaboration on developing the solution and integrating the CAMV engine into the deployment environment.

开源的使用极大促进了开发解决方案与将CAMV引擎集成到部署环境的融合。

互联网摘选

10、

The Genetic Transformation and Genetically Engineered Cross Protection of CaMV Gene ⅵ in Arabidopsis Thaliana

CaMV基因Ⅵ在拟南芥上的遗传转化及交叉保护

互联网摘选

11、

CAMV supports creating validations rules for providing Warning messages in addition to Errors.

CAMV支持创建错误和警告消息的验证规则。

互联网摘选

12、

New features in the latest CAMV release

最新CAMV发行版的新特性

互联网摘选

13、

Ultrasonic vibration cutting is a new type of composite processing for which a key requirement in the cutting process lies in whether a definite amplitude canm be maintained under the loaded condition of cutting.

超声波振动切削是一种新型的复合加工方法，其关键之一是在切削的有载状态下能否保持一定的振幅值。

互联网摘选

14、

She works in a very smart new office overlooking the river canm.

她在一间可以俯瞰剑河的非常漂亮的新办公室里工作。

provided by jukuu

15、

Computer Aided Optical Design ( CAOD) With IBM-PC

如何在IBM Pc微机上进行计算机辅助光学设计

互联网摘选

16、

Finally, the short-term plan and the Long-term considerations on CAOD are proposed.

最后，对今后CAOD的发展提出了近期计划和远期设想。

互联网摘选

17、

A Computer Aided Optical Design ( CAOD) Softwane System

计算机辅助光学设计CAOD软件系统

互联网摘选

18、

CAOD& A Software System for Computer Aided Optical Design

CAOD图形人机会话式光学设计软件系统

互联网摘选

19、

I noticed for the first time that Shrek should be a super-villain as "Shrek 3" and "Spider-Man 3" did battle in movie theaters.

我第一次注意到，《史莱克3》和《蜘蛛人3》在电影院的斗争中，史莱克应该是个超级大反派。

互联网摘选

20、

Yes, The Amazing Spider-Man 2 is exciting and visually delicious, thanks to the fights and special effects.

而《超凡蜘蛛侠2》的确是一场充满动作场面与炫目特效的视觉盛宴。

互联网摘选