CORC

在结果中检索

CORC

浏览/检索结果: 共21条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
Modeling and verification of component connectors in Coq 其他
2015-01-01
Li, Yi; Sun, Meng
收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03
The essence of bidirectional programming 期刊论文
Science China. Information Science, 2015
Fischer Sebastian; Hu Zhenjiang; Pacheco Hugo
收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03
Design space exploration of multiple loops on FPGAs using high level synthesis 其他
2014-01-01
Zhong, Guanwen; Venkataramani, Vanchinathan; Liang, Yun; Mitra, Tulika; Niar, Smail
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13
Injecting mechanical faults to localize developer faults for evolving software 其他
2013-01-01
Zhang, Lingming; Zhang, Lu; Khurshid, Sarfraz
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
Connectors as designs: The time dimension 其他
2012-01-01
Meng, Sun
收藏  |  浏览/下载：6/0  |  提交时间：2015/11/17
Connectors as designs: Modeling, refinement and test case generation 其他
2012-01-01
Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Astefanoaei, Lacramioara; de Boer, Frank S.; Rutten, Jan
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/10
PARRAY: A Unifying Array Representation for Heterogeneous Parallelism 期刊论文
acm sigplan notices, 2012
Chen, Yifeng; Cui, Xiang; Mei, Hong
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
Towards architecture-based management of platforms in the cloud 期刊论文
frontiers of computer science, 2012
Huang, Gang; Chen, Xing; Zhang, Ying; Zhang, Xiaodong
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
Refactoring android java code for on-demand computation offloading 其他
2012-01-01
Zhang, Ying; Huang, Gang; Liu, Xuanzhe; Zhang, Wei; Mei, Hong; Yang, Shunxiang
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
Simulation-based analysis of middleware service impact on system reliability: Experiment on Java application server 期刊论文
journal of systems and software, 2011
Huang, Gang; Wang, Weihu; Liu, Tiancheng; Mei, Hong
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/10

©版权所有 ©2017 CSpace - Powered by CSpace