2 European Projects Found
Searched on 125080 European Projects
FINISHED
Model Checking and Synthesis for Concurrent Software (CONAN)
Start date: Sep 1, 2013, End date: Aug 31, 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 ...
Read Project
1
Partner Participant
FINISHED
Computational methods for biological sequence analysis with application to evolution of yeast mitochondrial genomes (BIOSEQANALYSIS)
Start date: Jan 1, 2009, End date: Dec 31, 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 ...
Read Project
