Stephane Vialle, Pr

Guanlin He, Stephane Vialle, Marc Baboulin. Parallel and accurate k-means algorithm on CPU-GPU architectures for spectral clustering. Concurrency and Computation: Practice and Experience, Wiley, 2021, pp.e6621. ⟨10.1002/cpe.6621⟩. ⟨hal-03468039⟩

Lokman Abbas-Turki, Stéphane Vialle, Bernard Lapeyre, Patrick Mercier. Pricing derivatives on graphics processing units using Monte Carlo simulation. Concurrency and Computation: Practice and Experience, Wiley, 2014, 26 (9), pp.1679-1697. ⟨10.1002/cpe.2862⟩. ⟨hal-00773740⟩

Wilfried Kirschenmann, Laurent Plagne, Angélique Ponçot, Stéphane Vialle. Parallel SPN on Multi-Core CPUS and Many-Core GPUS. Transport Theory and Statistical Physics, Taylor & Francis, 2010, 39 (2-4), pp.255-281. ⟨10.1080/00411450.2010.533741⟩. ⟨hal-00556812⟩

Stéphane Vialle, Guillaume Schaeffer, Michel Ianotto. Design of a Multi-Strategy Parallelization for an Entire Application of Document Categorization on Low-Cost Multiprocessor PCs. Studia Informatica Universalis, Hermann, 2004, 3 (1), pp.61-84. ⟨hal-01301161⟩

Makram Bouzid, Vincent Chevrier, Stéphane Vialle, François Charpillet. Parallel simulation of a stochastic agent/environment interaction model. Integrated Computer-Aided Engineering, IOS Press, 2001, 8 (3), pp.189-203. ⟨10.3233/ICA-2001-8302⟩. ⟨inria-00100406⟩

Guanlin He, Stéphane Vialle, Marc Baboulin. Parallelization of the k-means Algorithm in a Spectral Clustering Chain on CPU-GPU Platforms. HeteroPar Workshop of 2020 Euro-Par International Conference, Aug 2020, Warsaw, Poland. ⟨hal-02985021⟩

José Évora Gómez, José Juan Hernández Cabrera, Jean-Philippe Tavella, Stéphane Vialle, Enrique Kremers, et al.. Daccosim NG: co-simulation made simpler and faster. 13th International Modelica Conference 2019, Mar 2019, Regensburg, Germany. ⟨hal-02121346⟩

Ludomir Oteski, Guillaume Colin-De-Verdière, Sylvain Contassot-Vivier, Stephane Vialle, Juliet Ryan. A Simple Guideline for Code Optimizations on Modern Architectures with OpenACC and CUDA. GPU Technology Conference 2017, NVIDIA, May 2017, San Jose, United States. ⟨hal-01527684⟩

Stéphane Vialle, Jean-Philippe Tavella, Cherifa Dad, Remi Corniglion, Mathieu Caujolle, et al.. Scaling FMI-CS Based Multi-Simulation Beyond Thousand FMUs on Infiniband Cluster. 12th International Modelica Conference 2017, May 2017, Prague, Czech Republic. ⟨hal-01527682⟩

Ludomir Oteski, Guillaume Colin de Verdiere, Sylvain Contassot-Vivier, Stephane Vialle, Juliette Ryan. Towards an Efficient CPU-GPU Code Hybridization: a Simple Guideline for Code Optimizations on Modern Architecture with OpenACC and CUDA. GPU Technology Conference (GTC), Oct 2017, Munich, Germany. ⟨hal-01651967⟩

Jean-Philippe Tavella, Mathieu Caujolle, Stéphane Vialle, Cherifa Dad, Charles Tan, et al.. Toward an Accurate and Fast Hybrid Multi-Simulation with the FMI-CS Standard. 21 st International Conference on: Emerging Technologies and Factory Automation (ETFA-2016), Sep 2016, Berlin, Germany. ⟨hal-01371499⟩

Stéphane Vialle, Sylvain Contassot-Vivier, Patrick Mercier. Generic algorithmic scheme for 2D stencil applications on hybrid machines. ARCS 2016 - Architecture of Computing Systems , Apr 2016, Nuremberg, Germany. ⟨hal-01263242⟩

