Filtry
Architecture Paradigms and Programming Languages for Efficient programming of multiple COREs (7E08013)
Apple-CORE will research compilers, operating systems and execution platforms to support and evaluate a novel architecture paradigm that can exploit many-core processor systems on single chip. It differs from current approaches by adopting a systemat...
IN - Informatika
- 2008 - 2010 •
- 2 869 tis. Kč •
- 2 869 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2008 - 31. 10. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Souběh důchodů s výdělečnou činností a vliv výše příjmů z výdělečné činnosti na nárok na důchod, jeho výši a výplatu (HS115/04)
Cílem řešení projektu je poskytnout poznatky o tom, jak souběh důchodu s výdělečnou činností ovlivňuje jednak nárok občana na důchod (zda nárok zůstává nebo zaniká), jednak jeho výší a způsob výplaty. Jde o informace týkající se právní úpravy souběhu...
AO - Sociologie, demografie
- 2004 - 2004 •
- 402 tis. Kč •
- 402 tis. Kč •
- MPSV
Řešení projektu: 1. 1. 2004 - 1. 1. 2004
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo práce a sociálních věcí
Automatická inkrementální verifikace a odstraňování chyb pro souběžné systémy (GA18-17403S)
Hledání chyb v souběžných systémech, které jsou nyní rozšířené, je velmi důležité ale také velmi náročné a zdlouhavé. Mnoho práce již bylo vykonáno v oblasti automatické verifikace programů a odstraňování chyb, ale stále existují složité problémy, kt...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 - 2020 •
- 2 726 tis. Kč •
- 2 090 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2018 - 31. 12. 2020
Uznané náklady
Podpora ze státního rozpočtu (77%)
Poskytovatel: Grantová agentura České republiky
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů (GD102/05/H050)
Cílem projektu je vytvoření kvalitativně nového typu výchovy doktorandů, který odpovídá současným mezinárodním trendům. Projekt je zaměřen na vysoce aktuální oblast paralelních a distribuovaných systémů. Počítá se zapojením 18 velmi perspektivních do...
IN - Informatika
- 2005 - 2008 •
- 11 091 tis. Kč •
- 11 091 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2005 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Efektivní techniky pro práci s automaty ve formálním usuzování (GJ16-24707Y)
Projekt si klade za cíl vyvinout nové efektivní a praktické algoritmy pro konečné automaty aplikovatelné ve formální verifikaci a analýze dynamických systémů. Bude stavět zejména na studiu souvislostí mezi automatovými problémy, metodami řešení SAT/S...
IN - Informatika
- 2016 - 2019 •
- 8 142 tis. Kč •
- 8 142 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2016 - 29. 11. 2019
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Inteligentní testování a analýza paralelních programů (LH13265)
Cílem projektu je přispět výzkumem realizovaným společně se zahraničním partnerem k výraznému zvýšení efektivity, obecnosti a stupně automatizace procesu testování a analýzy vícevláknových programů. Zlepšení efektivnosti bude dosaženo vývojem nových ...
JC - Počítačový hardware a software
- 2013 - 2015 •
- 1 361 tis. Kč •
- 1 361 tis. Kč •
- MŠMT
Řešení projektu: 1. 4. 2013 - 31. 3. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů (GD102/09/H042)
Základním záměrem projektu je vytvořit mimořádný program přípravy vybraných špičkových doktorandů z FIT VUT a FI MU v Brně, a to v rámci řešení aktuálních vědeckých problémů spolehlivosti a bezpečnosti paralelních a distribuovaných systémů jako jedno...
JC - Počítačový hardware a software
- 2009 - 2012 •
- 11 984 tis. Kč •
- 11 984 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí (GA14-11384S)
Projekt směřuje do oblasti formální verifikace nekonečně stavových softwarových systémů. Konkrétně se soustředí na zvýšení automatizace, škálovatelnosti a obecnosti současných metod formální verifikace programů s neomezenými datovými strukturami, jak...
JC - Počítačový hardware a software
- 2014 - 2016 •
- 5 775 tis. Kč •
- 5 775 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2014 - 31. 12. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti (GAP103/10/0306)
Automatizovaná verifikace programů je v současnosti s ohledem na rostoucí dopad počítačem řízených systémů na naše životy a výraznou potřebu minimalizovat počet chyb v těchto systémech velmi aktuálním výzkumným tématem. Projekt se konkrétně zaměřuje ...
JC - Počítačový hardware a software
- 2010 - 2013 •
- 4 752 tis. Kč •
- 4 752 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 9 z 9