中文版 | English

在结果中检索

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

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

限定条件        
已选(0)清除 条数/页：   排序方式：
cuSCNN: A Secure and Batch-Processing Framework for Privacy-Preserving Convolutional Neural Network Prediction on GPU 期刊论文
FRONTIERS IN COMPUTATIONAL NEUROSCIENCE, 2021, 卷号: 15, 页码: 13
作者:  Bai, Yanan;  Liu, Quanliang;  Wu, Wenyuan;  Feng, Yong
收藏  |  浏览/下载：60/0  |  提交时间：2022/08/22
privacy-preserving  convolutional neural network  homomorphic encryption  GPU computation  deep learning  cloud computing  
Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2020, 页码: 23
作者:  Chen, Changbo;  Wu, Wenyuan;  Feng, Yong
收藏  |  浏览/下载：94/0  |  提交时间：2020/08/24
Continuation method  critical point method  real algebraic curve  singularity  
On ranking functions for single-path linear-constraint loops 期刊论文
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 页码: 12
作者:  Li, Yi;  Wu, Wenyuan;  Feng, Yong
收藏  |  浏览/下载：85/0  |  提交时间：2020/08/24
Software reliability  Program termination  Linear ranking functions  Farkas' lemma  
Detection of Ranking Functions of Polynomial Loop Programs 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2019, 卷号: 30, 期号: 11, 页码: 3243-3258
作者:  Li, Yi;  Feng, Yong
收藏  |  浏览/下载：117/0  |  提交时间：2020/02/18
SVM-based Method for Detecting Ranking Functions in Polynomial Loop Programs 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2019, 卷号: 30, 期号: 7, 页码: 1903-1915
作者:  Li, Yi;  Cai, Tian-Xun;  Fan, Jian-Feng;  Wu, Wen-Yuan;  Feng, Yong
收藏  |  浏览/下载：259/0  |  提交时间：2020/02/18
Computing real witness points of positive dimensional polynomial systems 期刊论文
THEORETICAL COMPUTER SCIENCE, 2017, 卷号: 681, 页码: 217-231
作者:  Wu, Wenyuan;  Reid, Greg;  Feng, Yong
收藏  |  浏览/下载：162/0  |  提交时间：2018/03/05
Numerical algebraic geometry  Real algebraic geometry  Homotopy continuation  Singular critical points  Real witness points  
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)  |  收藏  |  浏览/下载：121/0  |  提交时间：2018/03/16
Generation of a large scale atmospheric turbulence based on an improved fractal algorithm 期刊论文
JOURNAL OF OPTOELECTRONICS AND ADVANCED MATERIALS, 2016, 卷号: 18, 期号: 7-8, 页码: 654-660
作者:  Sun, Zhi;  Chen, Ying;  Qin, Xiaolin;  Feng, Yong
收藏  |  浏览/下载：93/0  |  提交时间：2018/03/15
Atmospheric Turbulence  Phase Screen  Fractal Interpolation  Beam Propagation  Parallel Computing  
Modified group preserving methods and applications in chaotic systems 期刊论文
ACTA PHYSICA SINICA, 2016, 卷号: 65, 期号: 11, 页码: 9
作者:  Lu Jian-Guang;  Tang Juan;  Qin Xiao-Lin;  Feng Yong
收藏  |  浏览/下载：82/0  |  提交时间：2018/03/15
tracking control of chaos  group preserving method  Lorenz system  Duffing system  
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)  |  收藏  |  浏览/下载：114/0  |  提交时间：2018/03/15
Virtualization  Power efficiency  Resource management  Stochastic control  Web application