Sébastien LIMET

Professeur des universités
Université d'Orléans
Pamda
sebastien.limet[at]univ-orleans.fr
Page web

Publications HAL de Sébastien LIMET sous affiliation au LIFO - 64 publications

Pour une liste indépendante de l'affiliation, consulter DBLP.

  • 2025 - (1)

  • 2024 - (1)

  • 2022 - (3)

  • 2021 - (3)

  • 2018 - (4)

    • Publications dans les actes d'un congrès international avec comité de lecture - (3)

      • Performance Analysis of SIMD vectorization of High-Order Finite-Element kernels
        Auteur(s) : Sylvain JUBERTIE, Sébastien LIMET, Gauthier SORNET, Fabrice DUPROS, Florent DE MARTIN

        HAL : 2538561

      • GeoSkelSL: A Python High-Level DSL for Parallel Computing in Geosciences.
        Auteur(s) : Sophie ROBERT, Sébastien LIMET, Kevin BOURGEOIS, Victor ESSAYAN

        HAL : 1935255

      • Data-layout reorganization for an efficient intra-node assembly of a Spectral Finite-Element Method
        Auteur(s) : Sylvain JUBERTIE, Sébastien LIMET, Gauthier SORNET, Fabrice DUPROS, Florent DE MARTIN, Philippe THIERRY

        To appear in CPS proceedings - HAL : 1680058

    • Revue internationale à comité de lecture - (1)

      • HPC & Co strike back: Where are distributed paradigms heading toward?
        Auteur(s) : Sébastien LIMET, Alessio MERLO, Luca SPALAZZI

        HAL : 1935193

  • 2017 - (2)

    • Communications sans actes - (1)

    • Publications dans les actes d'un congrès international avec comité de lecture - (1)

      • Efficient Implicit Parallel Patterns for Geographic Information System
        Auteur(s) : Sophie ROBERT, Sébastien LIMET, Kevin BOURGEOIS, Victor ESSAYAN

        Procedia Computer Science - HAL : 1557048

  • 2016 - (1)

  • 2015 - (3)

    • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Revue internationale à comité de lecture - (2)

      • High-performance computing: to boldly go where no human has gone before
        Auteur(s) : Sébastien LIMET, Waleed SMARI, Luca SPALAZZI

        HAL : 1245456

      • The SIPSim implicit parallelism model and the SkelGIS library
        Auteur(s) : Sébastien LIMET, Hélène COULLON

        HAL : 1216019

  • 2014 - (9)

    • Autres Publications - (1)

      • Vitamins : Visual and In Situ Analytics for Molecular Interactive Simulation
        Auteur(s) : Sébastien LIMET, Sophie ROBERT, Marc BAADEN, Matthieu DREHER, Nicolas FEREY, Jessica PREVOTEAU-JONQUET, Bruno RAFFIN, Mikael TRELLET

        HAL : 3977413

    • Communications sans actes - (1)

      • Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGIS
        Auteur(s) : Sébastien LIMET, Hélène COULLON, Jose-Maria FULLANA, Pierre-Yves LAGRÉE, Xiaofei WANG

        HAL : 1446450

    • Publications dans les actes d'un congrès international avec comité de lecture - (3)

    • Publications dans les actes d'un congrès national avec comité de lecture - (1)

    • Revue internationale à comité de lecture - (2)

      • ExaViz: a Flexible Framework to Analyse, Steer and Interact with Molecular Dynamics Simulations
        Auteur(s) : Sophie ROBERT, Sébastien LIMET, Matthieu DREHER, Jessica PREVOTEAU-JONQUET, Mikael TRELLET, Marc PIUZZI, Marc BAADEN, Bruno RAFFIN, Nicolas FÉREY

        HAL : 942627

      • Modeling Interactive Scientific Visualization Applications with Strict Colored FIFO Nets
        Auteur(s) : Sébastien LIMET, Sophie ROBERT, Abderrahim AIT WAKRIME

        HAL : 1242592

    • Revue nationale à comité de lecture - (1)

      • Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives
        Auteur(s) : Sébastien LIMET, Sophie ROBERT, Abderrahim AIT WAKRIME

        HAL : 979716

  • 2013 - (6)

    • Communications sans actes - (1)

      • Performances de la Librairie de Squelettes Algorithmiques SkelGIS
        Auteur(s) : Sébastien LIMET, Hélène COULLON, Hoang LE MINH

        HAL : 832674

    • Publications dans les actes d'un congrès international avec comité de lecture - (3)

      • Parallelization of Shallow-Water Equations with the Algorithmic Skeleton Library SkelGIS
        Auteur(s) : Sébastien LIMET, Hélène COULLON, Hoang LE MINH

        HAL : 832660

      • Algorithmic skeleton library for scientific simulations : SkelGIS
        Auteur(s) : Sébastien LIMET, Hélène COULLON

        HAL : 845891

      • Interactive Molecular Dynamics: Scaling up to Large Systems
        Auteur(s) : Sébastien LIMET, Sophie ROBERT, Matthieu DREHER, Marc PIUZZI, Turki AHMED, Chavent MATTHIEU, Marc BAADEN, Nicolas FÉREY, Bruno RAFFIN

        HAL : 809024

    • Publications dans les actes d'un congrès national avec comité de lecture - (1)

    • Revue internationale à comité de lecture - (1)

      • A scalable parallel minimum spanning tree algorithm for catchment basin delimitation in large digital elevation models
        Auteur(s) : Sébastien LIMET, Emmanuel MELIN, Hiep-Thuan DO

        HAL : 785859

  • 2012 - (3)

    • Communications sans actes - (1)

      • Une librairie de squelettes algorithmiques par blocs sur structure de données 2D
        Auteur(s) : Sébastien LIMET, Hélène COULLON

        HAL : 832670

    • Conférence donnée sur invitation - (1)

    • Revue nationale à comité de lecture - (1)

      • Construction automatique d'applications de visualisation scientifique interactive fortement cohérentes
        Auteur(s) : Sébastien LIMET, Sophie ROBERT, Ahmed TURKI

        HAL : 832621

  • 2011 - (5)

    • Publications dans les actes d'un congrès international avec comité de lecture - (3)

    • Publications dans les actes d'un congrès national avec comité de lecture - (1)

      • Construction automatique d'applications de visualisation scientifique interactives sous contraintes de cohérence
        Auteur(s) : Sébastien LIMET, Sophie ROBERT, Ahmed TURKI

        HAL : 658019

    • Revue nationale à comité de lecture - (1)

  • 2010 - (2)

    • Publications dans les actes d'un congrès international avec comité de lecture - (2)

  • 2009 - (3)

    • Publications dans les actes d'un congrès international avec comité de lecture - (3)

  • 2008 - (2)

  • 2006 - (3)

    • Publications dans les actes d'un congrès international avec comité de lecture - (1)

      • Deciding Satisfiability of Positive Second Order Joinability Formulae
        Auteur(s) : Sébastien LIMET, Pierre PILLOT

        HAL : 85598

    • Revue internationale à comité de lecture - (2)

      • Basic rewriting via logic programming, with an application to the reachability problem
        Auteur(s) : Sébastien LIMET, Gernot SALZER

        HAL : 85309

      • Tree tuple languages from the logic programming point of view
        Auteur(s) : Sébastien LIMET, Gernot SALZER

        HAL : 85310

  • 2005 - (1)

    • Publications dans les actes d'un congrès international avec comité de lecture - (1)

      • Solving First Order Formulae of Pseudo-Regular Theory
        Auteur(s) : Sébastien LIMET, Pierre PILLOT

        HAL : 85596

  • 2004 - (3)

    • Publications dans les actes d'un congrès international avec comité de lecture - (3)

  • 2003 - (1)

    • Revue internationale à comité de lecture - (1)

      • Manipulating tree tuple languages by transforming logic programs
        Auteur(s) : Sébastien LIMET, Gernot SALZER

        HAL : 85313

  • 2001 - (1)

    • Publications dans les actes d'un congrès international avec comité de lecture - (1)

  • 1999 - (1)

    • Publications dans les actes d'un congrès international avec comité de lecture - (1)

  • 1998 - (2)

    • Publications dans les actes d'un congrès international avec comité de lecture - (2)

  • 1997 - (3)

    • Publications dans les actes d'un congrès international avec comité de lecture - (2)

    • Revue internationale à comité de lecture - (1)

  • 1996 - (1)

    • Publications dans les actes d'un congrès international avec comité de lecture - (1)