A Computational Temporal Logic for Superconducting Accelerators

Georgios Tzimpragos
Georgios Tzimpragos
Dilip Vasudevan
Dilip Vasudevan
Nestan Tsiskaridze
Nestan Tsiskaridze
George Michelogiannakis
George Michelogiannakis
Advait Madhavan
Advait Madhavan
Jennifer Volk
Jennifer Volk

ASPLOS '20: Architectural Support for Programming Languages and Operating Systems Lausanne Switzerland March, 2020, pp. 435-448, 2020.

被引用0|浏览12
EI

摘要

Superconducting logic offers the potential to perform computation at tremendous speeds and energy savings. However, a "semantic gap" lies between the level-driven logic that traditional hardware designs accept as a foundation and the pulse-driven logic that is naturally supported by the most compelling superconducting technologies. A puls...更多

代码

数据

ZH
24小时获取PDF
引用
您的评分 :
0

 

标签
评论