1) dynamic execution
动态执行
3) dynamic executable semantic
动态执行语义
4) The code dynamic state performance
代码动态执行
5) dynamic execution model
动态执行模型
1.
On the basis of requirements description model RTRSM, this paper presents an abstract dynamic execution model(DEM)of real time software systems which can integrate with control flow and data flow, and then describes a checking method based on configuration covering and proposes its corresponding algorithm.
以需求描述模型 RTRSM为基础 ,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型 ,提出了构图覆盖的动态检测方法 ,并给出了其具体算法 。
2.
On the basis of requirements description model HRFSM (hierarchical finite state machines based on rules), a DEM(dynamic execution model) of embedded real-time systems software and a checking method based on DEM are presented in this paper.
以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法。
6) Dynamic Execution Profile
动态执行轮廓
补充资料：人民法院向执行机关送达取保候审和监视居住的决定书和执行书的职权
人民法院向执行机关送达取保候审和监视居住的决定书和执行书的职权：人民法院决定对被告人取保候审、监视居住，应当在宣布后立即将取保候审决定书、取保候审执行通知书或者监视居住决定书、监视居住执行通知书，送达负责执行的公安机关。第76条
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条