Sébastien Limet

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 14

Top Topics

Scientific Visualization

Similarity Join

Top Venues

Concurr. Comput. Pract. Exp.

Int. J. Parallel Program.

Publications

Nicolò Tonci, Sébastien Rivault, Mostafa Bamha, Sophie Robert, Sébastien Limet, Massimo Torquati
LSH SimilarityJoin Pattern in FastFlow. Int. J. Parallel Program. 52 (3) (2024)
Haoran Wang, Thibaut Tachon, Chong Li, Sophie Robert, Sébastien Limet
SMSG: Profiling-Free Parallelism Modeling for Distributed Training of DNN. Int. J. Parallel Program. 51 (2) (2023)
Sébastien Rivault, Mostafa Bamha, Sébastien Limet, Sophie Robert
A Scalable Similarity Join Algorithm Based on MapReduce and LSH. Int. J. Parallel Program. 50 (3) (2022)
Sébastien Rivault, Mostafa Bamha, Sébastien Limet, Sophie Robert
Towards a Scalable Set Similarity Join Using MapReduce and LSH. ICCS (1) (2022)
Haoran Wang, Chong Li, Thibaut Tachon, Hongxing Wang, Sheng Yang, Sébastien Limet, Sophie Robert
Efficient and Systematic Partitioning of Large and Deep Neural Networks for Parallelization. Euro-Par (2021)
Sébastien Limet, Alessio Merlo, Luca Spalazzi
HPC & Co strike back: Where are distributed paradigms heading toward? Concurr. Comput. Pract. Exp. 30 (9) (2018)
Gauthier Sornet, Sylvain Jubertie, Fabrice Dupros, Florent De Martin, Philippe Thierry, Sébastien Limet
Data-Layout Reorganization for an Efficient Intra-Node Assembly of a Spectral Finite-Element Method. PDP (2018)
Kevin Bourgeois, Sophie Robert, Sébastien Limet, Victor Essayan
GeoSkelSL: A Python High-Level DSL for Parallel Computing in Geosciences. ICCS (3) (2018)
Gauthier Sornet, Sylvain Jubertie, Fabrice Dupros, Florent De Martin, Sébastien Limet
Performance Analysis of SIMD Vectorization of High-Order Finite-Element Kernels. HPCS (2018)
Kevin Bourgeois, Sophie Robert, Sébastien Limet, Victor Essayan
Efficient Implicit Parallel Patterns for Geographic Information System. ICCS (2017)
Kevin Bourgeois, Sophie Robert, Sébastien Limet, Victor Essayan
An Hierarchical Labeling Technique for Interactive Computation of Watersheds. HPCS (2017)
Hélène Coullon, Sébastien Limet
The SIPSim implicit parallelism model and the SkelGIS library. Concurr. Comput. Pract. Exp. 28 (7) (2016)
Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert
On the fly reconfiguration of interactive scientific visualization applications. HPCS (2015)
Sébastien Limet, Waleed W. Smari, Luca Spalazzi
High-performance computing: to boldly go where no human has gone before. Concurr. Comput. Pract. Exp. 27 (13) (2015)
Sébastien Limet, Millian Poquet, Sophie Robert
Modulight: A Framework for Efficient Dynamic Interactive Scientific Visualization. ICCS (2014)
Hélène Coullon, Sébastien Limet
Implementation and Performance Analysis of SkelGIS for Network Mesh-Based Simulations. Euro-Par (2014)
Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert
Place-Liveness of ComSA Applications. FACS (2014)
Hélène Coullon, Jose-Maria Fullana, Pierre-Yves Lagrée, Sébastien Limet, Xiaofei Wang
Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGIS. ICCS (2014)
Hélène Coullon, Minh-Hoang Le, Sébastien Limet
Parallelization of Shallow-Water Equations with the Algorithmic Skeleton Library SkelGIS. ICCS (2013)
Hélène Coullon, Sébastien Limet
Algorithmic skeleton library for scientific simulations: SkelGIS. HPCS (2013)
Hiep-Thuan Do, Sébastien Limet, Emmanuel Melin
A scalable parallel minimum spanning tree algorithm for catchment basin delimitation in large digital elevation models. Concurr. Comput. Pract. Exp. 25 (10) (2013)
Matthieu Dreher, Marc Piuzzi, Ahmed Turki, Matthieu Chavent, Marc Baaden, Nicolas Férey, Sébastien Limet, Bruno Raffin, Sophie Robert
Interactive Molecular Dynamics: Scaling up to Large Systems. ICCS (2013)
Sébastien Limet
High level languages for efficient parallel programming. HPCS (2012)
Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert
Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives. CAL (2012)
Hélène Coullon, A. Latapie, Sébastien Limet, Emmanuel Melin, Daniel Pierre, Sophie Robert, X. Thomas
Calculs parallèles pour le traitement des gros volumes de données liées aux risques environnementaux. Ingénierie des Systèmes d Inf. 16 (3) (2011)
Hiep-Thuan Do, Sébastien Limet, Emmanuel Melin
Parallel Computing Flow Accumulation in Large Digital Elevation Models. ICCS (2011)
Sébastien Limet, Sophie Robert, Ahmed Turki
Construction automatique d'applications de visualisation scientifique interactive fortement cohérentes. CAL (2011)
Sébastien Limet, Sophie Robert, Ahmed Turki
Coherence and Performance for Interactive Scientific Visualization Applications. SC@TOOLS (2011)
Sébastien Limet, Sophie Robert, Ahmed Turki
Controlling an Iteration-Wise Coherence in Dataflow. FACS (2011)
Hiep-Thuan Do, Sébastien Limet, Emmanuel Melin
Parallel computing of catchment basins of rivers in large digital elevation models. HPCS (2010)
Hélène Coullon, Sébastien Limet, Emmanuel Melin
A simple framework to generate parallel application for geospatial processing. COM.Geo (2010)
Hiep-Thuan Do, Sébastien Limet, Emmanuel Melin
Parallel Computing of Catchment Basins in Large Digital Elevation Model. HPCA (China) (2009)
Simon Arvaux, Joeffrey Legaux, Sébastien Limet, Emmanuel Melin, Sophie Robert
Parallel LOD for static and dynamic generic geo-referenced data. VRST (2008)
Sébastien Limet, Sophie Robert
FlowVR-VRPN: first experiments of a VRPN/FlowVR coupling. VRST (2008)
Sébastien Limet, Pierre Pillot
Deciding Satisfiability of Positive Second Order Joinability Formulae. LPAR (2006)
Sébastien Limet, Gernot Salzer
Basic Rewriting via Logic Programming, with an Application to the Reachability Problem. J. Autom. Lang. Comb. 11 (1) (2006)
Sébastien Limet, Gernot Salzer
Tree Tuple Languages from the Logic Programming Point of View. J. Autom. Reason. 37 (4) (2006)
Sébastien Limet, Pierre Pillot
Solving First Order Formulae of Pseudo-Regular Theory. ICTAC (2005)
Sébastien Limet, Gernot Salzer
Proving Properties of Term Rewrite Systems via Logic Programs. RTA (2004)
Jérémie Allard, Valérie Gouranton, Loïck Lecointre, Sébastien Limet, Bruno Raffin, Sophie Robert
FlowVR: A Middleware for Large Scale Virtual Reality Applications. Euro-Par (2004)
Valérie Gouranton, Sébastien Limet, Souley Madougou, Emmanuel Melin
A Scalable Cluster-based Parallel Simplifi cation Framework for Height Fields. EGPGV (2004)
Sébastien Limet, Gernot Salzer
Manipulating Tree Tuple Languages by Transforming Logic Programs. Electron. Notes Theor. Comput. Sci. 86 (1) (2003)
Sébastien Limet, Pierre Réty, Helmut Seidl
Weakly Regular Relations and Applications. RTA (2001)
Sébastien Limet, Pierre Réty
A New Result about the Decidability of the Existential One-Step Rewriting Theory. RTA (1999)
Sébastien Limet, Pierre Réty
Solving Disequations Modulo Some Class of Rewrite Systems. RTA (1998)
Sébastien Limet, Frédéric Saubion
A General Framework for R-Unification Problems. PLILP/ALP (1998)
Sébastien Limet, Pierre Réty
E-unification by means of tree tuple synchronized grammars. Discret. Math. Theor. Comput. Sci. 1 (1) (1997)
Sébastien Limet, Frédéric Saubion
On Partial Validation of Logic Programs. AMAST (1997)
Sébastien Limet, Pierre Réty
E-Unification by Means of Tree Tuple Synchronized Grammars. TAPSOFT (1997)
Sébastien Limet, Pierre Réty
Conditional Directed Narrowing. AMAST (1996)
Sébastien Limet, Pierre Réty
An Attempt of Integration of LSE Narrowing and Directed Narrowing. UNIF (1995)