Search - Université d'Orléans Access content directly

Filter your results

46 Results
Author: personID (integer) : 834319

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

Implementation and Performance Analysis of SkelGIS for Network Mesh-Based Simulations

Hélène Coullon , Sébastien Limet
Euro-Par 2014, Aug 2014, Porto, Portugal. pp.439--450, ⟨10.1007/978-3-319-09873-9_37⟩
Conference papers hal-01094340v1

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

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

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

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

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

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

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

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

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

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

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
Image document

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

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

High level languages for efficient parallel programming.

Sébastien Limet
HPCS, 2012, Madrid, Spain. pp.541-542, ⟨10.1109/HPCSim.2012.6266970⟩
Conference papers hal-00771480v1

HPC & Co strike back: Where are distributed paradigms heading toward?

Sébastien Limet , Alessio Merlo , Luca Spalazzi
Concurrency and Computation: Practice and Experience, 2018, 30 (9), ⟨10.1002/cpe.4431⟩
Journal articles hal-01935193v1

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

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

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

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

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

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

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

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

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
Image document

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

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

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

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