Sébastien Limet

Alessio Merlo

Luca Spalazzi

Concurr. Comput. Pract. Exp., 2018

Data-Layout Reorganization for an Efficient Intra-Node Assembly of a Spectral Finite-Element Method.

[BibT_eX]

[DOI]

Proceedings of the 26th Euromicro International Conference on Parallel, 2018

Performance Analysis of SIMD Vectorization of High-Order Finite-Element Kernels.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

GeoSkelSL: A Python High-Level DSL for Parallel Computing in Geosciences.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2018, 2018

2017

An Hierarchical Labeling Technique for Interactive Computation of Watersheds.

[BibT_eX]

[DOI]

Proceedings of the 2017 International Conference on High Performance Computing & Simulation, 2017

Efficient Implicit Parallel Patterns for Geographic Information System.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2017

2016

The SIPSim implicit parallelism model and the SkelGIS library.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2016

2015

High-performance computing: to boldly go where no human has gone before.

[BibT_eX]

[DOI]

Waleed W. Smari

Luca Spalazzi

Concurr. Comput. Pract. Exp., 2015

On the fly reconfiguration of interactive scientific visualization applications.

[BibT_eX]

[DOI]

Abderrahim Ait Wakrime

Proceedings of the 2015 International Conference on High Performance Computing & Simulation, 2015

2014

Modulight: A Framework for Efficient Dynamic Interactive Scientific Visualization.

[BibT_eX]

[DOI]

Millian Poquet

Proceedings of the International Conference on Computational Science, 2014

Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGIS.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2014

Place-Liveness of ComSA Applications.

[BibT_eX]

[DOI]

Abderrahim Ait Wakrime

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

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

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2014 Parallel Processing, 2014

2013

A scalable parallel minimum spanning tree algorithm for catchment basin delimitation in large digital elevation models.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2013

Algorithmic skeleton library for scientific simulations: SkelGIS.

[BibT_eX]

[DOI]

Proceedings of the International Conference on High Performance Computing & Simulation, 2013

Parallelization of Shallow-Water Equations with the Algorithmic Skeleton Library SkelGIS.

[BibT_eX]

[DOI]

Minh-Hoang Le

Proceedings of the International Conference on Computational Science, 2013

Interactive Molecular Dynamics: Scaling up to Large Systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2013

2012

High level languages for efficient parallel programming.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Conference on High Performance Computing & Simulation, 2012

Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives.

[BibT_eX]

[DOI]

Abderrahim Ait Wakrime

Proceedings of the 6ème Conférence francophone sur les Architectures Logicielles, 2012

2011

Parallel Computing Flow Accumulation in Large Digital Elevation Models.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2011

Calculs parallèles pour le traitement des gros volumes de données liées aux risques environnementaux.

[BibT_eX]

[DOI]

Ingénierie des Systèmes d Inf., 2011

Coherence and Performance for Interactive Scientific Visualization Applications.

[BibT_eX]

[DOI]

Ahmed Turki

Proceedings of the Software Composition - 10th International Conference, 2011

Controlling an Iteration-Wise Coherence in Dataflow.

[BibT_eX]

[DOI]

Ahmed Turki

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Construction automatique d'applications de visualisation scientifique interactive fortement cohérentes.

[BibT_eX]

[DOI]

Ahmed Turki

Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL'2011, 2011

2010

Parallel computing of catchment basins of rivers in large digital elevation models.

[BibT_eX]

[DOI]

Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

A simple framework to generate parallel application for geospatial processing.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference and Exhibition on Computing for Geospatial Research & Application, 2010

2009

Parallel Computing of Catchment Basins in Large Digital Elevation Model.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing and Applications, 2009

2008

FlowVR-VRPN: first experiments of a VRPN/FlowVR coupling.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Virtual Reality Software and Technology, 2008

Parallel LOD for static and dynamic generic geo-referenced data.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Virtual Reality Software and Technology, 2008

2006

Tree Tuple Languages from the Logic Programming Point of View.

[BibT_eX]

[DOI]

J. Autom. Reason., 2006

Basic Rewriting via Logic Programming, with an Application to the Reachability Problem.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2006

Deciding Satisfiability of Positive Second Order Joinability Formulae.

[BibT_eX]

[DOI]

Pierre Pillot

Proceedings of the Logic for Programming, 2006

2005

Solving First Order Formulae of Pseudo-Regular Theory.

[BibT_eX]

[DOI]

Pierre Pillot

Proceedings of the Theoretical Aspects of Computing, 2005

2004

Proving Properties of Term Rewrite Systems via Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

FlowVR: A Middleware for Large Scale Virtual Reality Applications.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2004 Parallel Processing, 2004

A Scalable Cluster-based Parallel Simplifi cation Framework for Height Fields.

[BibT_eX]

[DOI]

Proceedings of the 5th Eurographics/ACM SIGGRAPH Symposium on Parallel Graphics and Visualization, 2004

2003

Manipulating Tree Tuple Languages by Transforming Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

2001

Weakly Regular Relations and Applications.

[BibT_eX]

[DOI]

Helmut Seidl

Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

1999

A New Result about the Decidability of the Existential One-Step Rewriting Theory.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

1998

Solving Disequations Modulo Some Class of Rewrite Systems.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

A General Framework for R-Unification Problems.

[BibT_eX]

[DOI]

Frédéric Saubion

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

1997

E-unification by means of tree tuple synchronized grammars.

[BibT_eX]

[DOI]

Discret. Math. Theor. Comput. Sci., 1997

On Partial Validation of Logic Programs.

[BibT_eX]

[DOI]

Frédéric Saubion

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Conditional Directed Narrowing.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

An Attempt of Integration of LSE Narrowing and Directed Narrowing.

[BibT_eX]