CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
Convergence and optimality of BS-type discrete hedging strategy under stochastic interest rate 其他
2011-01-01
He JiFeng; Wu Lan
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/10
Patterns with algebraic properties in BPEL0 其他
2007-01-01
Pu, Geguang; Zhu, Huibiao; He, Jifeng; Qiu, Zongyan; Yang, Hongli; Zhao, Xiangpeng
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/17
An optimal lower-bound algorithm for the high-level synthesis scheduling problem 其他
2006-01-01
Pu, Geguang; He, Jifeng; Qiu, Zongyan
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13
A hybrid heuristic algorithm for HW-SW partitioning within timed automata 其他
2006-01-01
Pu, Geguang; Chong, Zhang; Qiu, Zongyan; Lin, Zuoquan; Jifeng, He
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
Integrating timed automata into tabu algorithm for HW-SW partitioning 其他
2006-01-01
Pu, Geguang; Chong, Zhang; Qiu, Zongyan; He, Jifeng; Yi, Wang
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
From Statecharts to Verilog: A formal approach to hardware/software co-specification 其他
2006-01-01
Qin, Shengchao; Chin, Wei-Ngan; He, Jifeng; Qiu, Zongyan
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/12
A hybrid heuristic algorithm for HW-SW partitioning within timed automata 其他
2006-01-01
Pu, Geguang; Chong, Zhang; Qiu, Zongyan; Lin, Zuoquan; He Jifeng
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
Theoretical foundations of scope-based compensable flow language for web service 其他
2006-01-01
Pu, Geguang; Zhu, Huibiao; Qiu, Zongyan; Wang, Shuling; Zhao, Xiangpeng; He, Jifeng
收藏  |  浏览/下载：0/0  |  提交时间：2015/11/16
Consistent code generation from UML models 其他
2005-01-01
Long, Quan; Liu, Zhiming; Li, Xiaoshan; Jifeng, He
收藏  |  浏览/下载：6/0  |  提交时间：2015/11/13
POST: A case study for an incremental development in rCOS 其他
2005-01-01
Long, Quan; Qiu, Zongyan; Liu, Zhiming; Shao, Lingshuang; Jifeng, He
收藏  |  浏览/下载：7/0  |  提交时间：2015/11/13

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