CORC

在结果中检索

CORC

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

限定条件                    
已选(0)清除 条数/页：   排序方式：
Modeling and verification of component connectors in Coq 其他
2015-01-01
Li, Yi; Sun, Meng
收藏  |  浏览/下载：7/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
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
Programmable Verifiers in Imperative Programming 其他
2010-01-01
Chen, Yifeng
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
Bit-Level Optimization for High-Level Synthesis and FPGA-Based Acceleration 其他
2010-01-01
Zhang, Jiyu; Zhang, Zhiru; Zhou, Sheng; Tan, Mingxing; Liu, Xianhua; Cheng, Xu; Gong, Jason
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/16
Mining API mapping for language migration 其他
2010-01-01
Zhong, Hao; Thummalapenta, Suresh; Xie, Tao; Zhang, Lu; Wang, Qing
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/13
The design, implementation and application of minijava/AD as an object-oriented compiler teaching model 其他
2009-01-01
Hu, Xuelian; Han, Dong
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/17

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