Sébastien Limet

53 papers A 1B 3C 3Misc 6Journal 12Unranked 28

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