Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs
Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs
复制标题
减少由同步程序合成的消息传递系统的通信
DOI:
10.1109/pdp.2014.98
复制
发表时间:
2014
期刊:
影响因子:
--
通讯作者:
Schneider
中科院分区:
文献类型:
--
作者:
Baudisch;Schneider
登录
查看更多内容
DOI:
--
发表时间:
2003
期刊:
影响因子:
--
作者:
D. Potop
通讯作者:
D. Potop
DOI:
--
发表时间:
2009
期刊:
2009 Ninth International Conference on Application of Concurrency to System Design
影响因子:
--
作者:
J. Brandt;Mike Gemünde;K. Schneider
通讯作者:
K. Schneider
DOI:
--
发表时间:
2006
期刊:
Formal Methods in Computer-Aided Design
影响因子:
--
作者:
S. Krstic;J. Cortadella;M. Kishinevsky;J. O'Leary
通讯作者:
J. O'Leary
DOI:
--
发表时间:
2008
期刊:
Trans. Petri Nets Other Model. Concurr.
影响因子:
--
作者:
J. Cortadella;M. Kishinevsky;Dmitry Bufistov;J. Carmona;J. Júlvez
通讯作者:
J. Júlvez
影响因子:
20.6
作者:
Benveniste, A;Caspi, P;De Simone, R
通讯作者:
De Simone, R