A mathematical definition of variable minimal unsatisfiability ( VMU ) is introduced to drive this abstraction refinement process.

Interestingly, note that threads share the virtual memory abstraction while each receives its own virtualized processor.

有趣的是, 注意在线程之间可以共享虚拟内存,但是各自拥用自己的虚拟处理器.

Increased OS abstraction can also increase the potential for performance reduction and limitations.

增加操作系统的抽象性,意味着会同时使性能降低和功能受限.

Chinese Abstraction GetFont. exe running, it must document library copy of the current directory.

汉字字模提取程序运行GetFont. exe时, 一定要将字库文件Hzk16拷贝到当前目录中.

Such an individual becomes a metaphysical abstraction.

这么一个人变成了一个形而上的抽象名词.

This is a kind of abstraction.

这是一种抽象物.

Good object oriented design recommends the abstraction of the data store from of the application.

好的对象定向设计需要从程序中抽象出数据存储.

In general, an abstraction is a model or ideal.

一般来说, 所谓的抽象就是模式或典型.

A standarized implementation of a data abstraction layer, suitable for any kind of database structure.

这是个数据抽象层的标准实现, 适合各种数据库结构.

It is worth observing that will is an abstraction.

我们要注意,意志是一个抽象的概念.

The Object Oriented technology an essential feature of abstraction, is the prevailing software development method nowadays.

面向对象技术是目前最主要的软件开发方法,面向对象的本质特点是抽象.

HAL is a specification and an implementation of a hardware abstraction layer.

HAL是一个硬件抽象层的规范(描述)和实现.

The Indian genius is a love for abstraction time, a passion for the concrete image.

印度人的天赋表现为:热爱抽象观念, 却不失对具体形象的激情.

The idea of redness is an abstraction.

红色概念是一种抽象概念.

After the abstraction of the juice from the orange, only a tasteless pulp is left.

柳橙里的汁去掉後, 只剩下不可口的肉了.

He wore a look of abstraction and I knew his thoughts ware far away.

她显出心不在焉的样子,我知道他的思绪已飞向远方.

"Third World" is an abstraction, a form of shorthand.

“第三世界”是个抽象概念，是一种简称。

Is it worth fighting a big war, in the name of an abstraction like sovereignty?

在主权之类抽象概念的名义下打一场大战是否值得呢？

Cubism , Abstractionism, and Pop art have all been epochs in the postrealistic era.

立体派 、 抽象派以及通俗派艺术都是出现在后现实主义时期内的重要事件.

Even if realistic paintings is also the works that artists manage abstractive thinking.

即便是写实的作品,也是抽象思维的产物.

You must first describe your problem abstractly, in terms of fundamental structures and properties.

因此,你必须先抽象地描述你的问题, 以一些基本的结构和属性.