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
Participant partenaire
TERMINÉ
Computational methods for biological sequence analysis with application to evolution of yeast mitochondrial genomes (BIOSEQANALYSIS)
Date du début: 1 janv. 2009, Date de fin: 31 déc. 2012,
"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