中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
多项式循环程序的秩函数探测 期刊论文
软件学报, 2019, 卷号: 030, 期号: 011, 页码: 3243
作者:  李轶;  冯勇
收藏  |  浏览/下载：81/0  |  提交时间：2020/08/24
可信计算  多分支循环程序  终止性  秩函数  
有界闭连通域上的非线性循环终止性分析 期刊论文
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 517-526
作者:  李轶;  冯勇
Adobe PDF(378Kb)  |  收藏  |  浏览/下载：82/0  |  提交时间：2018/03/16
智慧城市中支持多元业务传输的一体化空间网络架构设计 期刊论文
无线互联科技, 2015, 期号: 5, 页码: 30-32
作者:  黄东;  杨涌
Adobe PDF(1107Kb)  |  收藏  |  浏览/下载：59/0  |  提交时间：2018/03/16
智慧城市  一体化空间网络  网络架构  
Termination analysis of multipath loop programs with one variable 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2015, 卷号: 26, 期号: 2, 页码: 297-304
作者:  Li, Yi;  Li, Chuan-Can;  Wu, Wen-Yuan
Adobe PDF(731Kb)  |  收藏  |  浏览/下载：49/0  |  提交时间：2018/03/16
有界闭域上的线性赋值循环终止性分析 期刊论文
软件学报, 2014, 卷号: 25, 期号: 6, 页码: 1133-1142
作者:  李轶;  吴文渊;  冯勇
Adobe PDF(738Kb)  |  收藏  |  浏览/下载：67/0  |  提交时间：2018/03/16
线性循环程序的终止性判定 期刊论文
系统科学与数学, 2013, 卷号: 33, 期号: 5, 页码: 626-638
作者:  李轶
Adobe PDF(983Kb)  |  收藏  |  浏览/下载：42/0  |  提交时间：2018/03/16