All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

2 026 (0,06s) •

Project

Verification and Bug Hunting for Advanced Software (GA17-12465S)

) as well as extrapolating dynamic analysis and advanced testing of programs that use several classes of advanced programming constructions. In particular, the project concentrates on pointer programs, concurrent <...

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

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

Verification of Infinite State Systems Based on Finite Automata (GP13-37876P)

The focus of this project is formal verification of programs with infinite state spaces. Specifically, we target programs with dynamically allocated pointer data structures and programs manipulating unbounded strin...

IN - Informatika

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

Scalable Techniques for Analysis of Complex Properties of Computer Systems (GA20-07487S)

the project aims to attack, concentrating on several complementary types of program-level pointer operations, dealing with arrays and strings, and concurrency. Both......

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

  • 2020 - 2022
    • •
  • 10 611 tis. Kč
    • •
  • 9 278 tis. Kč
    • •
  • GA ČR
Project

Developement of methods for automatic verification of programs with dynamic data structures (GP201/09/P531)

pointer manipulations. Hence the automated methods for such programs are greatly project is development of methods for this class of programs.......

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

  • 2009 - 2011
    • •
  • 708 tis. Kč
    • •
  • 708 tis. Kč
    • •
  • GA ČR
Project

Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures (GA14-11384S)

of the current approaches to formal verification of programs handling unbounded data structures, such as collections or dynamic linked data structures based on pointers concurrency. As for concurrent programs, the stress w...

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

  • 2014 - 2016
    • •
  • 5 775 tis. Kč
    • •
  • 5 775 tis. Kč
    • •
  • GA ČR
Project

Advanced Analysis and Verification for Advanced Software (GA23-06506S)

and verification of advanced software, which uses low-level programming, new high-level Horn clauses). The low-level programs to be verified include especially programs with low-level pointer manipulation and dyna...

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
Project

*Multi-stage stabilization of electro-optical system designated for remote observation (FR-TI1/265)

*Design and realization of the multi-stage stabilization of the electro-optical system of specific reconnaissance sensors (cameras, laser rangefinder and laser pointer). The device will offer smooth view to observer at maximum magnification ...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2009 - 2011
    • •
  • 23 260 tis. Kč
    • •
  • 15 880 tis. Kč
    • •
  • MPO
Project

Automatic keyword spotting in audio data streams (1QS101470516)

; the output of the system is audio-recording identifiers and pointers to the places where the keyword has occurred. The system should be implemented as a computer program running......

JD - Využití počítačů, robotika a její aplikace

  • 2005 - 2009
    • •
  • 14 399 tis. Kč
    • •
  • 13 742 tis. Kč
    • •
  • AV ČR
Project

Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit (OC10009)

(including dynamic data structures based on pointers) and/or with advanced features...

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

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

Clustering and classification using recursive mixture estimation (GA15-03564S)

The proposed project deals with the issues of clustering and classification from the viewpoint of Bayesian methodology and using the recursive mixture estimation theory. The project is directed at systematic development of this theory with the main p...

BB - Aplikovaná statistika, operační výzkum

  • 2015 - 2017
    • •
  • 2 720 tis. Kč
    • •
  • 2 720 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 2 026