Rechercher des projets européens

2 projets européens trouvés

Recherche sur 125080 projets européens

 TERMINÉ 

Model Checking and Synthesis for Concurrent Software (CONAN)

Date du début: 1 sept. 2013, Date de fin: 31 août 2017,

"Methods for systems and software engineering have steadily improved, but are being outrun by rapidly increasing system complexity. Much of this complexity is caused by the increasing parallelism (concurrency) and ubiquity (embeddedness) of systems. In this project, called ConAn (for CONcurrency ANalysis), we focus on design and analysis methods for concurrent software.Concurrent programming is th ...
Voir le projet

 1

 TERMINÉ 
"Modern molecular biology relies on high-throughput technologies to generate large quantities of data about components of living cells and on sophisticated mathematical and computational techniques for analyzing this data. We will develop new algorithms and probabilistic models in areas of comparative genomics, gene finding, and homology search. In particular, we propose a new class of evolutionar ...
Voir le projet

 1