Sylvain Peyronnet

49 papers A* 1A 1B 6C 4Misc 4Journal 16Unranked 17
YearRankTypeTitle / Venue / Authors
2020 J jnl
Graphcore C2 Card performance for image-based deep learning application: A Report.
CoRR
Ilyes Kacher, Maxime Portaz, Hicham Randrianarivo, Sylvain Peyronnet
2020 — conf
QISS: An Open Source Image Similarity Search Engine.
ECIR (2)
Maxime Portaz, Adrien Nivaggioli, Hicham Randrianarivo, Ilyes Kacher, Sylvain Peyronnet
2019 J jnl
Image search using multilingual texts: a cross-modal learning approach between image and text Maxime Portaz Qwant Research.
CoRR
Maxime Portaz, Hicham Randrianarivo, Adrien Nivaggioli, Estelle Maudet, Christophe Servan, Sylvain Peyronnet
2016 — conf
On the Evaluation Potential of Quality Functions in Community Detection for Different Contexts.
NetSci-X
Jean Creusefond, Thomas Largillier, Sylvain Peyronnet
2015 J jnl
Approximate planning and verification for large Markov decision processes.
Int. J. Softw. Tools Technol. Transf.
Richard Lassaigne, Sylvain Peyronnet
2015 J jnl
Efficient filtering of adult content using textual information.
CoRR
Thomas Largillier, Guillaume Peyronnet, Sylvain Peyronnet
2015 B conf
Finding compact communities in large graphs.
ASONAM
Jean Creusefond, Thomas Largillier, Sylvain Peyronnet
2015 J jnl
On the evaluation potential of quality functions in community detection for different contexts.
CoRR
Jean Creusefond, Thomas Largillier, Sylvain Peyronnet
2014 J jnl
Finding compact communities in large graphs.
CoRR
Jean Creusefond, Thomas Largillier, Sylvain Peyronnet
2014 Misc conf
Rocovo: robust communal publication scheme.
SAC
Thomas Largillier, Guillaume Peyronnet, Sylvain Peyronnet
2013 J jnl
A Simple Compressive Sensing Algorithm for Parallel Many-Core Architectures.
J. Signal Process. Syst.
Alexandre Borghi, Jérôme Darbon, Sylvain Peyronnet, Tony F. Chan, Stanley J. Osher
2012 C conf
Approximate Verification and Enumeration Problems.
ICTAC
Sylvain Peyronnet, Michel de Rougemont, Yann Strozecki
2012 Misc conf
Approximate planning and verification for large markov decision processes.
SAC
Richard Lassaigne, Sylvain Peyronnet
2012 J jnl
Coverage-biased random exploration of large models and application to testing.
Int. J. Softw. Tools Technol. Transf.
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet
2012 J jnl
Webspam demotion: Low complexity node aggregation methods.
Neurocomputing
Thomas Largillier, Sylvain Peyronnet
2011 J jnl
Detecting Webspam Beneficiaries Using Information Collected by the Random Surfer.
Int. J. Organ. Collect. Intell.
Thomas Largillier, Sylvain Peyronnet
2011 J jnl
Exact optimization for the ℓ
Theor. Comput. Sci.
Alexandre Borghi, Jérôme Darbon, Sylvain Peyronnet
2011 J jnl
QCG-OMPI: MPI applications on grids.
Future Gener. Comput. Syst.
Emmanuel Agullo, Camille Coti, Thomas Hérault, Julien Langou, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello, Jack J. Dongarra
2011 B conf
Uniform Monte-Carlo Model Checking.
FASE
Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet
2010 — conf
A Compressive Sensing Algorithm for Many-Core Architectures.
ISVC (2)
Alexandre Borghi, Jérôme Darbon, Sylvain Peyronnet, Tony F. Chan, Stanley J. Osher
2010 B conf
Brief announcement: Lower bounds on communication for sparse Cholesky factorization of a model problem.
SPAA
Laura Grigori, Pierre-Yves David, James Demmel, Sylvain Peyronnet
2010 — conf
Lightweight Clustering Methods for Webspam Demotion.
Web Intelligence
Thomas Largillier, Sylvain Peyronnet
2010 — conf
Partial Ranking of Products for Recommendation Systems.
EC-Web
Sébastien Hémon, Thomas Largillier, Sylvain Peyronnet
2010 B conf
Planning Large Data Transfers in Institutional Grids.
CCGRID
Fatiha Bouabache, Thomas Hérault, Sylvain Peyronnet, Franck Cappello
2010 C conf
SAFE-OS: A secure and usable desktop operating system.
CRiSIS
François Lesueur, Ala Rezmerita, Thomas Hérault, Sylvain Peyronnet, Sébastien Tixeuil
2010 — conf
SpotRank: a robust voting system for social news websites.
WICOW
Thomas Largillier, Guillaume Peyronnet, Sylvain Peyronnet
2010 A conf
Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks.
MSWiM
Aline Carneiro Viana, Thomas Hérault, Thomas Largillier, Sylvain Peyronnet, Fatiha Zaïdi
2010 — conf
Using Patterns in the Behavior of the Random Surfer to Detect Webspam Beneficiaries.
WISE Workshops
Thomas Largillier, Sylvain Peyronnet
2009 — conf
High accuracy failure injection in parallel and distributed systems using virtualization.
Conf. Computing Frontiers
Thomas Hérault, Thomas Largillier, Sylvain Peyronnet, Benjamin Quétier, Franck Cappello, Mathieu Jan
2008 — conf
Cell Assisted APMC.
QEST
Alexandre Borghi, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet
2008 — conf
Coverage-biased Random Exploration of Models.
MBT@ETAPS
Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet
2008 Misc conf
Emulation platform for high accuracy failure injection in grids.
High Performance Computing Workshop
Thomas Hérault, Mathieu Jan, Thomas Largillier, Sylvain Peyronnet, Benjamin Quétier, Franck Cappello
2008 B conf
Grid Services for MPI.
CCGRID
Camille Coti, Thomas Hérault, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello
2008 J jnl
Probabilistic verification and approximation.
Ann. Pure Appl. Log.
Richard Lassaigne, Sylvain Peyronnet
2007 J jnl
Probabilistic abstraction for model checking: An approach based on property testing.
ACM Trans. Comput. Log.
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
2006 — conf
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains.
QEST
Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet
2006 — conf
Evaluating Complex MAC Protocols for Sensor Networks with APMC.
AVoCS
Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil
2006 C conf
Modeling of Sensor Networks Using XRM.
ISoLA
Akim Demaille, Sylvain Peyronnet, Benoît Sigoure
2006 — conf
Probabilistic verification of sensor networks.
RIVF
Akim Demaille, Thomas Hérault, Sylvain Peyronnet
2006 J jnl
Uniform Random Sampling of Traces in Very Large Models
CoRR
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
2006 — conf
Uniform random sampling of traces in very large models.
Random Testing
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
2005 Misc conf
A Vectorial Self-dual Morphological Filter Based on Total Variation Minimization.
ISVC
Jérôme Darbon, Sylvain Peyronnet
2005 — conf
Distribution, Approximation and Probabilistic Model Checking.
PDMC@ICALP
Guillaume Guirado, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet
2005 C conf
Probabilistic Verification and Approximation.
WoLLIC
Richard Lassaigne, Sylvain Peyronnet
2004 B conf
Approximate Probabilistic Model Checking.
VMCAI
Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet
2004 — conf
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC.
AVoCS
Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny
2002 — conf
Approximate Verification of Probabilistic Systems.
PAPM-PROBMIV
Richard Lassaigne, Sylvain Peyronnet
2002 A* conf
Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing.
LICS
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
2001 J jnl
Probabilistic abstraction for model checking: An approach based on property testing
Electron. Colloquium Comput. Complex.
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont