Constrained Conservative State Symbolic Co-analysis for Ultra-low-power Embedded Systems
Constrained Conservative State Symbolic Co-analysis for Ultra-low-power Embedded Systems
复制标题
超低功耗嵌入式系统的约束保守状态符号协同分析
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Sartori, John
中科院分区：
文献类型：
--
作者：
Hegde, Shashank;Sethumurugan, Subhash;Cherupalli, Hari;Duwe, Henry;Sartori, John
登录
查看更多内容
具有近似值的符号模拟
DOI：
10.1007/3-540-40922-x_29
发表时间：
2000
期刊：
2015 IEEE 16th International Symposium on High Assurance Systems Engineering
影响因子：
--
作者：
Chris Wilson;D. Dill;R. Bryant
通讯作者：
R. Bryant
门级同步电路的基于周期的符号仿真
DOI：
10.1109/dac.1999.781347
发表时间：
1999
期刊：
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361)
影响因子：
--
作者：
V. Bertacco;M. Damiani;S. Quer
通讯作者：
S. Quer
确定超低功耗处理器的特定应用峰值功率和能量要求
DOI：
10.1145/3037697.3037711
发表时间：
2017
期刊：
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems
影响因子：
--
作者：
Hari Cherupalli;Henry Duwe;Weidong Ye;Rakesh Kumar;J. Sartori
通讯作者：
J. Sartori
影响因子：
3.5
作者：
Anand, Saswat;Burke, Edmund K.;Zhu, Hong
通讯作者：
Zhu, Hong
利用动态时序余量提高超低功耗嵌入式系统的能效
DOI：
--
发表时间：
2016
期刊：
International Symposium on Computer Architecture
影响因子：
--
作者：
Hari Cherupalli;Rakesh Kumar;J. Sartori
通讯作者：
J. Sartori