2) schedulability verification
可调度性验证
1.
Simplification analysis and schedulability verification of timing constraint workflow model;
时间约束工作流模型的简化分析与可调度性验证
2.
Workflow models schedulability verification is to testify the rationality of Time Constraint Workflow Net (TCWF- Net) schedule and do some simulation experiments to verify the time accessibility for the instances in workflow system.
首先基于可调度性定理,设计了时间约束工作流模型的可调度性验证算法,并提出时间约束修正策略。
3) simulation-based verification of scheduling
调度的仿真验证
4) Testing and Validating for Schedulability
可调度性测试与验证
5) formal schedulability verification
形式化可调度性验证
6) test and verify
调绘验证
补充资料：验证
验证——
验证是指对证券委托买卖的合法性和同一性进行审查。验证的合法性审查包括投资主体的合法性和投资程序的合法性。程序合法性审查是指委托程序必须根据交易场所规则进行。同一性审查是指委托人、证件与委托单之间的一致性的审查，包括委托人与所提供证件一致及证件与委托单一致两个方面。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条