Implicitly Parallel Programming Models
Public support
Provider
Czech Science Foundation
Programme
Post-graduate (doctorate) grants
Call for proposals
Postdoktorandské granty 12 (SGA02012GA1PD)
Main participants
—
Contest type
VS - Public tender
Contract ID
P202-12-P167
Alternative language
Project name in Czech
Modely pro implicitně paralelní programovaní
Annotation in Czech
Projekt se zabývá metodami automatické paralelizace programů ve funkcionálních programovacích jazycích s imperativními prvky. Hlavním cílem je vyvinout formální modely běhu programu, které jsou schopny automaticky využít možností víceprocesorových počítačů. Projekt bude v kontextu automatické paralelizace zkoumat metody překladu (prováděného za běhu programu) a teoretické a praktické aspekty softwarové transakční paměti. Zamýšlenými výstupy tohoto projektu jsou nové modely běhu programu, které umožní vytvořit automaticky paralelizující běhové prostředí pro existující sekvenční programovací jazyky, software implementující tyto modely a publikace v mezinárodních časopisech a ve sbornících konferencí.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
JC - Computer hardware and software
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</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
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project has investigated certain options for automated parallelization of programs in functional languages in connection with transactional memory support. The current publication output is fairly low, however, more publications are under review.
Solution timeline
Realization period - beginning
Jan 1, 2012
Realization period - end
Dec 31, 2014
Project status
U - Finished project
Latest support payment
Mar 31, 2014
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP15-GA0-GP-U/02:2
Data delivery date
May 6, 2016
Finance
Total approved costs
633 thou. CZK
Public financial support
633 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK