#### Filter Results:

- Full text PDF available (17)

#### Publication Year

1996

2017

- This year (2)
- Last 5 years (17)
- Last 10 years (27)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Jérémie Allard, Valérie Gouranton, Loïck Lecointre, Sébastien Limet, Bruno Raffin, Sophie Robert
- Euro-Par
- 2004

This paper introduces FlowVR, a middleware dedicated to virtual reality applications distributed on clusters or grid environments. FlowVR supports coupling of heterogeneous parallel codes and is component oriented to favor code reuse. While classical communication paradigms focus on either a synchronous approach (FIFO channels) or an asynchronous one… (More)

- Hiep-Thuan Do, Sébastien Limet, Emmanuel Melin
- ICCS
- 2011

This paper describes a new fast and scalable parallel algorithm to compute global flow accumulation for automatic drainage network extraction in large digital elevation models (DEM for short). Our method uses the D8 model to compute the flow directions for all pixels in the DEM (except NODATA and oceans). A parallel spanning tree algorithm is proposed to… (More)

- Sébastien Limet, Gernot Salzer
- Journal of Automated Reasoning
- 2006

We introduce inductive definitions over language expressions as a framework for specifying tree tuple languages. Inductive definitions and their subclasses correspond naturally to classes of logic programs, and operations on tree tuple languages correspond to the transformation of logic programs. We present an algorithm based on unfolding and definition… (More)

- Sébastien Limet, Gernot Salzer
- RTA
- 2004

- Sébastien Limet, Waleed W. Smari, Luca Spalazzi
- Concurrency and Computation: Practice and…
- 2015

- Matthieu Dreher, Marc Piuzzi, +6 authors Sophie Robert
- ICCS
- 2013

Combining molecular dynamics simulations with user interaction would have various applications in both education and research. By enabling interactivity the scientist will be able to visualize the experiment in real time and drive the simulation to a desired state more easily. However, interacting with systems of interesting size requires significant… (More)

- Sébastien Limet, Pierre Réty
- TAPSOFT
- 1997

LIFO Université d’Orléans B.P. 6759, 45067 Orléans cedex 2, France e-mail : flimet, retyg@lifo.univ-orleans.fr The goal of this paper is both to give a E-unification procedure that always terminates, and to decide unifiability. For this, we assume that the equational theory is specified by a confluent and constructor-based rewrite system, and that four… (More)

- Matthieu Dreher, Jessica Prevoteau-Jonquet, +6 authors Sébastien Limet
- Faraday discussions
- 2014

The amount of data generated by molecular dynamics simulations of large molecular assemblies and the sheer size and complexity of the systems studied call for new ways to analyse, steer and interact with such calculations. Traditionally, the analysis is performed off-line once the huge amount of simulation results have been saved to disks, thereby stressing… (More)

- Hiep-Thuan Do, Sébastien Limet, Emmanuel Melin
- 2010 International Conference on High Performance…
- 2010

This paper describes a new fast and scalable parallel algorithm to automatically determine catchment basin of rivers in large digital elevation models (DEM for short). This algorithms is based on the construction of a minimal spanning tree, via a hierarchy of graphs, modeling the water route on the DEM. It does not need any preprocessing like stream burning… (More)

- Hélène Coullon, Minh-Hoang Le, Sébastien Limet
- ICCS
- 2013