CORC

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

已选(0)清除 条数/页:   排序方式:
Modified Dynamic Programming Algorithm for Optimization of Total Energy Consumption in Flexible Manufacturing Systems 期刊论文
IEEE Transactions on Automation Science and Engineering, 2018
作者:  Li, Xiaoling;  Xing, Keyi;  Zhou, MengChu;  Wang, Xinnian;  Wu, Yunchao
收藏  |  浏览/下载:4/0  |  提交时间:2019/11/26
A Refined Algorithm for Reachability Analysis of Updatable Timed Automata 期刊论文
2015 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY - COMPANION (QRS-C 2015), 2015, 页码: 230-236
作者:  Fang, Bingbing;  Li, Guoqiang*;  Fang, Ling;  Xiang, Jianwen
收藏  |  浏览/下载:4/0  |  提交时间:2019/12/04
Efficient Graph Similarity Search Over Large Graph Databases 期刊论文
ieee知识与数据工程汇刊, 2015
Zheng, Weiguo; Zou, Lei; Lian, Xiang; Wang, Dong; Zhao, Dongyan
收藏  |  浏览/下载:8/0  |  提交时间:2015/11/10
Research on model-checking based on Petri nets 期刊论文
2010, 2010
Jiang Yi-Xin; Lin Chuang; Qu Yang; Yin Hao
收藏  |  浏览/下载:2/0
Exploring optimal solution to hardware/software partitioning for synchronous model 其他
2005-01-01
He, JF; Hung, DV; Pu, GG; Qiu, ZY; Yi, W
收藏  |  浏览/下载:6/0  |  提交时间:2015/11/12
An optimal approach to hardware/software partitioning for synchronous model 其他
2004-01-01
Pu, GG; Van Hung, D; He, JF; Wang, Y
收藏  |  浏览/下载:6/0  |  提交时间:2015/11/16


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