Génie logiciel

Affichage des résultats 1 à 12 sur 18 au total

Génie logiciel : 1 à 12 sur 18 au total

  • Article dans une revue

    Daniel Etiemble, Lionel Lacassagne. Jeux d’instructions : extensions SIMD et extensions vectorielles. Techniques de l'Ingénieur, 2020, pp.H1202 v1. ⟨10.51257/a-v1-h1202⟩. ⟨hal-02852880⟩

    ParSys

    Année de publication

    Publication HAL

  • Thèse

    Philip Tchernavskij. Designing and Programming Malleable Software. Human-Computer Interaction [cs.HC]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLS499⟩. ⟨tel-02612943⟩

    EX-SITU

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Article dans une revue

    Ali Kadhum Idrees, Sara Kadhum Idrees, Raphael Couturier, Tara Ali-Yahiya. An Edge-Fog Computing Enabled Lossless EEG Data Compression with Epileptic Seizure Detection in IoMT Networks. IEEE Internet of Things Journal, 2022, 5 (15), pp.13327 (11). ⟨10.1109/JIOT.2022.3143704⟩. ⟨hal-04257358⟩

    ROCS

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Rania Khefifi, Pascal Poizat, Fatiha Saïs. Modélisation et interrogation d'espaces d'informations personnelles sensibles au contexte.. Extraction et Gestion des Connaissances, Jan 2012, Bordeaux, France. pp.573-574. ⟨hal-00832944⟩

    LaHDAK

    Année de publication

    Publication HAL

  • Communication dans un congrès

    Christophe Jacquet, Ahmed Mohamed, Frédéric Boulanger, Cécile Hardebolle, Yacine Bellik. Building Heterogeneous Models at Runtime to Detect Faults in Ambient-Intelligent Environments. MRT 2013, Sep 2013, Miami, United States. pp.52-63. ⟨hal-00905275⟩

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Emmanuel Pietriga. Engineering Interactive Geospatial Visualizations for Cluster-Driven Ultra-high-resolution Wall Displays. EICS 2022 - ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2022, Sophia Antipolis France, France. pp.3-4, ⟨10.1145/3531706.3536455⟩. ⟨hal-03705384⟩

    ILDA

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski. Fault Manifestability Verification for Discrete Event Systems. 22nd European Conference on Artificial Intelligence ECAI-16, Aug 2016, La Haye, Netherlands. ⟨hal-01483424⟩

    LaHDAK

    Année de publication

    Publication HAL

  • Article dans une revue

    Christophe Pradal, Sarah Cohen-Boulakia, Patrick Valduriez, Dennis Shasha. VersionClimber: version upgrades without tears. Computing in Science and Engineering, 2019, 21 (5), pp.87-93. ⟨10.1109/MCSE.2019.2921898⟩. ⟨hal-02262591⟩

    BioInfo

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Lina Ye, Philippe Dague, Lulu He. Manifestability Verification of Discrete Event Systems. DX 2019 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-9. ⟨hal-02425146⟩

    LaHDAK

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Pré-publication, Document de travail

    Alexandre Santana, Vinicius Freitas, Marcio Castro, Laércio Lima Pilla, Jean-François Méhaut. ARTful: A specification for user-defined schedulers targeting multiple HPC runtime systems. 2020. ⟨hal-02454426v1⟩

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Christophe Jacquet, Yolaine Bourda, Yacine Bellik. An Architecture for Ambient Computing. IEE International Workshop on Intelligent Environments. (IE 2005), Jun 2005, Colchester, United Kingdom. pp.47-54. ⟨hal-00259338⟩

    Année de publication

    Publication HAL

  • Thèse

    Gautier Meyer. Formalisation logique de préférences qualitatives pour la sélection de la réaction d'un agent rationnel dialoguant. Interface homme-machine [cs.HC]. Université Paris Sud - Paris XI, 2006. Français. ⟨NNT : ⟩. ⟨tel-00321676⟩

    Année de publication

    Disponible en libre accès

    Publication HAL