About: DiVinE Multi-Core

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: DiVinE Multi-Core 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)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	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). 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). (en)
Title	DiVinE Multi-Core DiVinE Multi-Core (en)
skos:prefLabel	DiVinE Multi-Core DiVinE Multi-Core (en)
skos:notation	RIV/00216224:14330/07:00019614!RIV10-GA0-14330___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(1ET408050503), P(GA201/06/1338), Z(MSM0021622419)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Barnat, Jiří Brim, Luboš Ročkai, Petr
http://linked.open.../riv/druhVysledku	R - Software
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	417712
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/07:00019614
http://linked.open...terniIdentifikace	divine-mc-1.0
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	parallel verification; multi-core architecture; model-checking (en)
http://linked.open.../riv/klicoveSlovo	multi-core architecture model-checking parallel verification
http://linked.open...ontrolniKodProRIV	[B788B06B8D26]
http://linked.open...okalizaceVysledku	http://anna.fi.muni.cz/divine/divine-mc/
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Automated software verification Techniques for automatic verification and validation of software and hardware systems
http://linked.open...UplatneniVysledku	2007
http://linked.open...echnickeParametry	Paralelní verifikační nástroj pro ověřování modelů LTL vlastností.
http://linked.open...iv/tvurceVysledku	Barnat, Jiří Brim, Luboš Ročkai, Petr
http://linked.open...avai/riv/vlastnik	Masarykova univerzita
http://linked.open...itiJinymSubjektem	N - Nabytí licence není nutné (výsledek není licencován)
http://linked.open...n/vavai/riv/zamer	Highly Parallel and Distributed Computing Systems
http://localhost/t...ganizacniJednotka	14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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