Recherche avancée
Créer alerte
Sponsorisé
PsD-DRT-19-0022
DOMAINE DE RECHERCHE
Informatique et logiciels
RÉSUMÉ DU SUJET
Frama-C est une plateforme ouverte regroupant un ensemble d'analyseurs de code C. Les programmes analysés par Frama-C peuvent être annotés par des spécifications formelles...
Sponsorisé
PsD-DRT-19-0022
RESEARCH FIELD
Computer science and software
ABSTRACT
Frama-C is an opensource framework providing several analyzers for C code. The analyzed programs can be annotated by formal specifications written in the ACSL specification language....
Sponsorisé
PsD-DRT-19-0017
DOMAINE DE RECHERCHE
Informatique et logiciels
RÉSUMÉ DU SUJET
Le modèle de réseau dynamique décrit les systèmes informatiques en réseau avec des topologies évoluant dans le temps. Dans le modèle conventionnel de réseau dynamique en...
Sponsorisé
PsD-DRT-19-0017
RESEARCH FIELD
Computer science and software
ABSTRACT
The model of dynamic networks describes networked computing systems with topologies that change over time. In the conventional model of distributed computations in dynamic networks,...
Sponsorisé
PsD-DRT-18-0115
DOMAINE DE RECHERCHE
Informatique et logiciels
RÉSUMÉ DU SUJET
Ce projet fait suite à des travaux antérieurs focalisés sur l'instrumentation d'une éolienne on-shore avec un réseau de capteurs inertiel dont les réponses permettent la...
Sponsorisé
PsD-DRT-18-0115
RESEARCH FIELD
Computer science and software
ABSTRACT
This project follows previous work focused on on-shore wind turbine instrumentation with inertial sensors networks whose dataflows allows the detection of vibration modes specific to the...
Sponsorisé
PsD-DRT-18-0112
DOMAINE DE RECHERCHE
Informatique et logiciels
RÉSUMÉ DU SUJET
Ce projet a pour objectif de développer un démonstrateur intégrant les technologies à l’état de l’art et le tester sur un cas d’usage représentatif du monde industriel....
Sponsorisé
PsD-DRT-18-0112
RESEARCH FIELD
Computer science and software
ABSTRACT
This project aims at developing a demonstrator that integrates state-of-the-art technologies and improve it on a use-case representative of the industrial world.
The demonstrator will...
Sponsorisé
PsD-DRT-18-0098
DOMAINE DE RECHERCHE
Informatique et logiciels
RÉSUMÉ DU SUJET
Les contraintes économiques actuelles dans le domaine industriel se resserrent, ce qui entraîne une compétitivité accrue et un besoin de produire mieux et plus rapidement....
Sponsorisé
PsD-DRT-18-0098
RESEARCH FIELD
Computer science and software
ABSTRACT
The current economic constraints in the industrial field are getting tighter, which leads to increased competitiveness and a need to produce better and quicker. The optimisation of...
RECHERCHE RAPIDE PAR DOMAINE
France
Choisissez un pays
