À propos du CRIM

Génération automatisée de code pour système distribué

L’équipe construit une expertise complémentaire dans le développement de générateurs de code à partir de langages spécifiques à un domaine (domain-specific language ou DSL), du développement de compilateurs et explore actuellement le domaine de la génération interactive de code et la finalisation de spécifications partielles par inférence. Une plateforme de génération de code à partir d’un DSL compact de haut niveau a été développée.

Équipes

Événement à venir

  • HASE 2019
    3/01/19 2019h00
    Hangzhou, China
    Le CRIM présentera deux articles à la 19e édition du IEEE International Symposium on High Assurance Systems Engineering, qui se déroulera du 3 au 5 janvier 2019 à Hangzhou, Chine
    +
  • CANARIE RT @CANARIE_Inc: VESTA recueille les données des systèmes d'apprentissage en ligne quand les élèves lisent l'écran, sont distraits ou pense…
  • #startech_capsules | Entrevue @technopolys_qc avec @casaconnected, qui s'est donné la mission de révolutionner la f… https://t.co/QsF70CDKIg

Publications récentes

  • Towards Automatic Feature Extraction for Activity Recognition from Wearable Sensors: A Deep Learning Approach

    +
  • Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving

    +