位置：成果数据库 > 会议 > 会议详情页
A semantic model for many - core parallel computing
  • 所属机构名称：西安电子科技大学
  • 会议名称：5th international conference on Combinatorial optimization and applications
  • 时间：2011.8.8
  • 成果类型：会议
  • 相关项目：基于约束凸多面体和抽象加细技术的混合系统的模型检测
作者： Nan Zhang|Zhenhua Duan|
同会议论文项目
基于约束凸多面体和抽象加细技术的混合系统的模型检测
期刊论文 22 会议论文 4 专利 1
同项目会议论文
Modeling composite web services based on object-oriented MSVL
Object-Oriented MSVL and Its Application
Model Checking Multirate Hybrid Systems with Restricted Convex Polyhedron