Cherifa Dad, Stephane Vialle, Mathieu Caujolle, Jean-Philippe Tavella, Michel Ianotto. Scaling of Distributed Multi-Simulations on Multi-Core Clusters. 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE-2016), Jun 2016, Paris, France. ⟨hal-01332628⟩

Sylvain Contassot-Vivier, Stéphane Vialle. Algorithmic scheme for hybrid computing with CPU, Xeon-Phi/MIC and GPU devices on a single machine. International Conference on Parallel Computing 2015 (ParCo 2015), Sep 2015, Edinburgh, United Kingdom. pp.1-10. ⟨hal-01258499⟩

Virginie Galtier, Stéphane Vialle, Cherifa Dad, Jean-Philippe Tavella, Jean-Philippe Lam-Yee-Mui, et al.. FMI-Based Distributed Multi-Simulation with DACCOSIM. Symposium on Theory of Modeling and Simulation - TMS'15, Apr 2015, Alexandria, VA, United States. pp.804-811. ⟨hal-01155707⟩

Jens Gustedt, Stéphane Vialle, Patrick Mercier. Resource Centered Computing delivering high parallel performance. Heterogeneity in Computing Workshop (HCW 2014), May 2014, Phenix, AZ, United States. ⟨hal-00921128⟩

Virginie Galtier, Stéphane Vialle. Simulations et co-simulations distribuées. Seminar of "Réseau SI EDF R&D", Dec 2013, Paris, France. ⟨hal-00920837⟩

Constantinos Makassikis, Stéphane Vialle, Xavier Warin. FT-GReLoSSS: a Skeletal-Based Approach towards Application Parallelization and Low-Overhead Fault Tolerance. 20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing - PDP 2012, Feb 2012, Garching, Germany. 8 p. ⟨hal-00681664⟩

Stéphane Vialle. Energy issues of GPU computing clusters. Colloquium EJC-ICT 2012 on "Towards ecological and energy efficient Information and Communication Technology", Nov 2012, Lyon, France. ⟨hal-00778607⟩

Virginie Galtier, Constantinos Makassikis, Stéphane Vialle. A Javaspace-Based Framework for Efficient Fault-Tolerant Master-Worker Distributed Applications. 19th Euromicro International Conference on Parallel, Distributed and Network-Based Processing -PDP 2011, Feb 2011, Ayia Napa, Cyprus. pp.272-276, ⟨10.1109/PDP.2011.82⟩. ⟨hal-00618249⟩

Tarek El-Ghazawi, Frédéric Pinel, El-Ghazali Talbi, Stéphane Vialle, Pascal Bouvry. Graphical Processing Units (GPUs): Opportunities and Challenges. International Conference on High Performance Computing and Simulation - HPCS 2011, Jul 2011, Istanbul, Turkey. pp.1-11, ⟨10.1109/HPCSim.2011.5999795⟩. ⟨hal-00652824⟩

Wilfried Kirschenmann, Laurent Plagne, Stéphane Vialle. Multi-Target Vectorization with MTPS C++ Generic Library. PARA 2010 - 10th International Conference on Applied Parallel and Scientific Computing, Jun 2010, Reykjavík, Iceland. pp.336-346, ⟨10.1007/978-3-642-28145-7_33⟩. ⟨hal-00685159⟩

Sylvain Contassot-Vivier, Thomas Jost, Stéphane Vialle. Impact of Asynchronism on GPU Accelerated Parallel Iterative Computations. PARA 2010 - 10th International Conference on Applied Parallel and Scientific Computing, Jun 2010, Reykjavík, Iceland. pp.43-53, ⟨10.1007/978-3-642-28151-8_5⟩. ⟨hal-00685153⟩

Jens Gustedt, Stéphane Vialle, Hervé Frezza-Buet, d'Havh Boumba Sitou, Nicolas Fressengeas. InterCell: a Software Suite for Rapid Prototyping and Parallel Execution of Fine Grained Applications. PARA 2010 : State of the Art in Scientific and Parallel Computing, Jun 2010, Reykjavick, Iceland. 4 p. ⟨hal-00491969⟩

Constantinos Makassikis, Virginie Galtier, Stéphane Vialle. A Skeletal-Based Approach for the Development of Fault-Tolerant SPMD Applications. The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies - PDCAT 2010, Dec 2010, Wuhan, China. ⟨10.1109/PDCAT.2010.89⟩. ⟨inria-00548953⟩

