Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Improving the Trustworthiness of Software Through Rigorous Data Type Design
Computer ( IF 2.0 ) Pub Date : 2021-01-01 , DOI: 10.1109/mc.2020.3033610 Richard D. Riehle 1 , James Bret Michael 2
Computer ( IF 2.0 ) Pub Date : 2021-01-01 , DOI: 10.1109/mc.2020.3033610 Richard D. Riehle 1 , James Bret Michael 2
Affiliation
Artificial intelligence (AI) chips draw much attention for cyberphysical systems since AI chips are promising to realize edge AI computing. We introduce the chip architecture that enables energy-efficient computing and design tools for AI chips.
中文翻译:
通过严格的数据类型设计提高软件的可信度
人工智能(AI)芯片备受信息物理系统的关注,因为人工智能芯片有望实现边缘人工智能计算。我们介绍了为 AI 芯片提供高能效计算和设计工具的芯片架构。
更新日期:2021-01-01
中文翻译:
通过严格的数据类型设计提高软件的可信度
人工智能(AI)芯片备受信息物理系统的关注,因为人工智能芯片有望实现边缘人工智能计算。我们介绍了为 AI 芯片提供高能效计算和设计工具的芯片架构。