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”

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č