QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors 期刊论文 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 卷号: 39, 期号: 3, 页码: 714-727 作者:  Zhang, Ying;  Chakrabarty, Krishnendu;  Peng, Zebo;  Rezine, Ahmed;  Li, Huawei 收藏  |  浏览/下载：16/0  |  提交时间：2020/12/10 Circuit faults  Built-in self-test  Out of order  Model checking  Integrated circuit modeling  Bounded model checking (BMC)  online testing  out-of-order superscalar processors  software-based self-testing (SBST)   Immune genetic algorithms for optimization of task priorities and FlexRay frame identifiers 会议论文 Beijing, China, August 24, 2009 - August 26, 2009 作者:  Samii, Soheil;  Yin, Yanfei;  Peng, Zebo;  Eles, Petru;  Zhang, Yuanping 收藏  |  浏览/下载：16/0  |  提交时间：2020/11/15 Embedded systems  Genetic algorithms  Adaptive phase  Crossover and mutation  Event based communication  Flexray  Immune genetic algorithms  Optimization approach  Task priorities  Time triggered   Immune Genetic Algorithms for Optimization of Task Priorities and FlexRay Frame Identifiers 会议论文 作者:  Samii, Soheil;  Yin, Yanfei;  Peng, Zebo;  Eles, Petru;  Zhang, Yuanping 收藏  |  浏览/下载：17/0  |  提交时间：2019/11/15