Wilfried Kirschenmann, Laurent Plagne, Stéphane Vialle. Multi-Target Vectorization With MTPS C++ Generic Library. PARA 2010 : State of the Art in Scientific and Parallel Computing, Jun 2010, Reykjavik, Iceland. 4 p. ⟨hal-00491980⟩

Laurent Plagne, Wilfried Kirschenmann, Stéphane Vialle. Toward a Multi-Target Linear Algebra Library for GPUs and Multicore CPUs. SIAM Conference on Parallel Processing for Scientific Computing (PP10), Feb 2010, Seattle, Washington, United States. pp.MS55. ⟨hal-00525899⟩

Sylvain Contassot-Vivier, Thomas Jost, Stéphane Vialle. Impact of asynchronism on GPU accelerated parallel iterative computations. PARA 2010 : State of the Art in Scientific and Parallel Computing, Jun 2010, Reykjavik, Iceland. 4 p. ⟨hal-00491976⟩

Sylvain Contassot-Vivier, Stéphane Vialle, Thomas Jost. Optimizing computing and energy performances on GPU clusters: experimentation on a PDE solver. 1st Year workshop of the COST Action IC0804, Apr 2010, Passau, Germany. pp.50-54. ⟨hal-00517374⟩

Jens Gustedt, Stéphane Vialle, Hervé Frezza-Buet, d'Havh Boumba Sitou, Nicolas Fressengeas, et al.. InterCell: a Software Suite for Rapid Prototyping and Parallel Execution of Fine Grained Applications. PARA 2010 - 10th International Conference on Applied Parallel and Scientific Computing, Jun 2010, Reykjavík, Iceland. pp.282-292, ⟨10.1007/978-3-642-28151-8⟩. ⟨hal-00645121⟩

d'Havh Boumba Sitou, Sidi Ould Saad Hamady, Nicolas Fressengeas, Hervé Frezza-Buet, Stéphane Vialle, et al.. Cellular based simulation of semiconductors thin films. Innovations in Thin Film Processing and Characterization - ITFPC 09, Nov 2009, Nancy, France. ⟨hal-00433062⟩

Lokman Abbas-Turki, Stéphane Vialle, Bernard Lapeyre, Patrick Mercier. High Dimensional Pricing of Exotic European Contracts on a GPU Cluster, and Comparison to a CPU Cluster. Second International Workshop on Parallel and Distributed Computing in Finance - PDCoF 2009, May 2009, Rome, Italy. Proceedings on CD-ROM (8 p.), ⟨10.1109/IPDPS.2009.5161143⟩. ⟨hal-00390289⟩

Wilfried Kirschenmann, Laurent Plagne, Stéphane Vialle. Multi-target C++ implementation of parallel skeletons. 8th workshop on Parallel/High-Performance Object-Oriented Scientific Computing - POOSC'09, Jul 2009, Genova, Italy. pp.1-10, ⟨10.1145/1595655.1595662⟩. ⟨hal-00437542⟩

Thomas Jost, Sylvain Contassot-Vivier, Stéphane Vialle. Solveur linéaire sur GPU. Journée jeunes chercheurs sur les Multiprocesseurs et Multicoeurs, Jun 2009, Paris, France. ⟨inria-00430529⟩

Thomas Jost, Sylvain Contassot-Vivier, Stéphane Vialle. An efficient multi-algorithms sparse linear solver for GPUs. ParCo2009, Frédéric Desprez, Sep 2009, Lyon, France. ⟨inria-00430520⟩

