Parallel Computing of Catchment Basins in Large Digital Elevation Model
Hiep-Thuan Do
,
Sébastien Limet
,
Emmanuel Melin
HPCA2009 , 2009, China. pp.133-138
Conference papers
hal-00461644v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Implementation and Performance Analysis of SkelGIS for Network Mesh-Based Simulations
Hélène Coullon
,
Sébastien Limet
Conference papers
hal-01094340v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGIS
Hélène Coullon
,
Jose-Maria Fullana
,
Pierre-Yves Lagrée
,
Sébastien Limet
,
Xiaofei Wang
et al.
ICCS 2014 , Jun 2014, Cairns, Australia
Conference papers
hal-00958089v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Solving First Order Formulae of Pseudo-Regular Theory
Sébastien Limet
,
Pierre Pillot
2nd International Colloquium of Theoretical Aspects of Computing (ICTAC05) , 2005, France. pp.110-124
Conference papers
hal-00085596v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Deciding Satisfiability of Positive Second Order Joinability Formulae
Sébastien Limet
,
Pierre Pillot
13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR06) , 2006, France. pp.15-29
Conference papers
hal-00085598v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Modulight : un framework efficace pour la visualisation scientifique interactive dynamique
Sébastien Limet
,
Millian Poquet
,
Sophie Robert
Compas , Apr 2014, Neuchâtel, Suisse. pp.1
Conference papers
hal-00980782v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Performances de la Librairie de Squelettes Algorithmiques SkelGIS
Hélène Coullon
,
Sébastien Limet
,
Hoang Le Minh
ComPAS 2013 , Jan 2013, Grenoble, France
Conference papers
hal-00832674v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the Fly Reconfiguration of Interactive Scientific Visualization Applications
Abderrahim Ait Wakrime
,
Sébastien Limet
,
Sophie Robert
HPCS 2015 , Jul 2015, Amsterdam, Netherlands
Conference papers
hal-01161851v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A New Result about the Decidability of the Existential One-Step Rewriting Theory
Sébastien Limet
,
Pierre Réty
RTA 99 , 1999, Trento, Italy. pp.118-132
Conference papers
hal-00809570v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Weakly Regular Relations and Applications
Sébastien Limet
,
Pierre Réty
,
Helmut Seidl
RTA 2001 , 2001, Utrecht, Netherlands. pp.185-200
Conference papers
hal-00809573v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A scalable parallel minimum spanning tree algorithm for catchment basin delimitation in large digital elevation models
Hiep-Thuan Do
,
Sébastien Limet
,
Emmanuel Melin
Concurrency and Computation: Practice and Experience , 2013, 25 (10), pp.1394-1409.
⟨10.1002/cpe.2950⟩
Journal articles
istex
hal-00785859v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Modélisation des applications de visualisation scientifique interactives
Abderrahim Ait Wakrime
,
Sébastien Limet
,
Sophie Robert
CAL 2013 , May 2013, Toulouse, France. pp.1
Conference papers
hal-00979700v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Calculs parallèles pour le traitement des gros volumes de données liées aux risques environnementaux.
Hélène Coullon
,
Audrey Latapie
,
Sébastien Limet
,
Emmanuel Melin
,
Daniel Pierre
et al.
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information , 2011, 16 (3), pp.31-54.
⟨10.3166/isi.16.3.31-54⟩
Journal articles
istex
hal-00657974v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
ExaViz: a Flexible Framework to Analyse, Steer and Interact with Molecular Dynamics Simulations
Matthieu Dreher
,
Jessica Prevoteau-Jonquet
,
Mikael Trellet
,
Marc Piuzzi
,
Marc Baaden
et al.
Faraday Discussions , 2014, Molecular simulations and visualization, 169, pp.119-142.
⟨10.1039/C3FD00142C⟩
Journal articles
hal-00942627v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Basic rewriting via logic programming, with an application to the reachability problem
Sébastien Limet
,
Gernot Salzer
Journal of Automata Languages and Combinatorics , 2006, 11 (1), pp.107--142
Journal articles
hal-00085309v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
High level languages for efficient parallel programming.
Sébastien Limet
Conference papers
hal-00771480v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
HPC & Co strike back: Where are distributed paradigms heading toward?
Sébastien Limet
,
Alessio Merlo
,
Luca Spalazzi
Journal articles
hal-01935193v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
High-performance computing: to boldly go where no human has gone before
Sébastien Limet
,
Waleed W. Smari
,
Luca Spalazzi
Concurrency and Computation: Practice and Experience , 2015, Special Issue: Combined Special Issues on High-performance computing (HPCS 2012), 27 (13), pp.3145-3165.
⟨10.1002/cpe.3463⟩
Journal articles
istex
hal-01245456v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Place-liveness of ComSA Applications
Abderrahim Ait Wakrime
,
Sébastien Limet
,
Sophie Robert
FACS , Sep 2014, Bertinoro, Italy. pp.1-18
Conference papers
hal-01068419v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Controlling an iteration-wise coherence in dataflow
Sébastien Limet
,
Sophie Robert
,
Ahmed Turki
FACS , Jun 2011, Oslo, Norway. pp.1-15
Conference papers
hal-00657986v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Construction automatique d'applications de visualisation scientifique interactives sous contraintes de cohérence
Sébastien Limet
,
Sophie Robert
,
Ahmed Turki
CAL 2011 , Jun 2011, Lille, France. pp.20-30
Conference papers
hal-00658019v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Coherence and Performance for Interactive Scientific Visualisation Applications
Sébastien Limet
,
Sophie Robert
,
Ahmed Turki
Software Composition: 10th International Symposium, SC 2011 , Jun 2011, Zurich, Switzerland. pp.149-164
Conference papers
hal-00596949v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Integrating Heterogeneous Simulation Codes in FlowVR Interactive Applications
Sébastien Limet
,
Sophie Robert
,
Ahmed Turki
Joint Virtual Reality Conference 2009 , Dec 2009, Lyon, France
Conference papers
hal-00468770v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Basic rewriting via logic programming, with an application to the reachability problem
Sébastien Limet
,
Gernot Salzer
15th Conference on Rewriting Techniques and Applications (RTA 04) , 2004, Aachen, Germany. pp.170-184
Conference papers
hal-00085595v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Solving Disequations Modulo Some Class of Rewrite Systems
Sébastien Limet
,
Pierre Réty
RTA 1998 , 1998, Tsukuba, Japan. pp.121-135
Conference papers
hal-00809565v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A simple framework to generate parallel application for geospatial processing.
Hélène Coullon
,
Sébastien Limet
,
Emmanuel Melin
COM.Geo 2010 , 2010, Washington, United States. http://doi.acm.org/10.1145/1823854.1823891
Conference papers
hal-00785645v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Performance Analysis of SIMD vectorization of High-Order Finite-Element kernels
Gauthier Sornet
,
Sylvain Jubertie
,
Fabrice Dupros
,
Florent de Martin
,
Sébastien Limet
et al.
The 2018 International Conference on High Performance Computing & Simulation (HPCS 2018) - HPCS 2018 , Jul 2018, Orléans, France. pp.423-430,
⟨10.1109/HPCS.2018.00074⟩
Conference papers
hal-01915519v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Manipulating tree tuple languages by transforming logic programs
Sébastien Limet
,
Gernot Salzer
Electronic Notes in Computer Science , 2003, 86, 15 p
Journal articles
hal-00085313v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On Partial Validation of Logic Programs
Sébastien Limet
,
Frédéric Saubion
AMAST 1997 , 1997, Sidney, Australia. pp.365-379
Conference papers
hal-00809530v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Algorithmic skeleton library for scientific simulations : SkelGIS
Hélène Coullon
,
Sébastien Limet
HPCS 2013 , Jul 2013, Helsinki, Finland. pp.429
Conference papers
hal-00845891v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More