Function interface models for hardware compilation
Function interface models for hardware compilation
复制标题
硬件编译的函数接口模型
DOI：
10.1109/memcod.2011.5970519
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Ghica D
中科院分区：
文献类型：
--
作者：
Ghica D
登录
查看更多内容
DOI：
--
发表时间：
2010
期刊：
Mathematical Foundations of Programming Semantics
影响因子：
--
作者：
A. Murawski
通讯作者：
A. Murawski
设计快速异步电路
DOI：
--
发表时间：
2001
期刊：
Proceedings Seventh International Symposium on Asynchronous Circuits and Systems. ASYNC 2001
影响因子：
--
作者：
I. Sutherland;J. Lexau
通讯作者：
J. Lexau
Lambda 演算的线性化和结果
影响因子：
0.7
作者：
A. Kfoury
通讯作者：
A. Kfoury
RAEF：功率归一化系统级可靠性分析和估计框架
DOI：
10.1109/isvlsi.2012.42
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Shafik R
通讯作者：
Shafik R
综合几何四：将仿射递归编译成静态硬件
DOI：
10.1145/2034773.2034805
发表时间：
2011
期刊：
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
影响因子：
--
作者：
D. Ghica;Alex I. Smith;Satnam Singh
通讯作者：
Satnam Singh