Accueil

Dernières annonces

electrod: First public release of Electrod
Electrod is now available publically!
Ajouté par David Chemouil il y a 11 mois

Wireless : Journée Wireless le 15 Juin
Présentation de l'avancement et des travaux en cours menés dans le cadre du PRF WIRELESS
Ajouté par Bruno Ausbourg (d') il y a plus d'un an

Electrum Analyzer: Electrum Analyzer 0.3.5
Ajouté par David Chemouil il y a plus de 2 ans

Electrum Analyzer: Electrum Analyzer 0.3.4 released and added to OCaml's opam
Ajouté par David Chemouil il y a environ 3 ans

Electrum Analyzer: First public release of the Electrum Analyzer
The first public release of the Electrum Analyzer (v0.3.1) is now available from the electrum Git repo.
Ajouté par David Chemouil il y a environ 3 ans

Voir toutes les annonces

Derniers projets

  • MMT - Planificateur d'actions (14/01/2019 14:59)

    Projet Man-Machine Teaming - Planificateur d'actions pour Dassault Aviation

  • ANR_CORTEVA (21/02/2018 09:35)
  • dota-matisse (19/02/2018 15:16)

    L'objectif de cette demande est de disposer d'une forge RedMine destiné à la gestion de MATISSE, code développé par le DOTA et distribué à la DGA et aux industriels. Cette forge permettra l'organisation et le suivi du développement du code avec notamment une fonction de bugtracker ouverte en externe qui va permettre la saisie et la gestion des anomalies de MATISSE constatées par l'équipe de développement ainsi que par les utilisateurs externes. ...

  • RTProb: Real Time Probabilistic Analysis Tool (16/02/2018 14:40)

    RTProb is a tool to perform probabilistic schedulability analysis of probabilistic real-time system.
    - To calculate Probability of deadline miss for the jobs in the system
    - Incorporates Criticality Levels of the tasks and obtains the probability of system entering HIGH criticality...

  • TSA2 NACOR (12/12/2017 12:59)

    Plateforme de partage pour le Techno Stream laminarité du projet NACOR