QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 发表日期：2014    内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 A rendering algorithm for function call diagram in software reliability assurance 会议论文 10th International Conference on Computational Intelligence and Security CIS 2014, Kunming U Sci Technol, Kunming, PEOPLES R CHINA, 2014-11-15 作者:  Wang, Zhoukai;  Zhang, Yikun;  Hei, Xinhong;  Sun, Linjing;  Zhou, Rui 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/20 component  function call diagram  software reliability  Clang structural analyzer  SVG   A Parking Guidance Method Based on Parallel Particle Swarm Optimization Algorithm 会议论文 10th International Conference on Computational Intelligence and Security CIS 2014, Kunming U Sci Technol, Kunming, PEOPLES R CHINA, 2014-01-01 作者:  Wang, Bin;  Liu, Ying;  Hei, Xinhong;  Wang, Lei;  Zhang, Zhiqiang 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/20 parking guidance  PSO  GA  parallel computing   Optimal Approximation of Stable Linear Systems with a Novel and Efficient Optimization Algorithm 会议论文 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2014-01-01 作者:  Jiang, Qiaoyong;  Wang, Lei;  Hei, Xinhong;  Fei, Rong;  Yang, Dongdong 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/20 Reliability Methodology and Theory for Development of Novel Railway Signalling Systems 会议论文 2014 33RD CHINESE CONTROL CONFERENCE (CCC), 2014-01-01 作者:  Xie, Guo;  Liang, Yanmin;  Qian, Fucai;  Hei, Xinhong 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/20 railway signalling system  radio-based  formal methods  specification   A Simple and Real-time Parallel Compression of Time Series Scientific Simulation Data For Interactive and Cooperative Supercomputing 会议论文 10th International Conference on Computational Intelligence and Security CIS 2014, Kunming U Sci Technol, Kunming, PEOPLES R CHINA, 2014-11-15 作者:  Liu, Wenjuan;  Hei, Xinhong;  Fukuma, Shinji;  Mori, Shin-Ichiro 收藏  |  浏览/下载：8/0  |  提交时间：2019/12/20 Lossless compression  Parallel Processing  Real-time Interaction  Supercomputing   A feasible control strategy for LQG control problem with parameter and structure uncertainties 会议论文 10th International Conference on Computational Intelligence and Security CIS 2014, Kunming U Sci Technol, Kunming, PEOPLES R CHINA, 2014-11-15 作者:  Xie, Guo;  Zhang, Dan;  Hei, Xinhong;  Qian, Fucai 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/20 LQG  receding horizon  parameter uncertainties  structure uncertainty   Parallelization Using Task Parallel Library with Task-Based Programming Model 会议论文 2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2014-01-01 作者:  Hei, Xinhong;  Zhang, Jinlong;  Wang, Bin;  Jin, Haiyan;  Giacaman, Nasser 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/20 Parallel programming  Task-based  TPL  Data parallelism  Task parallelism