The key advantage here is that the same object code can be executed on any hardware platform that supports the abstract machine (the interpreter).
这里的主要优势在于，可以在支持抽象机器(interpreter)的任何硬件平台上执行同样的对象代码。
These define the nondeterministic aspects of the abstract machine.
由此定义了抽象机器的非确定性的方面。
The rules of transforming from UML state machine into B abstract machine are provided.
给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。
An instance of the abstract machine can thus have more than one possible execution sequence for a given program and a given input.
对于一个已知程序和已知数据，虚拟机器的实例将因其非确定方面产生不只一个可能的执行序列。
For compilation, we design a target abstract machine-HSECD machine and discuss the structure, instruction, principle and optimization of HSECD machine in detail.
为实现编译目的，设计了一个目标抽象机hsecd机，详细讨论了HSECD机的结构、指令、工作原理和指令优化方法。
Then the paper derives a performance evaluation model, based on a Queueing Network Model, from a software architecture specification formally described in Chemical Abstract Machine.
基于队列网络模型，由化学抽象机中形式化描述的软件体系结构规约，导出了一种性能评价模型。
Then the paper derives a performance evaluation model, based on a Queueing Network Model, from a software architecture specification formally described in Chemical Abstract Machine.
基于队列网络模型，由化学抽象机中形式化描述的软件体系结构规约，导出了一种性能评价模型。
应用推荐