Résultats de recherche, page 209 sur 407

Contenu mis à jour
Site
Rubrique
Type de contenu

La recherche a donné 4070 résultats Accéder aux résultats

  1. Intervention de Jade Alglave, James Brotherston, Juan Navarro-Perez and Peter O'Hearn - University College London (UCL)

    • Type : Actualité
    • - Mis à jour le 09/09/19

  2. Enjeux et perspectives du traitement de données en neuroimagerie

    • Type : Actualité
    • - Mis à jour le 09/09/19

  3. DEL-sequents for progression, regression and epistemic planning

    • Type : Actualité
    • - Mis à jour le 09/09/19

  4. Communication/Computation Tradeoffs in Consensus-Based Distributed Optimization

    • Type : Actualité
    • - Mis à jour le 09/09/19

  5. Métaheuristiques pour l’optimisation combinatoire à grande échelle

    • Type : Actualité
    • - Mis à jour le 09/09/19

  6. Program analysis and quantitative techniques against Web Tracking

    • Type : Actualité
    • - Mis à jour le 09/09/19

  7. Estimation de pires temps d'exécution (WCET - Worst-Case Execution Times)

    • Type : Actualité
    • - Mis à jour le 09/09/19

  8. Conception d'architectures Multiprocesseurs Hétérogènes Adaptatives

    • Type : Actualité
    • - Mis à jour le 09/09/19

  9. Vérification formelle d'un compilateur réaliste du langage C

    • Type : Actualité
    • - Mis à jour le 09/09/19

  10. Statistical Model Checking

    • Type : Actualité
    • - Mis à jour le 09/09/19