Modely pro implicitně paralelní programovaní
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Postdoktorandské granty
Veřejná soutěž
Postdoktorandské granty 12 (SGA02012GA1PD)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
P202-12-P167
Alternativní jazyk
Název projektu anglicky
Implicitly Parallel Programming Models
Anotace anglicky
The project focuses on methods for automatic parallelization of programs in non-purely functional programming languages. The principal objective is to develop new formal models of program execution that are able to implicitly take advantage of parallel computers. The goal is to extensively explore methods for just-in-time compilation and theoretical and practical aspects of software transactional memory in the context of implicitly parallel programming. Intended outputs of the project are new models ofexecution which allow to build automatically parallelizing runtime environments for existing sequential programming languages, software implementing these models, and publications in international journals and conference proceedings.
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
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Projekt prozkoumal některé možnosti automatické paralelizace programů ve funkcionálních jazycích vázané na podporu transactional memory. Současný publikační výstup projektu je relativně malý, další publikace jsou však v recenzním řízení.
Termíny řešení
Zahájení řešení
1. 1. 2012
Ukončení řešení
31. 12. 2014
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
31. 3. 2014
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
CEP15-GA0-GP-U/02:2
Datum dodání záznamu
6. 5. 2016
Finance
Celkové uznané náklady
633 tis. Kč
Výše podpory ze státního rozpočtu
633 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč