Efektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů.
Veřejná podpora
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
Program
COST
Veřejná soutěž
COST 8 (SMSM2010OC5)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
1081/2011-320
Alternativní jazyk
Název projektu anglicky
Efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems.
Anotace anglicky
Develop theory, algorithms, and software for the efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
IN - Informatika
CEP - vedlejší obor
JC - Počítačový hardware a software
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20206 - Computer hardware and architecture
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Projekt úspěšně dosáhl plánované cíle vývoje teorie, agoritmů a software pro efektivní zacházení s nelineárními numerickými podmínkami vyskytující se v automatické dedukci o bohatých modelech počítačových systémů.
Termíny řešení
Zahájení řešení
1. 5. 2010
Ukončení řešení
31. 12. 2012
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
27. 2. 2012
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP13-MSM-OC-U/01:1
Datum dodání záznamu
28. 6. 2013
Finance
Celkové uznané náklady
1 641 tis. Kč
Výše podpory ze státního rozpočtu
1 318 tis. Kč
Ostatní veřejné zdroje financování
323 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč