This paper presents a formalized description of scheduling in the high-level synthesis.
本文介绍高层次综合中调度问题的形式化描述。
After having analyzed various data mapping relationships, the paper provides a formalized description for data mapping.
分析了各种数据映射后，提出了数据映射关系的形式化描述。
Resource Description Framework (RDF) is a model for describing collections of formalized statements about a Web resource.
资源描述框架(Resource Description Framework,RDF)是一种描述有关Web资源的格式化语句集合的模型。
Therefore, the FE information in the dissertation is abstracted as a kind of formalized description, providing an intuitive configuration file to CE.
因此，本文对FE包含的信息采用一种形式化描述，向CE提供一个直观的FE配置文件。
This chapter proposes a distributed authentication protocol for MOM , describes the content, the formalized description as well as the security analysis.
本文提出面向消息中间件的分布式认证协议，给出协议内容、形式化描述以及安全性分析。
This paper makes attempt to establish a domain-independent description formalism for feature-based design from two aspects: formalized definition and design process description.
文章从形式化定义和设计过程描述这两个方面研究了特征设计的形式化描述方法。
The formalized description of supply chain workflow is offered, the workflow graph, front-chain and front-set provide a way to model and analyze flow supply chain.
然后对供应链工作流进行形式化定义，用工作流图、前趋链节、前趋链集等的概念和定义为下一步的流程供应链建模及分析提供了概念自包的方法。
The formalized description of supply chain workflow is offered, the workflow graph, front-chain and front-set provide a way to model and analyze flow supply chain.
然后对供应链工作流进行形式化定义，用工作流图、前趋链节、前趋链集等的概念和定义为下一步的流程供应链建模及分析提供了概念自包的方法。
应用推荐