Sylvain Peyronnet

According to our database, Sylvain Peyronnet authored at least 42 papers between 2002 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Graphcore C2 Card performance for image-based deep learning application: A Report.

Ilyes Kacher, Maxime Portaz, Hicham Randrianarivo, Sylvain Peyronnet

CoRR, 2020

QISS: An Open Source Image Similarity Search Engine.

Maxime Portaz, Adrien Nivaggioli, Hicham Randrianarivo, Ilyes Kacher, Sylvain Peyronnet

Proceedings of the Advances in Information Retrieval, 2020

2019

Image search using multilingual texts: a cross-modal learning approach between image and text Maxime Portaz Qwant Research.

Maxime Portaz, Hicham Randrianarivo, Adrien Nivaggioli, Estelle Maudet, Christophe Servan, Sylvain Peyronnet

CoRR, 2019

2016

On the Evaluation Potential of Quality Functions in Community Detection for Different Contexts.

Jean Creusefond, Thomas Largillier, Sylvain Peyronnet

Proceedings of the Advances in Network Science, 2016

2015

Approximate planning and verification for large Markov decision processes.

Richard Lassaigne, Sylvain Peyronnet

Int. J. Softw. Tools Technol. Transf., 2015

Efficient filtering of adult content using textual information.

Thomas Largillier, Guillaume Peyronnet, Sylvain Peyronnet

CoRR, 2015

Finding compact communities in large graphs.

Jean Creusefond, Thomas Largillier, Sylvain Peyronnet

Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2015

2014

Rocovo: robust communal publication scheme.

Thomas Largillier, Guillaume Peyronnet, Sylvain Peyronnet

Proceedings of the Symposium on Applied Computing, 2014

2013

A Simple Compressive Sensing Algorithm for Parallel Many-Core Architectures.

Alexandre Borghi, Jérôme Darbon, Sylvain Peyronnet, Tony F. Chan, Stanley J. Osher

J. Signal Process. Syst., 2013

2012

Coverage-biased random exploration of large models and application to testing.

Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet

Int. J. Softw. Tools Technol. Transf., 2012

Webspam demotion: Low complexity node aggregation methods.

Thomas Largillier, Sylvain Peyronnet

Neurocomputing, 2012

Approximate Verification and Enumeration Problems.

Sylvain Peyronnet, Michel de Rougemont, Yann Strozecki

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2011

Exact optimization for the ℓ¹-Compressive Sensing problem using a modified Dantzig-Wolfe method.

Alexandre Borghi, Jérôme Darbon, Sylvain Peyronnet

Theor. Comput. Sci., 2011

Detecting Webspam Beneficiaries Using Information Collected by the Random Surfer.

Thomas Largillier, Sylvain Peyronnet

Int. J. Organ. Collect. Intell., 2011

QCG-OMPI: MPI applications on grids.

Emmanuel Agullo, Camille Coti, Thomas Hérault, Julien Langou, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello, Jack J. Dongarra

Future Gener. Comput. Syst., 2011

Uniform Monte-Carlo Model Checking.

Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

SpotRank: a robust voting system for social news websites.

Thomas Largillier, Guillaume Peyronnet, Sylvain Peyronnet

Proceedings of the 4th ACM Workshop on Information Credibility on the Web, 2010

Using Patterns in the Behavior of the Random Surfer to Detect Webspam Beneficiaries.

Thomas Largillier, Sylvain Peyronnet

Proceedings of the Web Information Systems Engineering - WISE 2010 Workshops, 2010

Lightweight Clustering Methods for Webspam Demotion.

Thomas Largillier, Sylvain Peyronnet

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

Brief announcement: Lower bounds on communication for sparse Cholesky factorization of a model problem.

Laura Grigori, Pierre-Yves David, James Demmel, Sylvain Peyronnet

Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010

Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks.

Aline Carneiro Viana, Thomas Hérault, Thomas Largillier, Sylvain Peyronnet, Fatiha Zaïdi

Proceedings of the 13th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2010

A Compressive Sensing Algorithm for Many-Core Architectures.

Alexandre Borghi, Jérôme Darbon, Sylvain Peyronnet, Tony F. Chan, Stanley J. Osher

Proceedings of the Advances in Visual Computing - 6th International Symposium, 2010

Partial Ranking of Products for Recommendation Systems.

Sébastien Hémon, Thomas Largillier, Sylvain Peyronnet

Proceedings of the E-Commerce and Web Technologies, 11th International Conference, 2010

SAFE-OS: A secure and usable desktop operating system.

François Lesueur, Ala Rezmerita, Thomas Hérault, Sylvain Peyronnet, Sébastien Tixeuil

Proceedings of the CRiSIS 2010, 2010

Planning Large Data Transfers in Institutional Grids.

Fatiha Bouabache, Thomas Hérault, Sylvain Peyronnet, Franck Cappello

Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

2009

High accuracy failure injection in parallel and distributed systems using virtualization.

Thomas Hérault, Thomas Largillier, Sylvain Peyronnet, Benjamin Quétier, Franck Cappello, Mathieu Jan

Proceedings of the 6th Conference on Computing Frontiers, 2009

2008

Coverage-biased Random Exploration of Models.

Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet

Proceedings of the Fourth Workshop on Model Based Testing, 2008

Cell Assisted APMC.

Alexandre Borghi, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Emulation platform for high accuracy failure injection in grids.

Thomas Hérault, Mathieu Jan, Thomas Largillier, Sylvain Peyronnet, Benjamin Quétier, Franck Cappello

Proceedings of the High Speed and Large Scale Scientific Computing - Selected Papers from the High Performance Computing Workshop, Cetraro, Italy, June 30, 2008

Grid Services for MPI.

Camille Coti, Thomas Hérault, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello

Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008

2007

Probabilistic abstraction for model checking: An approach based on property testing.

Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont

ACM Trans. Comput. Log., 2007

2006

Evaluating Complex MAC Protocols for Sensor Networks with APMC.

Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006

Probabilistic verification of sensor networks.

Akim Demaille, Thomas Hérault, Sylvain Peyronnet

Proceedings of the 4th International Confernce on Computer Sciences: Research, 2006

APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains.

Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Uniform random sampling of traces in very large models.

Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet

Proceedings of the 1st International Workshop on Random Testing, 2006

Modeling of Sensor Networks Using XRM.

Akim Demaille, Sylvain Peyronnet, Benoît Sigoure

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Probabilistic Verification and Approximation.

Richard Lassaigne, Sylvain Peyronnet

Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005

Distribution, Approximation and Probabilistic Model Checking.

Guillaume Guirado, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

A Vectorial Self-dual Morphological Filter Based on Total Variation Minimization.

Jérôme Darbon, Sylvain Peyronnet

Proceedings of the Advances in Visual Computing, First International Symposium, 2005

2004

Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC.

Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

Approximate Probabilistic Model Checking.

Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet

Proceedings of the Verification, 2004

2002

Approximate Verification of Probabilistic Systems.

Richard Lassaigne, Sylvain Peyronnet

Proceedings of the Process Algebra and Probabilistic Methods, 2002