Další formáty:
BibTeX
LaTeX
RIS
@misc{759931,
author = {Barnat, Jiří and Brim, Luboš and Ročkai, Petr},
keywords = {parallel verification; multi-core architecture; model-checking},
language = {eng},
institution = {Masarykova univerzita},
organization = {Masarykova univerzita},
title = {DiVinE Multi-Core},
url = {http://anna.fi.muni.cz/divine/divine-mc/},
year = {2007}
}
TY -
ID - 759931
AU - Barnat, Jiří - Brim, Luboš - Ročkai, Petr
PY - 2007
TI - DiVinE Multi-Core
KW - parallel verification
KW - multi-core architecture
KW - model-checking
UR - http://anna.fi.muni.cz/divine/divine-mc/
N2 - Based on proven DiVinE LTL model checking system, DiVinE Multi-Core brings parallel verification to contemporary high-powered multi-core architectures. DiVinE Multi-Core exploits full power of modern x86 hardware and reduces unnecessary delays in workflow. Employing state-of-the-art parallel liveness checking algorithm, DiVinE Multi-Core offers unmatched scalability on shared memory platforms in the range of 2- to 16-core machines. Moreover, the tool supports 64-bit platforms out of the box, allowing it to leverage all the memory available in contemporary systems (and systems of the upcoming years).
ER -
BARNAT, Jiří, Luboš BRIM a Petr ROČKAI. \textit{DiVinE Multi-Core}. 2007.
|
