退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于并行周期EFSM和参数模型检查的FPGA优先队列机制设计与实现
Tomoya Kitani; Yoshifumi Takamoto; Isao Naka; Keiichi Yasumoto; Akio Nakata; Teruo Higashino;
机译:并发周期性EFSM的参数模型检查和参数条件的有效简化方法
机译:参数模型检查并发周期EFSMS以及参数条件的有效简化方法
机译:许多核心架构上并发优先级队列的模型
机译:基于模型的设计浮点累加器。研究案例:支持向量机内核功能的FPGA实现
机译:并发定期EFSMS的硬件实现
机译:为非确定性优先级队列建模以进行有效的模型检查
机译:高效模型检查的非确定优先级队列建模
机译:使用并发非阻塞排队技术实现稳定优先级队列的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。