Performance et fiabilité

Affichage des résultats 1 à 7 sur 7 au total

Performance et fiabilité : 1 à 7 sur 7 au total

  • Pré-publication, Document de travail

    Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer. CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators. 2019. ⟨hal-02374956⟩

    AO

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Thèse

    Sirajo Abdullahi Bakura. Patterns of Mobility and Clock Synchronization in Wireless Networks. Networking and Internet Architecture [cs.NI]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG079⟩. ⟨tel-03712019⟩

    ParSys

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Julien Girard-Satabin, Aymeric Varasse, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer. Partitionnement en régions linéaires pour la vérification formelle de réseaux de neurones. Journées Francophones des Langages Applicatifs, Apr 2021, Saint Médard d’Excideuil, France. ⟨hal-03127853⟩

    AO

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Pré-publication, Document de travail

    Grigori Fursin. Collective Mind, Part II: technical report. 2013. ⟨hal-01066126⟩

    ParSys

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Oleksandr Zinenko, Cédric Bastoul, Stéphane Huot. Manipulating Visualization, Not Codes. International Workshop on Polyhedral Compilation Techniques (IMPACT), Jan 2015, Amsterdam, Netherlands. pp.8. ⟨hal-01100974⟩

    EX-SITU

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Thèse

    Mohamed Amer Ben Jannet. Évaluation adaptative des systèmes de transcription en contexte applicatif. Informatique et langage [cs.CL]. Université Paris Saclay (COmUE), 2015. Français. ⟨NNT : 2015SACLS041⟩. ⟨tel-01240064⟩

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer. CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators. ECAI 2020 - 24th European Conference on Artificial Intelligence, Jun 2020, Santiago de Compostela, Spain. ⟨hal-02440520⟩

    AO

    Année de publication

    Disponible en libre accès

    Publication HAL