About: ProbDiVinE-MC     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • Software tool for quantitative verification of probabilistic systems applicable on shared-memory parallel HW platforms. Models are specifed using modelling language ProbDVE, properties are given as formulas of linear temporal logic. The tool employs freely available modules, namely lpsolve tool and HOARD library.
  • Software tool for quantitative verification of probabilistic systems applicable on shared-memory parallel HW platforms. Models are specifed using modelling language ProbDVE, properties are given as formulas of linear temporal logic. The tool employs freely available modules, namely lpsolve tool and HOARD library. (en)
Title
  • ProbDiVinE-MC
  • ProbDiVinE-MC (en)
skos:prefLabel
  • ProbDiVinE-MC
  • ProbDiVinE-MC (en)
skos:notation
  • RIV/00216224:14330/08:00024418!RIV10-GA0-14330___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(1ET408050503), P(GA201/06/1338), Z(MSM0021622419)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 389745
http://linked.open...ai/riv/idVysledku
  • RIV/00216224:14330/08:00024418
http://linked.open...terniIdentifikace
  • probdivine-mc
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • quantitative parallel verification; multi-core architecture; model-checking (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [3C425147D355]
http://linked.open...okalizaceVysledku
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...echnickeParametry
  • Kvantitativní verifikace pravděpodobnostních systémů na platformách se sdílenou pamětí.
http://linked.open...iv/tvurceVysledku
  • Barnat, Jiří
  • Brim, Luboš
  • Černá, Ivana
  • Češka, Milan
  • Tůmová, Jana
http://linked.open...avai/riv/vlastnik
http://linked.open...itiJinymSubjektem
http://linked.open...n/vavai/riv/zamer
http://localhost/t...ganizacniJednotka
  • 14330
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software