QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 限定条件 学科主题：computer science    内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 SMT-based Scheduling for Multiprocessor Real-Time Systems 会议论文 15th IEEE/ACIS International Conference on Computer and Information Science (ICIS), Okayama, JAPAN, JUN 26-29, 2016 作者:  Cheng, Z;  Zhang, HT;  Tan, YS;  Lim, YT 收藏  |  浏览/下载：5/0  |  提交时间：2017/05/11 real-time scheduling  SMT  multiprocessor   Scheduling Overload for Real-Time Systems using SMT Solver 会议论文 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), Shanghai, PEOPLES R CHINA, MAY 30-JUN 01, 2016 作者:  Cheng, Z;  Zhang, HT;  Tan, YS;  Lim, Y 收藏  |  浏览/下载：1/0  |  提交时间：2017/05/11 real-time scheduling  SMT  overload  satisfiability problem   Verifying OSEK/VDX Applications: An Optimized SMT-based Bounded Model Checking Approach 会议论文 15th IEEE/ACIS International Conference on Computer and Information Science (ICIS), Okayama, JAPAN, JUN 26-29, 2016 作者:  Zhang, HT;  Cheng, Z;  Tian, C;  Lu, YG;  Li, GQ 收藏  |  浏览/下载：4/0  |  提交时间：2017/05/11 OSEK/VDX Application  Deterministic Scheduler  Bounded Model Checking  SMT   Companies' behavior of carbon emission reduction at the risk of oil price volatility 会议论文 2nd International Conference on Information Technology and Quantitative Management (ITQM), Natl Res Univ, Higher Sch Econ, Moscow, RUSSIA, JUN 03-05, 2014 作者:  Zhang, GX;  Liu, P;  Gao, XL;  Liu, MX 收藏  |  浏览/下载：0/0  |  提交时间：2017/01/18 Carbon emission reduction  emission trading market  emission permit  evolutionary game   Statistical neurodynamics for sequence processing neural networks with finite dilution 会议论文 4th International Symposium on Neural Networks (ISNN 2007), Nanjing, PEOPLES R CHINA, JUN 03-07, 2007 作者:  Zhang, P;  Chen, Y 收藏  |  浏览/下载：2/0  |  提交时间：2015/07/31 Multisensors information fusion with neural networks for noninvasive blood glucose detection 会议论文 2nd International Symposium on Neural Networks, Chongqing, PEOPLES R CHINA, MAY 30-JUN 01, 2005 作者:  Wang, W;  Yan, LF;  Liu, BW;  Zhang, H 收藏  |  浏览/下载：2/0  |  提交时间：2017/01/18