QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 发表日期：2018     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Time-triggered scheduling table generation method based on schedulability ranking [基于可调度性排序的时间触发调度表生成方法] 期刊论文 Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 2018, 卷号: 44, 页码: 2388-2395 作者:  Song, Z.;  Li, Q.;  Wang, J.;  Xiong, H. 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 Ethernet  Growth rate  Scheduling  Set theory  Constraint reduction  Generation method  Satisfiability modulo Theories  Schedulability  Scheduling methods  Time triggered  Time triggered Ethernet  Time-triggered scheduling  Scheduling algorithms   Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method 期刊论文 Algorithms, 2018, 卷号: 11 作者:  Gao, W.;  Lv, H.;  Zhang, Q.;  Cai, D. 收藏  |  浏览/下载：8/0  |  提交时间：2019/12/30 Chains  Formal logic  Graphic methods  Markov processes  Approximate methods  Flat histograms  Flat-histogram methods  Markov Chain Monte-Carlo  Refinement strategy  Sampling strategies  Sat modulo theories  Satisfiability modulo Theories  Monte Carlo methods   Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method 期刊论文 Algorithms, 2018, 卷号: 11, 期号: 9 作者:  Gao, Wei;  Lv, Hengyi;  Zhang, Qiang;  Cai, Dunbo 收藏  |  浏览/下载：11/0  |  提交时间：2019/09/17 Monte Carlo methods  Chains  Formal logic  Graphic methods  Markov processes