Synchronous Elastic Networks

Synchronous Elastic Networks
复制标题

同步弹性网络

DOI:
--
复制
发表时间:
2006
期刊:
Formal Methods in Computer-Aided Design
影响因子:
--
通讯作者:
J. O'Leary
J. O'Leary
中科院分区:
--
文献类型:
--
作者:
S. Krstic;J. Cortadella;M. Kishinevsky;J. O'Leary

文献摘要

被引文献

相似文献

我们正式定义-在流Transformer级别-一类同步电路,容忍任何变化的延迟,他们的环境。我们研究这种电路的网络的行为特性,并证明基本的组合性结果。本文有助于弥合延迟不敏感系统的理论和有效的控制结构的正确实施之间的差距
We formally define - at the stream transformer level - a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properties of networks of such circuits and prove fundamental compositionality results. The paper contributes to bridging the gap between the theory of latency-insensitive systems and the correct implementation of efficient control structures for them