A real-time system is one in which the correctness of the computations not only depends upon the logical correctness of the computation but also upon the time at which the result is produced.
实时系统指系统的计算正确性不仅取决于计算的逻辑正确性,还取决于产生结果的时间。
For a precise dataflow analysis within the framework of the computation function model, the logical relationship of branch conditions is represented as the coverage relationship of regions.
用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系。
Every reflective computation can be divided into two logical parts, context switching and meta-computation.
每一次反射计算可以被分为两个逻辑部分:计算流上下文切换和元行为。
应用推荐