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资源的格式化语句集合的模型。
应用推荐