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.
|