Virginie Galtier, Stéphane Genaud, Stéphane Vialle. Implementation of the AdaBoost Algorithm for Large Scale Distributed Environments: Comparing JavaSpace and MPJ. Fifteenth International Conference on Parallel and Distributed Systems (ICPADS'09), Dec 2009, Shenzhen, China. ⟨10.1109/ICPADS.2009.67⟩. ⟨inria-00425518⟩

Sylvain Contassot-Vivier, Stéphane Vialle, Thomas Jost. Algorithmes itératifs asynchrones et grappe de GPUs. Journée jeunes chercheurs sur les Multiprocesseurs et Multicoeurs, Jun 2009, Paris, France. ⟨inria-00430524⟩

Pascal Vezolle, Stéphane Vialle, Xavier Warin. Large Scale Experiment and Optimization of a Distributed Stochastic Control Algorithm. Application to Energy Management Problems. International workshop on Large-Scale Parallel Processing 2009 part of IPDPS, May 2009, Rome, Italy. Proceedings on CD-ROM (8 p.), ⟨10.1109/IPDPS.2009.5161096⟩. ⟨hal-00390290⟩

Wilfried Kirschenmann, Laurent Plagne, Stéphane Ploix, Angélique Ponçot, Stéphane Vialle. Massively Parallel Solving of 3D Simplified PN Equations on Graphics Processing Units. 2009 International Conference on Mathematics Computational Methods and Reactor Physics - M&C 2009, May 2009, Saratoga Springs, New York, United States. Proceedings on CD-ROM (12 p.). ⟨hal-00390291⟩

Constantinos Makassikis, Stéphane Vialle, Xavier Warin. Large Scale Distribution of Stochastic Control Algorithms for Financial Applications. PDCoF08, Apr 2008, Miami, United States. pp.1-8, ⟨10.1109/IPDPS.2008.4536454⟩. ⟨hal-00290440⟩

Stéphane Vialle, Xavier Warin, Constantinos Makassikis, Patrick Mercier. Stochastic control optimization & simulation applied to energy management: From 1-D to N-D problem distributions, on clusters, supercomputers and Grids. Grid@Mons conference, May 2008, Mons, Belgium. ⟨hal-00291821⟩

Stéphane Vialle, Xavier Warin, Patrick Mercier. A N-dimensional Stochastic Control Algorithm for Electricity Asset Management on PC cluster and Blue Gene Supercomputer. PARA 2008, May 2008, Trondheim, Norway. 4 p. ⟨hal-00291814⟩

Stéphane Vialle. Fine Grained Computations and Interactive Distributed Applications: Two important Issues in Parallel, Distributed and Grid Computing. In ricordo di Amelia, Jun 2007, Potenza, Italy. ⟨hal-00291827⟩

Virginie Galtier, Olivier Pietquin, Stéphane Vialle. AdaBoost Parallelization on PC Clusters with Virtual Shared Memory for Fast Feature Selection. IEEE International Conference on Signal Processing and Communication, Nov 2007, Dubai, United Arab Emirates. pp.165-168. ⟨hal-00216041⟩

Nicolas Fressengeas, Hervé Frezza-Buet, Jens Gustedt, Stéphane Vialle. An Interactive Problem Modeller and PDE Solver, Distributed on Large Scale Architectures. Third International Workshop on Distributed Frameworks for Multimedia Applications - DFMA '07, Jun 2007, Paris, France. ⟨inria-00139660⟩

Constantinos Makassikis, Stéphane Vialle, Xavier Warin. Distribution of a Stochastic Control Algorithm Applied to Gas Storage Valuation. 2007 IEEE International Symposium on Signal Processing and Information Technology - ISSPIT-2007, Dec 2007, Cairo, Egypt. pp.493-498, ⟨10.1109/ISSPIT.2007.4458002⟩. ⟨hal-00246680⟩

Arnaud Defrance, Stéphane Vialle, Morgann Wauquier, Philippe Akim, Denny Dewnarain, et al.. A Generic Distributed Architecture for Business Computations. Application to Financial Risk Analysis. 2nd International Conference on Distributed Frameworks for Multimedia Applications., May 2006, Penang, Malaysia. pp.1-8, ⟨10.1109/DFMA.2006.296915⟩. ⟨hal-00243145⟩

Sébastien Bezinne, Virginie Galtier, Stéphane Vialle, Françoise Baude, Mireille Bossy, et al.. A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Financial Option Pricing. 2nd IEEE International Conference on e-Science and Grid Computing - e-science'06, S. Kawata, Dec 2006, Amsterdam, Netherlands. pp.49, ⟨10.1109/E-SCIENCE.2006.261133⟩. ⟨inria-00121828⟩

Jens Gustedt, Stéphane Vialle, Amelia de Vivo. parXXL: A Fine Grained Development Environment on Coarse Grained Architectures. Workshop on State-of-the-Art in Scientific and Parallel Computing - PARA'06, Jun 2006, Umeå/Sweden, Sweden. ⟨inria-00103772⟩

Jens Gustedt, Stéphane Vialle, Amelia de Vivo. The parXXL Environment: Scalable Fine Grained Development for Large Coarse Grained Platforms. PARA-06: Worshop on state-of-the-art in scientific and parallel computing, Jun 2006, Umea, Sweden. pp.1094-1104, ⟨10.1007/978-3-540-75755-9_127⟩. ⟨hal-00280094⟩

Olivier Ménard, Stéphane Vialle, Hervé Frezza-Buet. Making Cortically-Inspired Sensorimotor Control Realistic for Robotics: Design of an Extended Parallel Cellular Programming Model. International Conference on Advances in Intelligent Systems - Theory and Applications - AISTA 2004, Nov 2004, Luxembourg, 6 p. ⟨inria-00099899⟩

Frédéric Lhommé, Delphine Wolfersberger, Stéphane Vialle, Nicolas Fressengeas. Parallel simulation of photorefractive material for the design of all-optical components. Applied parallel computing : advanced scientific computing (Espoo, 15-18 June 2002), Jun 2002, Espoo, Finland. pp.578-587. ⟨hal-00481165⟩

Jens Gustedt, Emmanuel Jeannot, Jean-Louis Pazat, Stéphane Vialle. GRID 2002. Ecole thèmatique sur la globalisation des ressources informatiques et des données, Emmanuel Jeannot, Dec 2002, Aussois, France. ⟨inria-00100881⟩

Yann Boniface, Frédéric Alexandre, Stéphane Vialle. Une bibliothèque de développement parallèle de réseaux neuromimétiques. Journées Scientifiques du Centre Charles Hermite, Centre Charles Hermite, 2000, Nancy, France, 1 p. ⟨inria-00099367⟩

Makram Bouzid, Vincent Chevrier, François Charpillet, Stéphane Vialle. Parallélisation d'un simulateur d'agents situés. Journées Scientifiques Centre Charles Hermite, 2000, Nancy, France, pp.16-18. ⟨inria-00099023⟩

Stéphane Vialle, Makram Bouzid, Vincent Chevrier, François Charpillet. ParCeL-3: A Parallel Programming Language Based on Concurrent Cells and Multiple Clocks. International Conference on Software Engineering Applied to Networking and Parallel/Distributed Computing - SNPd'00, 2000, Reims, France, 4 p. ⟨inria-00099357⟩

Makram Bouzid, Vincent Chevrier, Stéphane Vialle, François Charpillet. A Stochastic Model of Interaction for Situated Agents and its Parallel Implementation. International Conference on Artificial and Computational Intelligence for Decision, Control and Automation in Engineering and Industrial Applications - ACIDCA'2000, 2000, Monastir, Tunisie, pp.26-31. ⟨inria-00099346⟩

Bruno Scherrer, Frédéric Alexandre, François Charpillet, Stéphane Vialle. Modélisation stochastique d'une population de neurones, méta-apprentissage dans un problème de classification. Neurosciences et sciences de l'ingénieur, 2000, Dinard, France, 4 p. ⟨inria-00099114⟩

Yann Boniface, Frédéric Alexandre, Stéphane Vialle. A bridge between two paradigms for parallelism : Neural Networks and general purpose MIMD computers.. International Joint Conference on Neural Networtks - IJCNN'99, 1999, Washington, DC, 6 p. ⟨inria-00098761⟩

Yann Boniface, Frédéric Alexandre, Stéphane Vialle. A library to implement neural networks on MIMD machines. Euro-Par'99 Parallel Processing, CERFACS & ENSEEIHT - IRIT., 1999, Toulouse, France, pp.935-938. ⟨inria-00099014⟩

Makram Bouzid, Vincent Chevrier, Stéphane Vialle, François Charpillet. Un environnement de simulation orienté Agents : apport des modèles stochastiques et du parallélisme. Ingénierie des SMA - JFIADSMA'99, 1999, Ile de la Réunion, pp.329-330. ⟨inria-00098863⟩

Yann Boniface, Frédéric Alexandre, Stéphane Vialle. Aide à la parallélisation des réseaux connexionnistes. Neurosciences et Sciences pour l'Ingénieur, 1998, Munster, 4 p. ⟨inria-00098717⟩

Ludomir Oteski, Guillaume de Verdière, Sylvain Contassot-Vivier, Stephane Vialle, Juliet Ryan. Towards a Unified CPU–GPU code hybridization: A GPU Based Optimization Strategy Efficient on Other Modern Architectures. Parallel Computing is Everywhere,, 2018. ⟨hal-01742774⟩

Stéphane Vialle, Sylvain Contassot-Vivier. Optimization methodology for Parallel Programming of Homogeneous or Hybrid Clusters. F. Magoules. Patterns for parallel programming on GPUs, Saxe-Coburg Publications, 2014, 978-1-874672-57-9. ⟨hal-01101225⟩

Sylvain Contassot-Vivier, Stéphane Vialle, Jens Gustedt. Development methodologies for GPU and cluster of GPUs. Raphaël Couturier. Development methodologies for GPU and cluster of GPUs, Chapman & Hall/CRC, 2013, 978-1-4665-7162-4. ⟨hal-00905790⟩

Stéphane Vialle, Sylvain Contassot-Vivier, Thomas Jost. Optimizing computing and energy performances in heterogeneous clusters of CPUs and GPUs. Ishfag Ahmad and Sanjay Ranka. Handbook of Energy-Aware and Green Computing, Chapman & Hall/CRC, 2011, 9781466501164. ⟨hal-00643938⟩

Thomas Jost, Sylvain Contassot-Vivier, Stéphane Vialle. An efficient multi-algorithms sparse linear solver for GPUs. B. Chapman, F. Desprez, G.R. Joubert, A. Lichnewsky, F. Peters and T. Priol. Parallel Computing: From Multicores and GPU's to Petascale (Volume 19), 19, IOS Press, pp.546-553, 2010, Advances in Parallel Computing, ⟨10.3233/978-1-60750-530-3-546⟩. ⟨hal-00485963⟩

Xavier Warin, Stéphane Vialle. Design and Experimentation of a Large Scale Distributed Stochastic Control Algorithm Applied to Energy Management Problems. Chris Myers. Stochastic Control, Sciyo, pp.103-124, 2010. ⟨hal-00537341⟩

Jean-Pierre Morard, Olivier Pietquin, Stéphane Vialle. METHOD FOR THE SEGMENTATION ENCODING OF AN IMAGE. N° de brevet: WO/2010/072983. 2010. ⟨hal-00554405⟩

Jean-Pierre Morard, Stéphane Vialle, Olivier Pietquin, Virginie Galtier. METHOD FOR BROADCASTING VIDEO DATA SEQUENCES BY A SERVER TO A CLIENT TERMINAL. France, N° de brevet: WO/2009/034275. 2009. ⟨hal-00397253⟩

Jean-Philippe Tavella, Mathieu Caujolle, Charles Tan, Gilles Plessis, Mathieu Schumann, et al.. Toward an Hybrid Co-simulation with the FMI-CS Standard. 2016. ⟨hal-01301183⟩

Cherifa Dad, Stéphane Vialle, Mathieu Caujolle, Jean-Philippe Tavella, Michel Ianotto. Parallelization, Distribution and Scaling of Multi-Simulations on Multi-Core Clusters, with DACCOSIM Environment. 2016. ⟨hal-01289194v3⟩

Stéphane Vialle. Calcul sur GPU. 2011. ⟨hal-00652821⟩

Stéphane Vialle. From Grid to private Clouds, to inter‐Clouds. An overview and some questions for future of cloud computing. 2011. ⟨hal-00652822⟩

Lokman Abbas-Turki, Stéphane Vialle. European Option Princing on a GPU Cluster. 2009. ⟨hal-00364242⟩

Constantinos Makassikis, Stéphane Vialle, Xavier Warin. FT-GReLoSSS: a Skeletal-based approach towards application parallelization and low-overhead fault tolerance. [Research Report] RR-7797, INRIA. 2011. ⟨hal-00640558⟩

Constantinos Makassikis, Virginie Galtier, Stéphane Vialle. A Javaspace-based Framework for Efficient Fault-Tolerant Master-Worker Distributed Applications. [Research Report] RR-7496, INRIA. 2010, pp.18. ⟨inria-00548951v2⟩