[1]
|
Hélène Coullon, Jose-Maria Fullana, Pierre-Yves Lagrée,
Sébastien Limet, and Xiaofei Wang.
Blood Flow Arterial Network Simulation with the Implicit
Parallelism Library SkelGIS.
In ICCS 2014, International Conference on
Computational Science, Cairns, Australie, 06 2014.
[ http ]
|
[2]
|
Sébastien Limet, Millian Poquet, and Sophie Robert.
Modulight : A Framework for Efficient Dynamic
Interactive Scientific Visualization.
In ICCS, International Conference on computational
Science, page 1, Cairns, France, 2014.
[ http ]
|
[3]
|
Hélène Coullon and Sébastien Limet.
Algorithmic skeleton library for scientific simulations :
SkelGIS.
In IEEE, editor, HPCS 2013, Proceedings of the
2013 International Conference on High Performance Computing &
Simulation (HPCS 2013), page 429, Helsinki, Finlande, 07 2013.
[ http ]
|
[4]
|
Hélène Coullon, Sébastien Limet, and Hoang Le Minh.
Parallelization of Shallow-Water Equations with the
Algorithmic Skeleton Library SkelGIS.
In Elsevier, editor, ICCS, Proceedings of the
International Conference on Computational Science, ICCS 2013,
Barcelona, Spain, 5-7 June, 2013, volume 18 of Procedia Computer
Science, pages 591-600, Barcelone, Espagne, 06 2013. Elsevier.
[ DOI |
http ]
|
[5]
|
Matthieu Dreher, Marc Piuzzi, Turki Ahmed, Chavent Matthieu, Marc Baaden,
Nicolas Férey, Sébastien Limet, Bruno Raffin, and Sophie Robert.
Interactive Molecular Dynamics: Scaling up to Large
Systems.
In International Conference on Computational Science,
ICCS 2013, Barcelone, Espagne, 06 2013. Elsevier.
[ http ]
|
[6]
|
Sébastien Limet, Sophie Robert, and Ahmed Turki.
Controlling an iteration-wise coherence in dataflow.
In FACS, procedings of the 8th International
Symposium on Formal Aspects of Component Software, LNCS, pages
1-15, Oslo, Norvège, 2012. Springer.
[ http ]
|
[7]
|
Sébastien Limet, Sophie Robert, and Ahmed Turki.
Coherence and Performance for Interactive Scientific
Visualisation Applications.
In Software Composition: 10th International Symposium,
SC 2011, Software Composition: 10th International Symposium,
volume 6708 of LNCS, pages 149-164, Zurich, Suisse, 2011. Springer.
[ http ]
|
[8]
|
Hiep-Thuan Do, Sébastien Limet, and Emmanuel Melin.
Parallel Computing Flow Accumulation in Large Digital
Elevation Models.
In The 11th International Conference on Computational
Science (ICCS 2011), volume 4, pages 2277-2286, Singapour,
Singapour, 2011.
[ DOI |
http ]
|
[9]
|
Hiep-Thuan Do, Sébastien Limet, and Emmanuel Melin.
Parallel Computing of Catchment Basin of Rivers in Large
Digital Elevation Model.
In The 2010 International Conference on High
Performance Computing & Simulation, HPCS 2010 Proceedings,
Caen, France, 06 2010.
[ http ]
|
[10]
|
Hélène Coullon, Sébastien Limet, and Emmanuel Melin.
A simple framework to generate parallel application for geospatial
processing.
In COM.Geo 2010, Proceedings of the 1st
International Conference and Exhibition on Computing for Geospatial
Research & Application, ACM International Conference Proceeding Series,
Washington, États-Unis, 2010. ACM.
[ http ]
|
[11]
|
Hiep-Thuan Do, Sébastien Limet, and Emmanuel Melin.
Parallel Computing of Catchment Basins in Large Digital
Elevation Model.
In HPCA2009, Second International Conference on
High Performance Computing and Applications, volume 5938 of
Lecture Notes in Computer Science, pages 133-138. Springer, 2010.
[ http ]
|
[12]
|
Sébastien Limet, Sophie Robert, and Ahmed Turki.
FlowVR-SciViz: a component-based framework for
interactive scientific visualization.
In CBHPC '09, pages 1-9, New York, NY, USA,
États-Unis, 2009. ACM.
[ DOI |
http ]
|
[13]
|
Sébastien Limet and Pierre Pillot.
Deciding Satisfiability of Positive Second Order
Joinability Formulae.
In 13th International Conference on Logic for
Programming Artificial Intelligence and Reasoning (LPAR06),
Proceedings of the 13th International Conference on Logic for
Programming Artificial Intelligence and Reasoning (LPAR06),
volume 4246 of LNCS, pages 15-29. Springer Verlag, 2006.
[ http ]
|
[14]
|
Sébastien Limet and Pierre Pillot.
Solving First Order Formulae of Pseudo-Regular Theory.
In 2nd International Colloquium of Theoretical Aspects
of Computing (ICTAC05), Proceedings of the 2nd International
Colloquium of Theoretical Aspects of Computing (ICTAC05),
volume 3722 of LNCS, pages 110-124. Springer Verlag, 2005.
[ http ]
|
[15]
|
Sébastien Limet.
Tree tuple languages as logic programs, and applications.
In Proceedings of the International Workshop on Security
Analysis of Systems: Formalism and Tools
(SASYFT'2004), pages 1-17. LIFO Université
d'Orléans, 2004.
[ http ]
|
[16]
|
Sébastien Limet and Gernot Salzer.
Basic rewriting via logic programming, with an application to the
reachability problem.
In 15th Conference on Rewriting Techniques and
Applications (RTA 04), Proceedings of the 15th Conference on
Rewriting Techniques and Applications (RTA 04), volume 3091 of
LNCS, pages 170-184, Aachen, Allemagne, 2004. Springer Verlag.
[ http ]
|
[17]
|
Emmanuel Melin, Valérie Gouranton, Sébastien Limet, and Souley
Madougou.
A scalable cluster-based parallel simplification framework for
height fileds.
In EuroGraphics, editor, Proceedings Parallel Graphics
and Visualization'04, pages 59-65. ACM SIGGRAPH,
2004.
[ http ]
|
[18]
|
Jérémie Allard, Valérie Gouranton, Loïc Lecointre,
Sébastien Limet, Emmanuel Melin, Bruno Raffin, and Sophie Robert.
Flowvr: a middleware for large scale virtual reality
applications.
In Euro-Par 2004 Parallel Processing, 10th
International Euro-Par Conference, Lecture Notes in Computer Science
3149, pages 497-505. Springer, 2004.
[ http ]
|
[19]
|
Sébastien Limet, Pierre Réty, and Helmut Seidl.
Weakly Regular Relations and Applications.
In RTA 2001, 12th International Conference on
Rewriting Techniques and Applications, volume 2051, pages 185-200,
Utrecht, Pays-Bas, 2001.
[ http ]
|
[20]
|
Sébastien Limet and Pierre Réty.
A New Result about the Decidability of the Existential
One-Step Rewriting Theory.
In RTA 99, 10th International Conference on
Rewriting Techniques and Applications, volume 1631 of LNCS,
pages 118-132, Trento, Italie, 1999. Springer.
[ http ]
|
[21]
|
Sébastien Limet and Frédéric Saubion.
A General Framework for R-Unification Problems.
In PILP/ALP, 10th International Symposium on
Principles of Declarative Programming, LNCS, pages 266-281, Pisa,
Italie, 1998. Springer.
[ http ]
|
[22]
|
Sébastien Limet and Pierre Réty.
Solving Disequations Modulo Some Class of Rewrite
Systems.
In RTA 1998, 9th International Conference on
Rewriting Techniques and Applications, LNCS, pages 121-135, Tsukuba,
Japon, 1998. Springer.
[ http ]
|
[23]
|
Sébastien Limet and Frédéric Saubion.
On Partial Validation of Logic Programs.
In AMAST 1997, 6th International Conference on
Algebraic Methodology and Software Technology, LNCS, pages 365-379,
Sidney, Australie, 1997. Springer.
[ http ]
|
[24]
|
Sébastien Limet and Pierre Réty.
E-Unification by Means of Tree Tuple Synchronized
Grammars.
In TAPSOFT 1997, 7th International Joint
Conference CAAP/FASE, volume 1214 of LNCS, pages
429-440, Lille, France, 1997. Springer.
[ http ]
|
[25]
|
Sébastien Limet and Pierre Réty.
Conditional Directed Narrowing.
In 5th International Conference on Algebraic Methodology
and Software Technology, AMAST 96, volume 1101 of LNCS,
pages 637-640, Munich, Allemagne, 1996. Springer.
[ http ]
|