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
dctermshttp://purl.org/dc/terms/
n9http://localhost/temp/predkladatel/
n7http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n5http://linked.opendata.cz/resource/domain/vavai/projekt/
n16http://linked.opendata.cz/ontology/domain/vavai/
n18http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://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#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n11http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n17http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F07%3A00019427%21RIV08-AV0-14330___/
n12http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F07%3A00019427%21RIV08-AV0-14330___
rdf:type
skos:Concept n16:Vysledek
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. Pokrok ve vývoji HW způsobil, že více jádrové systémy se sdílenou pamětí se staly běžně dostupné. Tyto architektury nabízejí jednotlivým aplikacím využít paralelismu a tak řešit úkoly v kratším čase. Jednou z možných aplikací je problém ověřování modelu s využitím LTL. V článku je popsáno několik obecných technik pro vývoj aplikací, které umožní aplikacím lépe využít možností paralelních architektur se sdílenou pamětí.
dcterms:title
Škálovatelné LTL ověřování modelu s využitím multi-core Scalable Multi-core LTL Model-Checking Scalable Multi-core LTL Model-Checking
skos:prefLabel
Škálovatelné LTL ověřování modelu s využitím multi-core Scalable Multi-core LTL Model-Checking Scalable Multi-core LTL Model-Checking
skos:notation
RIV/00216224:14330/07:00019427!RIV08-AV0-14330___
n4:strany
187-203
n4:aktivita
n10:Z n10:P
n4:aktivity
P(1ET408050503), P(1M0545), P(GA201/06/1338), Z(MSM0021622419)
n4:cisloPeriodika
-1
n4:dodaniDat
n12:2008
n4:domaciTvurceVysledku
n7:6500773 n7:5692792 n7:1292358
n4:druhVysledku
n13:J
n4:duvernostUdaju
n8:S
n4:entitaPredkladatele
n17:predkladatel
n4:idSjednocenehoVysledku
448947
n4:idVysledku
RIV/00216224:14330/07:00019427
n4:jazykVysledku
n11:eng
n4:klicovaSlova
Parallel LTL Model Checking; multi-core
n4:klicoveSlovo
n15:Parallel%20LTL%20Model%20Checking n15:multi-core
n4:kodStatuVydavatele
DE - Spolková republika Německo
n4:kontrolniKodProRIV
[3A35B7576B1C]
n4:nazevZdroje
Lecture Notes in Computer Science
n4:obor
n19:IN
n4:pocetDomacichTvurcuVysledku
3
n4:pocetTvurcuVysledku
3
n4:projekt
n5:GA201%2F06%2F1338 n5:1ET408050503 n5:1M0545
n4:rokUplatneniVysledku
n12:2007
n4:svazekPeriodika
4595/2007
n4:tvurceVysledku
Brim, Luboš Ročkai, Petr Barnat, Jiří
n4:zamer
n18:MSM0021622419
s:issn
0302-9743
s:numberOfPages
17
n9:organizacniJednotka
14330