中文版 | English

在结果中检索

CSpace
（本次检索基于用户作品认领结果）

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

限定条件        
已选(0)清除 条数/页：   排序方式：
Detection of Ranking Functions of Polynomial Loop Programs 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2019, 卷号: 30, 期号: 11, 页码: 3243-3258
作者:  Li, Yi;  Feng, Yong
收藏  |  浏览/下载：114/0  |  提交时间：2020/02/18
Full Rank Representation of Real Algebraic Sets and Applications 会议论文
19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, Beijing, China, September 18, 2017 - September 22, 2017
作者:  Chen, Changbo;  Wu, Wenyuan;  Feng, Yong
Adobe PDF(1096Kb)  |  收藏  |  浏览/下载：120/0  |  提交时间：2018/03/16
PAPMSC: Power-Aware Performance Management Approach for Virtualized Web Servers via Stochastic Control 期刊论文
JOURNAL OF GRID COMPUTING, 2016, 卷号: 14, 期号: 1, 页码: 171-191
作者:  Shi, Xiaoyu;  Dong, Jin;  Djouadi, Seddik M.;  Feng, Yong;  Ma, Xiao;  Wang, Yefu
Adobe PDF(1140Kb)  |  收藏  |  浏览/下载：113/0  |  提交时间：2018/03/15
Virtualization  Power efficiency  Resource management  Stochastic control  Web application  
有界闭连通域上的非线性循环终止性分析 期刊论文
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 517-526
作者:  李轶;  冯勇
Adobe PDF(378Kb)  |  收藏  |  浏览/下载：79/0  |  提交时间：2018/03/16
Homomorphically encrypted arithmetic operations over the integer ring 会议论文
12th International Conference on Information Security Practice and Experience, ISPEC 2016, Zhangjiajie, China, November 16, 2016 - November 18, 2016
作者:  Xu, Chen;  Chen, Jingwei;  Wu, Wenyuan;  Feng, Yong
Adobe PDF(349Kb)  |  收藏  |  浏览/下载：123/0  |  提交时间：2018/03/16
有界闭域上的线性赋值循环终止性分析 期刊论文
软件学报, 2014, 卷号: 25, 期号: 6, 页码: 1133-1142
作者:  李轶;  吴文渊;  冯勇
Adobe PDF(738Kb)  |  收藏  |  浏览/下载：66/0  |  提交时间：2018/03/16
Numerical and geometric properties of a method for finding points on real solution components 会议论文
2014 Symposium on Symbolic-Numeric Computation, SNC 2014, Shanghai, China, July 28, 2014 - July 31, 2014
作者:  Wu, Wenyuan;  Reid, Greg;  Feng, Yong
Adobe PDF(386Kb)  |  收藏  |  浏览/下载：59/0  |  提交时间：2018/03/16
Exact bivariate polynomial factorization over by approximation of roots 期刊论文
Journal of Systems Science and Complexity, 2014, 卷号: 28, 期号: 1, 页码: 243-260
作者:  Feng, Yong;  Wu, Wenyuan;  Zhang, Jingzhong;  Chen, Jingwei
Adobe PDF(275Kb)  |  收藏  |  浏览/下载：86/0  |  提交时间：2018/03/16
基于动态参数的函数空间学习最优核映射 期刊论文
计算机应用, 2013, 卷号: 33, 期号: 8, 页码: 2337-2340
作者:  谭治英;  陈颖;  冯勇;  宋小波
Adobe PDF(790Kb)  |  收藏  |  浏览/下载：66/0  |  提交时间：2018/03/16
Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System 期刊论文
JOURNAL OF APPLIED MATHEMATICS, 2013, 页码: 5
作者:  Ji, Zhenyi;  Wu, Wenyuan;  Feng, Yong;  Zhang, Guofeng
Adobe PDF(1892Kb)  |  收藏  |  浏览/下载：54/0  |  提交时间：2018/03/14