This HTML5 document contains 49 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n13http://localhost/temp/predkladatel/
n8http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n4http://linked.opendata.cz/resource/domain/vavai/projekt/
n19http://linked.opendata.cz/ontology/domain/vavai/
n16http://linked.opendata.cz/resource/domain/vavai/zamer/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n12http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F09%3A00028810%21RIV11-GA0-14330___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/vyuzitiJinymSubjektem/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n15http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F09%3A00028810%21RIV11-GA0-14330___
rdf:type
skos:Concept n19:Vysledek
dcterms:description
DiVinE 2.0 exploits full power of modern x86 hardware and reduces unnecessary delays in workflow. Employing state-of-the-art parallel liveness checking algorithm, DiVinE 2.0 offers unmatched scalability on both shared memory and distributed memory platforms in the range of 2- to 16-core machines and clusters thereof. 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). DiVinE 2.0 exploits full power of modern x86 hardware and reduces unnecessary delays in workflow. Employing state-of-the-art parallel liveness checking algorithm, DiVinE 2.0 offers unmatched scalability on both shared memory and distributed memory platforms in the range of 2- to 16-core machines and clusters thereof. 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).
dcterms:title
DiVinE 2.0 DiVinE 2.0
skos:prefLabel
DiVinE 2.0 DiVinE 2.0
skos:notation
RIV/00216224:14330/09:00028810!RIV11-GA0-14330___
n3:aktivita
n14:P n14:Z
n3:aktivity
P(1ET408050503), P(GA201/09/1389), P(GD102/05/H050), P(GP201/09/P497), Z(MSM0021622419)
n3:dodaniDat
n15:2011
n3:domaciTvurceVysledku
n8:6500773 n8:5692792 n8:1292358 n8:1846000
n3:druhVysledku
n17:R
n3:duvernostUdaju
n18:S
n3:entitaPredkladatele
n12:predkladatel
n3:idSjednocenehoVysledku
310944
n3:idVysledku
RIV/00216224:14330/09:00028810
n3:interniIdentifikace
divine-2.0
n3:jazykVysledku
n9:eng
n3:klicovaSlova
parallel verification; multi-core; model-checking; cluster; mpi
n3:klicoveSlovo
n5:cluster n5:parallel%20verification n5:mpi n5:multi-core n5:model-checking
n3:kontrolniKodProRIV
[69E36C9B8CCF]
n3:lokalizaceVysledku
http://www.fi.muni.cz/paradise/software.html#divine-2.0
n3:obor
n10:IN
n3:pocetDomacichTvurcuVysledku
4
n3:pocetTvurcuVysledku
4
n3:projekt
n4:GD102%2F05%2FH050 n4:1ET408050503 n4:GA201%2F09%2F1389 n4:GP201%2F09%2FP497
n3:rokUplatneniVysledku
n15:2009
n3:technickeParametry
Paralelní verifikační nástroj pro ověřování modelů LTL vlastností.
n3:tvurceVysledku
Barnat, Jiří Češka, Milan Brim, Luboš Ročkai, Petr
n3:vlastnik
n12:vlastnikVysledku
n3:vyuzitiJinymSubjektem
n6:N
n3:zamer
n16:MSM0021622419
n13:organizacniJednotka
14330