CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Formal modelling of list based dynamic memory allocators 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2018, 卷号: 61
作者:  Fang, Bin[1];  Sighireanu, Mihaela[2];  Pu, Geguang[3];  Su, Wen[4];  Abrial, Jean-Raymond[5]
收藏  |  浏览/下载：8/0  |  提交时间：2019/04/22
Formal Development of a Real-Time Operating System Memory Manager 会议论文
2015 20th Int Conf Engng Complex Comp Syst, 2015-01-01
作者:  Su, Wen[1];  Abrial, Jean-Raymond[2];  Pu, Geguang[3];  Fang, Bin[4]
收藏  |  浏览/下载：2/0  |  提交时间：2019/04/26
LTL satisfiability checking revisited 会议论文
20th International Symposium on Temporal Representation and Reasoning, TIME 2013, Pensacola, FL, United states, September 26, 2013 - September 28, 2013
Li, Jianwen (1); Zhang, Lijun (2); Pu, Geguang (1); Vardi, Moshe Y. (3); He, Jifeng (1)
收藏  |  浏览/下载：7/0  |  提交时间：2014/12/16
Towards scalable compositional test generation 其他
2009-01-01
Sun, Tao; Wang, Zheng; Pu, Geguang; Yu, Xiao; Qiu, Zongyan; Gu, Bin
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/12
Verification of channel passing in choreography with model checking 其他
2009-01-01
Peng, Liyang; Cai, Chao; Zongyan, Qiu; Pu, Geguang
收藏  |  浏览/下载：6/0  |  提交时间：2015/11/12
Tool support for BPEL verification in ActiveBPEL engine 其他
2007-01-01
Qian, Yi; Xu, Yuming; Wang, Zheng; Pu, Geguang; Zhu, Huibiao; Cai, Chao
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/12
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
Type checking choreography description language 其他
2006-01-01
Hongli, Yang; Xiangpeng, Zhao; Zongyan, Qiu; Chao, Cai; Geguang, Pu
收藏  |  浏览/下载：2/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

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