Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F09%3A00028808" target="_blank" >RIV/00216224:14330/09:00028808 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    DiVinE Cuda

  • Popis výsledku v původním jazyce

    New generation of DiVinE tool allowing for significant acceleration of model checking process by full utilization of modern massively parallel architectures. The tool is effectively utilizing the CUDA technologie.

  • Název v anglickém jazyce

    DiVinE Cuda

  • Popis výsledku anglicky

    New generation of DiVinE tool allowing for significant acceleration of model checking process by full utilization of modern massively parallel architectures. The tool is effectively utilizing the CUDA technologie.

Klasifikace

  • Druh

    R - Software

  • CEP obor

    IN - Informatika

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

    Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

  • Návaznosti

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Ostatní

  • Rok uplatnění

    2009

  • Kód důvěrnosti údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Údaje specifické pro druh výsledku

  • Interní identifikační kód produktu

    divine-cuda

  • Technické parametry

    LTL model checker využívající masivně paralelní technologii CUDA

  • Ekonomické parametry

  • IČO vlastníka výsledku

    00216224

  • Název vlastníka

    Masarykova univerzita