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”
CS
ČeštinaEnglish

Filtry

202 (0,226s) •

Projekt

Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit (OC10009)

Cílem projektu je přispět výzkumem realizovaným v koordinaci s COST akcí IC0901 k výraznému zlepšení obecnosti a efektivnosti metod automatické verifikace počítačových systémů se složitými datovými strukturami a pokročilými rysy paralelismu.......

JC - Počítačový hardware a software

  • 2010 - 2012
    • •
  • 1 500 tis. Kč
    • •
  • 1 230 tis. Kč
    • •
  • MŠMT
Projekt

Automaty a logiky v symbolické verifikaci software. (MEB021023)

Vědeckým cílem projektu je významně přispět ke zlepšení obecnosti a škálovatelnosti současných symbolických metod verifikace nekonečně stavových programů založených na využití logik a/nebo automatů. Za tím účelem budou jednak zkoumány možnosti zlepše...

JC - Počítačový hardware a software

  • 2010 - 2011
    • •
  • 121 tis. Kč
    • •
  • 121 tis. Kč
    • •
  • MŠMT
Projekt

Verifikace a hledání chyb v pokročilém softwaru (GA17-12465S)

Automatizovaná verifikace a vyhledávání chyb v softwaru patří mezi témata aktivně řešená jak na univerzitách tak v průmyslu. Konečně tyto techniky mohou ušetřit značné finanční prostředky a u bezpečnostně kritických aplikací také lidské životy. Cílem...

JC - Počítačový hardware a software

  • 2017 - 2019
    • •
  • 8 912 tis. Kč
    • •
  • 7 448 tis. Kč
    • •
  • GA ČR
Projekt

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
Projekt

Abstrakce a jiné techniky v semi-symbolické verifikaci programů (GA18-02177S)

Projekt se zaměřuje na výzkum a vývoj nových algoritmů a datových struktur, které umožní efektivní analýzu a verifikaci počítačových programů zapsaných v programovacích jazycích C a C++. Konkrétně se projekt zaměřuje na využití abstrakcí, které jsou ...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2018 - 2020
    • •
  • 6 232 tis. Kč
    • •
  • 4 562 tis. Kč
    • •
  • GA ČR
Projekt

Inkulturace křesťanství v Indii Smysl a důležitost nové náboženské symboliky (GA22-13784S)

etapách, umožní sběr inkulturovaného materiálu nové náboženské symboliky dílčích prvků inkulturované symboliky, (2) způsobu jejich integrace, (3) zda prvky symboliky nadále nesou starý význam vyplývající z původního nábože...

Religious studies

  • 2022 - 2024
    • •
  • 1 619 tis. Kč
    • •
  • 1 619 tis. Kč
    • •
  • GA ČR
Projekt

Verifikace nekonečně stavových systémů založená na konečných automatech (GP13-37876P)

Projekt je zaměřen na formální verifikaci programů s nekonečnými stavovými prostory, zvláště pak na programy s dynamicky alokovanými ukazatelovými strukturami a programy manipulující řetězce neohraničené délky. Verifikační nástroje pro obě třídy prog...

IN - Informatika

  • 2013 - 2015
    • •
  • 2 289 tis. Kč
    • •
  • 2 289 tis. Kč
    • •
  • GA ČR
Projekt

Pokročilá analýza a verifikace pro pokročilý software (GA23-06506S)

S cílem pomoci vývojářům software vyrovnat se s jeho obrovskou a stále rostoucí složitostí se projekt zaměřuje na nové metody automatizované analýzy a verifikace pokročilého software, založeného na nízkoúrovňovém programování, moderních vysokoúrovňov...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2023 - 2025
    • •
  • 13 285 tis. Kč
    • •
  • 10 970 tis. Kč
    • •
  • GA ČR
Projekt

Symbolika spotřebního chování v marketingu (GA402/99/0514)

Význam symboliky spotřebního chování v marketingu je všeobecně uznáván a zakládá se na zásadní kulturní podmíněnosti marketingového konceptu. Nicméně právě díky této všudypřítomnosti a rozptýlenosti problému v marketingových publikacích a st...

AH - Ekonomie

  • 1999 - 2001
    • •
  • 373 tis. Kč
    • •
  • 373 tis. Kč
    • •
  • GA ČR
Projekt

Samoobslužní AI plánovací agenti (FY01010074)

Cílem projektu je zásadní a významné rozšíření cloudové platformy Filuta AI, která využívá autonomní plánovací agenty na bázi Symbolické AI. Projekt odstraní vysoké nároky na expertní znalosti, které byly historicky nutné pro implementaci plánovacích...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2025 - 2027
    • •
  • 42 571 tis. Kč
    • •
  • 29 484 tis. Kč
    • •
  • MPO
  • 1 - 10 z 202