搜索结果: 1-6 共查到“计算机软件 - domain”相关记录6条 . 查询时间(0.187 秒)
The Workshop on Open Domain Action Recognition (ODAR) will be held in conjunction with the CVPR 2017 conference.
Action recognition has received increasing attention from the computer vision and mac...
Liszt: A Domain Specific Language for Building Portable Mesh-based PDE Solvers
compiler analysis and program transformations, programming and runtime environments for high performance and high throughput computing
2016/5/24
Heterogeneous computers with processors and accelerators are becoming widespread in scientific computing. However,it is difficult to program hybrid architectures and there is no commonly accepted prog...
第五届Domain理论国际论坛在华东师范大学举行
第五届 Domain理论 国际论坛
2009/9/16
由软件学院主办的第五届Domain理论国际论坛（the 5th International Symposium on Domain Theory）于2009年9月12-14日在中山北路校区顺利召开。
Domain理论及其在程序设计语言中的应用
程序设计语言 论域理论 格上拓扑学
2008/11/6
本研究成果围绕着计算机程序设计语言的数学基础理论及其在形式语义学中的应用展开了系统研究，具体为指称语义的论域理论、公理语义的非Hoare型逻辑系统、以及不确定性程序的形式语义等方面。成果由Disjunctive命题逻辑系统，稳定论域的逻辑表示，论域上一类稳定函数的全性与极大性，公理语义学中的非Hoare型逻辑，以及相容谓词转换器的拓扑语义和稳定语义，区间值模糊进程演算系统等研究成果。成果的形式是...
Metamodel Search: Using XPath to Search Domain-Specific Models
XPath domain-specific modeling metamodeling model search
2014/3/12
A common task that is often needed in many software development tools is the capability to search the artifact that is being created in a flexible and efficient manner. However, this capability is typ...
Relationships for Domain Reuse and Composition
Model Composition Reuse Domain Engineering MDE
2014/3/12
Domain engineering is a very efficient approach for narrow and stable domains. However, building wide-scope applications often involves crosscutting several domains, such that domain composition becom...