Sébastien Limet

Affiliations:
  • University of Orléans, France


According to our database1, Sébastien Limet authored at least 50 papers between 1995 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
LSH SimilarityJoin Pattern in FastFlow.
Int. J. Parallel Program., June, 2024

2023
SMSG: Profiling-Free Parallelism Modeling for Distributed Training of DNN.
Int. J. Parallel Program., 2023

2022
A Scalable Similarity Join Algorithm Based on MapReduce and LSH.
Int. J. Parallel Program., 2022

Towards a Scalable Set Similarity Join Using MapReduce and LSH.
Proceedings of the Computational Science - ICCS 2022, 2022

2021
Efficient and Systematic Partitioning of Large and Deep Neural Networks for Parallelization.
Proceedings of the Euro-Par 2021: Parallel Processing, 2021

2018
HPC & Co strike back: Where are distributed paradigms heading toward?
Concurr. Comput. Pract. Exp., 2018

Data-Layout Reorganization for an Efficient Intra-Node Assembly of a Spectral Finite-Element Method.
Proceedings of the 26th Euromicro International Conference on Parallel, 2018

Performance Analysis of SIMD Vectorization of High-Order Finite-Element Kernels.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

GeoSkelSL: A Python High-Level DSL for Parallel Computing in Geosciences.
Proceedings of the Computational Science - ICCS 2018, 2018

2017
An Hierarchical Labeling Technique for Interactive Computation of Watersheds.
Proceedings of the 2017 International Conference on High Performance Computing & Simulation, 2017

Efficient Implicit Parallel Patterns for Geographic Information System.
Proceedings of the International Conference on Computational Science, 2017

2016
The SIPSim implicit parallelism model and the SkelGIS library.
Concurr. Comput. Pract. Exp., 2016

2015
High-performance computing: to boldly go where no human has gone before.
Concurr. Comput. Pract. Exp., 2015

On the fly reconfiguration of interactive scientific visualization applications.
Proceedings of the 2015 International Conference on High Performance Computing & Simulation, 2015

2014
Modulight: A Framework for Efficient Dynamic Interactive Scientific Visualization.
Proceedings of the International Conference on Computational Science, 2014

Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGIS.
Proceedings of the International Conference on Computational Science, 2014

Place-Liveness of ComSA Applications.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Implementation and Performance Analysis of SkelGIS for Network Mesh-Based Simulations.
Proceedings of the Euro-Par 2014 Parallel Processing, 2014

2013
A scalable parallel minimum spanning tree algorithm for catchment basin delimitation in large digital elevation models.
Concurr. Comput. Pract. Exp., 2013

Algorithmic skeleton library for scientific simulations: SkelGIS.
Proceedings of the International Conference on High Performance Computing & Simulation, 2013

Parallelization of Shallow-Water Equations with the Algorithmic Skeleton Library SkelGIS.
Proceedings of the International Conference on Computational Science, 2013

Interactive Molecular Dynamics: Scaling up to Large Systems.
Proceedings of the International Conference on Computational Science, 2013

2012
High level languages for efficient parallel programming.
Proceedings of the 2012 International Conference on High Performance Computing & Simulation, 2012

Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives.
Proceedings of the 6ème Conférence francophone sur les Architectures Logicielles, 2012

2011
Parallel Computing Flow Accumulation in Large Digital Elevation Models.
Proceedings of the International Conference on Computational Science, 2011

Calculs parallèles pour le traitement des gros volumes de données liées aux risques environnementaux.
Ingénierie des Systèmes d Inf., 2011

Coherence and Performance for Interactive Scientific Visualization Applications.
Proceedings of the Software Composition - 10th International Conference, 2011

Controlling an Iteration-Wise Coherence in Dataflow.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Construction automatique d'applications de visualisation scientifique interactive fortement cohérentes.
Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL'2011, 2011

2010
Parallel computing of catchment basins of rivers in large digital elevation models.
Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

A simple framework to generate parallel application for geospatial processing.
Proceedings of the 1st International Conference and Exhibition on Computing for Geospatial Research & Application, 2010

2009
Parallel Computing of Catchment Basins in Large Digital Elevation Model.
Proceedings of the High Performance Computing and Applications, 2009

2008
FlowVR-VRPN: first experiments of a VRPN/FlowVR coupling.
Proceedings of the ACM Symposium on Virtual Reality Software and Technology, 2008

Parallel LOD for static and dynamic generic geo-referenced data.
Proceedings of the ACM Symposium on Virtual Reality Software and Technology, 2008

2006
Tree Tuple Languages from the Logic Programming Point of View.
J. Autom. Reason., 2006

Basic Rewriting via Logic Programming, with an Application to the Reachability Problem.
J. Autom. Lang. Comb., 2006

Deciding Satisfiability of Positive Second Order Joinability Formulae.
Proceedings of the Logic for Programming, 2006

2005
Solving First Order Formulae of Pseudo-Regular Theory.
Proceedings of the Theoretical Aspects of Computing, 2005

2004
Proving Properties of Term Rewrite Systems via Logic Programs.
Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

FlowVR: A Middleware for Large Scale Virtual Reality Applications.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

A Scalable Cluster-based Parallel Simplifi cation Framework for Height Fields.
Proceedings of the 5th Eurographics/ACM SIGGRAPH Symposium on Parallel Graphics and Visualization, 2004

2003
Manipulating Tree Tuple Languages by Transforming Logic Programs.
Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

2001
Weakly Regular Relations and Applications.
Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

1999
A New Result about the Decidability of the Existential One-Step Rewriting Theory.
Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

1998
Solving Disequations Modulo Some Class of Rewrite Systems.
Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

A General Framework for R-Unification Problems.
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

1997
E-unification by means of tree tuple synchronized grammars.
Discret. Math. Theor. Comput. Sci., 1997

On Partial Validation of Logic Programs.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
Conditional Directed Narrowing.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
An Attempt of Integration of LSE Narrowing and Directed Narrowing.
Proceedings of the 9th International Workshop on Unification, 1995


  Loading...