default search action
Sébastien Limet
Person information
- affiliation: University of Orléans, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j11]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): 207-230 (2024) - 2023
- [j10]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-3): 109-127 (2023) - 2022
- [j9]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-4): 360-380 (2022) - [c40]Sébastien Rivault, Mostafa Bamha, Sébastien Limet, Sophie Robert:
Towards a Scalable Set Similarity Join Using MapReduce and LSH. ICCS (1) 2022: 569-583 - 2021
- [c39]Haoran Wang
Efficient and Systematic Partitioning of Large and Deep Neural Networks for Parallelization. Euro-Par 2021: 201-216
2010 – 2019
- 2018
- [j8]Sébastien Limet, Alessio Merlo
HPC & Co strike back: Where are distributed paradigms heading toward? Concurr. Comput. Pract. Exp. 30(9) (2018) - [c38]Kevin Bourgeois, Sophie Robert, Sébastien Limet, Victor Essayan:
GeoSkelSL: A Python High-Level DSL for Parallel Computing in Geosciences. ICCS (3) 2018: 839-845 - [c37]Gauthier Sornet, Sylvain Jubertie, Fabrice Dupros
Performance Analysis of SIMD Vectorization of High-Order Finite-Element Kernels. HPCS 2018: 423-430 - [c36]Gauthier Sornet, Sylvain Jubertie, Fabrice Dupros
Data-Layout Reorganization for an Efficient Intra-Node Assembly of a Spectral Finite-Element Method. PDP 2018: 255-258 - 2017
- [c35]Kevin Bourgeois, Sophie Robert, Sébastien Limet, Victor Essayan:
Efficient Implicit Parallel Patterns for Geographic Information System. ICCS 2017: 545-554 - [c34]Kevin Bourgeois, Sophie Robert, Sébastien Limet, Victor Essayan:
An Hierarchical Labeling Technique for Interactive Computation of Watersheds. HPCS 2017: 86-92 - 2016
- [j7]Hélène Coullon, Sébastien Limet:
The SIPSim implicit parallelism model and the SkelGIS library. Concurr. Comput. Pract. Exp. 28(7): 2120-2144 (2016) - 2015
- [j6]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): 3145-3165 (2015) - [c33]Abderrahim Ait Wakrime
On the fly reconfiguration of interactive scientific visualization applications. HPCS 2015: 468-475 - 2014
- [c32]Hélène Coullon, Sébastien Limet:
Implementation and Performance Analysis of SkelGIS for Network Mesh-Based Simulations. Euro-Par 2014: 439-450 - [c31]Abderrahim Ait Wakrime
Place-Liveness of ComSA Applications. FACS 2014: 346-363 - [c30]Hélène Coullon, Jose-Maria Fullana, Pierre-Yves Lagrée
Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGIS. ICCS 2014: 102-112 - [c29]Sébastien Limet, Millian Poquet, Sophie Robert:
Modulight: A Framework for Efficient Dynamic Interactive Scientific Visualization. ICCS 2014: 692-702 - 2013
- [j5]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): 1394-1409 (2013) - [c28]Matthieu Dreher, Marc Piuzzi, Ahmed Turki, Matthieu Chavent
Interactive Molecular Dynamics: Scaling up to Large Systems. ICCS 2013: 20-29 - [c27]Hélène Coullon, Minh-Hoang Le, Sébastien Limet:
Parallelization of Shallow-Water Equations with the Algorithmic Skeleton Library SkelGIS. ICCS 2013: 591-600 - [c26]Hélène Coullon, Sébastien Limet:
Algorithmic skeleton library for scientific simulations: SkelGIS. HPCS 2013: 429-436 - 2012
- [c25]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: 103-122 - [c24]Sébastien Limet:
High level languages for efficient parallel programming. HPCS 2012: 541-542 - 2011
- [j4]Hélène Coullon, Audrey Latapie, Sébastien Limet, Emmanuel Melin, Daniel Pierre, Sophie Robert, Xavier 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): 31-54 (2011) - [c23]Sébastien Limet, Sophie Robert, Ahmed Turki:
Construction automatique d'applications de visualisation scientifique interactive fortement cohérentes. CAL 2011: 49-72 - [c22]Sébastien Limet, Sophie Robert, Ahmed Turki:
Controlling an Iteration-Wise Coherence in Dataflow. FACS 2011: 241-258 - [c21]Sébastien Limet, Sophie Robert, Ahmed Turki:
Coherence and Performance for Interactive Scientific Visualization Applications. SC@TOOLS 2011: 149-164 - [c20]Hiep-Thuan Do, Sébastien Limet, Emmanuel Melin:
Parallel Computing Flow Accumulation in Large Digital Elevation Models. ICCS 2011: 2277-2286 - 2010
- [c19]Hélène Coullon, Sébastien Limet, Emmanuel Melin:
A simple framework to generate parallel application for geospatial processing. COM.Geo 2010 - [c18]Hiep-Thuan Do, Sébastien Limet, Emmanuel Melin:
Parallel computing of catchment basins of rivers in large digital elevation models. HPCS 2010: 39-47
2000 – 2009
- 2009
- [c17]Hiep-Thuan Do, Sébastien Limet, Emmanuel Melin:
Parallel Computing of Catchment Basins in Large Digital Elevation Model. HPCA (China) 2009: 133-138 - 2008
- [c16]Sébastien Limet, Sophie Robert:
FlowVR-VRPN: first experiments of a VRPN/FlowVR coupling. VRST 2008: 251-252 - [c15]Simon Arvaux, Joeffrey Legaux, Sébastien Limet, Emmanuel Melin, Sophie Robert:
Parallel LOD for static and dynamic generic geo-referenced data. VRST 2008: 301-302 - 2006
- [j3]Sébastien Limet, Gernot Salzer
Basic Rewriting via Logic Programming, with an Application to the Reachability Problem. J. Autom. Lang. Comb. 11(1): 107-142 (2006) - [j2]Sébastien Limet, Gernot Salzer
Tree Tuple Languages from the Logic Programming Point of View. J. Autom. Reason. 37(4): 323-349 (2006) - [c14]Sébastien Limet, Pierre Pillot:
Deciding Satisfiability of Positive Second Order Joinability Formulae. LPAR 2006: 15-29 - 2005
- [c13]Sébastien Limet, Pierre Pillot:
Solving First Order Formulae of Pseudo-Regular Theory. ICTAC 2005: 110-124 - 2004
- [c12]Valérie Gouranton, Sébastien Limet, Souley Madougou, Emmanuel Melin:
A Scalable Cluster-based Parallel Simplifi cation Framework for Height Fields. EGPGV 2004: 59-65 - [c11]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: 497-505 - [c10]Sébastien Limet, Gernot Salzer
Proving Properties of Term Rewrite Systems via Logic Programs. RTA 2004: 170-184 - 2003
- [c9]Sébastien Limet, Gernot Salzer
Manipulating Tree Tuple Languages by Transforming Logic Programs. FTP 2003: 76-90 - 2001
- [c8]Sébastien Limet, Pierre Réty, Helmut Seidl:
Weakly Regular Relations and Applications. RTA 2001: 185-200
1990 – 1999
- 1999
- [c7]Sébastien Limet, Pierre Réty:
A New Result about the Decidability of the Existential One-Step Rewriting Theory. RTA 1999: 118-132 - 1998
- [c6]Sébastien Limet, Frédéric Saubion:
A General Framework for R-Unification Problems. PLILP/ALP 1998: 266-281 - [c5]Sébastien Limet, Pierre Réty:
Solving Disequations Modulo Some Class of Rewrite Systems. RTA 1998: 121-135 - 1997
- [j1]Sébastien Limet, Pierre Réty:
E-unification by means of tree tuple synchronized grammars. Discret. Math. Theor. Comput. Sci. 1(1): 69-98 (1997) - [c4]Sébastien Limet, Frédéric Saubion:
On Partial Validation of Logic Programs. AMAST 1997: 365-379 - [c3]Sébastien Limet, Pierre Réty:
E-Unification by Means of Tree Tuple Synchronized Grammars. TAPSOFT 1997: 429-440 - 1996
- [c2]Sébastien Limet, Pierre Réty:
Conditional Directed Narrowing. AMAST 1996: 637-640 - 1995
- [c1]Sébastien Limet, Pierre Réty:
An Attempt of Integration of LSE Narrowing and Directed Narrowing. UNIF 1995: 34-37
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-27 20:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: