DiVinE Multi-Core

DiVinE Multi-Core
复制标题

DiVinE 多核

DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
P. Ročkai
P. Ročkai
中科院分区：
--
文献类型：
--
作者：
J. Barnat;L. Brim;P. Ročkai

文献摘要

被引文献

相似文献

神圣的--我和他的兄弟们在一起。Nstroj pouziva算法支持Sdiene Pameti NA副-jadroväch system ech。
DiVinE-MC je paralelni nastroj pro verifikaci LTL vlastnosti. Nastroj pouziva algoritmy pro praci ve sdilene pameti na vice-jadrových systemech.