QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 发表日期：2016    内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 SMT-based scheduling for multiprocessor real-time systems 会议论文 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26, 2016 - June 29, 2016 作者:  Cheng, Zhuo;  Zhang, Haitao;  Tan, Yasuo;  Lim, Yuto 收藏  |  浏览/下载：3/0  |  提交时间：2017/01/18 Real time systems  Computational complexity  Formal logic  Information science  Interactive computer systems  Multiprocessing systems  Problem solving  Scheduling  Surface mount technology  First-order language  Multiple processors  multiprocessor  Real  time scheduling  Satisfiability modulo Theories  Satisfiability problems  Scheduling constraints  Scheduling methods   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 2016, Shanghai, China, May 30, 2016 - June 1, 2016 作者:  Cheng, Zhuo;  Zhang, Haitao;  Tan, Yasuo;  Lim, Yuto 收藏  |  浏览/下载：3/0  |  提交时间：2017/01/18 Real time systems  Artificial intelligence  Computation theory  Formal logic  Interactive computer systems  Problem solving  Scheduling  Software engineering  Surface mount technology  First-order language  overload  Overload condition  Real  time scheduling  Satisfiability modulo Theories  Satisfiability problems  Scheduling methods  System performance degradation   Economic dispatch of grids based on intelligent coordination between electric vehicle and photovoltaic power 会议论文 Lanzhou, China, August 2, 2016 - August 5, 2016 作者:  Bao, Guangqing;  Li, Weisheng;  Gong, Dunwei;  Mao, Jiangwei 收藏  |  浏览/下载：17/0  |  提交时间：2020/11/15 Computation theory  Electric losses  Electric power system economics  Electric power transmission networks  Electric vehicles  Intelligent computing  Particle swarm optimization (PSO)  Photovoltaic cells  Scheduling  Vehicle-to-grid  Active power loss  Dispatch  Driving characteristics  Optimization modeling  Particle swarm optimization algorithm  Peak-to-valley ratios  Power system operations  Security and economies