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

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

Namespace Prefixes

PrefixIRI
n21http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n16http://localhost/temp/predkladatel/
n5http://purl.org/net/nknouf/ns/bibtex#
n13http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n11http://linked.opendata.cz/resource/domain/vavai/projekt/
n17http://linked.opendata.cz/ontology/domain/vavai/
n18http://linked.opendata.cz/resource/domain/vavai/zamer/
n7https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n19http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F07%3A00019427%21RIV10-GA0-14330___/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n22http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n10http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n12http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F07%3A00019427%21RIV10-GA0-14330___
rdf:type
n17:Vysledek skos:Concept
dcterms:description
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various tasks; among others LTL model checking. In the paper we show a design for a parallel shared memory LTL model checker, that is based on a distributed memory algorithm. To achieve good scalability, we have devised and experimentally evaluated several implementation techniques, which we present in the paper. Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various tasks; among others LTL model checking. In the paper we show a design for a parallel shared memory LTL model checker, that is based on a distributed memory algorithm. To achieve good scalability, we have devised and experimentally evaluated several implementation techniques, which we present in the paper.
dcterms:title
Scalable Multi-core LTL Model-Checking Scalable Multi-core LTL Model-Checking
skos:prefLabel
Scalable Multi-core LTL Model-Checking Scalable Multi-core LTL Model-Checking
skos:notation
RIV/00216224:14330/07:00019427!RIV10-GA0-14330___
n3:aktivita
n4:Z n4:P
n3:aktivity
P(1ET408050503), P(1M0545), P(GA201/06/1338), Z(MSM0021622419)
n3:dodaniDat
n12:2010
n3:domaciTvurceVysledku
n13:6500773 n13:5692792 n13:1292358
n3:druhVysledku
n14:D
n3:duvernostUdaju
n22:S
n3:entitaPredkladatele
n19:predkladatel
n3:idSjednocenehoVysledku
448946
n3:idVysledku
RIV/00216224:14330/07:00019427
n3:jazykVysledku
n10:eng
n3:klicovaSlova
Parallel LTL Model Checking; multi-core
n3:klicoveSlovo
n9:multi-core n9:Parallel%20LTL%20Model%20Checking
n3:kontrolniKodProRIV
[9A80A3CC5F55]
n3:mistoKonaniAkce
Berlin, Germany
n3:mistoVydani
Berlin, Heidelberg
n3:nazevZdroje
Model Checking Software
n3:obor
n20:IN
n3:pocetDomacichTvurcuVysledku
3
n3:pocetTvurcuVysledku
3
n3:projekt
n11:GA201%2F06%2F1338 n11:1M0545 n11:1ET408050503
n3:rokUplatneniVysledku
n12:2007
n3:tvurceVysledku
Barnat, Jiří Brim, Luboš Ročkai, Petr
n3:typAkce
n21:WRD
n3:wos
000247906900013
n3:zahajeniAkce
2007-01-01+01:00
n3:zamer
n18:MSM0021622419
s:issn
0302-9743
s:numberOfPages
17
n5:hasPublisher
Springer-Verlag
n7:isbn
978-3-540-73369-0
n16:organizacniJednotka
14330