Zpět na hledáníDiVinE Multi-Core (2007)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/07:00019614 |
|---|---|
| Název v anglickém jazyce | DiVinE Multi-Core |
| Druh | R - Software |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2007 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 9 |
| Počet tvůrců celkem | 3 |
| Počet domácích tvůrců | 3 |
| Výčet všech uvedených jednotlivých tvůrců | Jiří Barnat (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 5692792) Luboš Brim (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6500773) Petr Ročkai (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1292358) |
| Popis výsledku v anglickém jazyce | 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 itto leverage all the memory available in contemporary systems (and systems of the upcoming years). |
| Klíčová slova oddělená středníkem | parallel verification; multi-core architecture; model-checking |
| Stránka www, na které se nachází výsledek | - |
| Odkaz na údaje z výzkumu | - |
Údaje o výsledku v závislosti na druhu výsledku
| Interní identifikační kód produktu přidělený tvůrcem | divine-mc-1.0 |
|---|---|
| Technické parametry | Paralelní verifikační nástroj pro ověřování modelů LTL vlastností. |
| Ekonomické parametry | - |
| IČ vlastníka výsledku | 00216224 |
| Název vlastníka | Masarykova univerzita |
| Druh možnosti využití výsledku | N - Využití výsledku jiným subjektem je možné bez nabytí licence (výsledek není licencován) |
| Požadavek na licenční poplatek | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2009 |
| Specifikace | RIV/00216224:14330/07:00019614!RIV09-MSM-14330___ |
| Datum poslední aktualizace výsledku | 10.08.2009 |
| Kontrolní číslo | 11447817 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno GA ČR v roce 2008 | RIV/00216224:14330/07:00019614 v dodávce dat RIV08-GA0-14330___/01:1 |
|---|---|
| Dodáno AV ČR v roce 2008 | RIV/00216224:14330/07:00019614 v dodávce dat RIV08-AV0-14330___/01:1 |
| Dodáno GA ČR v roce 2009 | RIV/00216224:14330/07:00019614 v dodávce dat RIV09-GA0-14330___/01:1 |
| Dodáno AV ČR v roce 2009 | RIV/00216224:14330/07:00019614 v dodávce dat RIV09-AV0-14330___/01:1 |
| Dodáno GA ČR v roce 2010 | RIV/00216224:14330/07:00019614 v dodávce dat RIV10-GA0-14330___/01:1 |
| Dodáno AV ČR v roce 2010 | RIV/00216224:14330/07:00019614 v dodávce dat RIV10-AV0-14330___/01:1 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Výzkumný záměr podporovaný MŠMT | MSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005 - 2011) |
|---|