Hardware SAT Solver-based Area-efficient Accelerator for Autonomous Driving
Hardware SAT Solver-based Area-efficient Accelerator for Autonomous Driving
复制标题
基于硬件 SAT 求解器的自动驾驶区域高效加速器
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Yuko Hara-Azumi
中科院分区：
文献类型：
--
作者：
Yusuke Inuma;Yuko Hara-Azumi
SMC：可满足性模凸规划
影响因子：
20.6
作者：
Shoukry, Yasser;Nuzzo, Pierluigi;Sangiovanni-Vincentelli, Alberto L.;Seshia, Sanjit A.;Pappas, George J.;Tabuada, Paulo
通讯作者：
Tabuada, Paulo
使用可编程SoC开发基于图像识别的自动驾驶系统
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
R. Yamamoto;Y. Izumi;R. Aono;T. Nagahara;T. Tanaka;W. Liao;and Y. Mitsuyama
通讯作者：
and Y. Mitsuyama