@INPROCEEDINGS{fpl11,
AUTHOR = {J. S\'erot and F. Berry and S. Ahmed},
TITLE = {Implementing stream-processing applications on FPGAs : a DSL-based approach},
BOOKTITLE = {21st International Conference on Field Programmable Logic and Applications},
LOCATION = {Chania, Crete, Grece},
YEAR = 2011
}
@INPROCEEDINGS{tfp11,
AUTHOR = {J. S\'erot and G. Michaelson},
TITLE = {Compiling Hume down to gates},
BOOKTITLE = {12th International Symposium on Trends in Functional Programming},
LOCATION = {Madrid, Spain},
YEAR = 2011
}
@ARTICLE{j3ea09,
AUTHOR = {J. S\'erot and J. Laffont and M. James},
TITLE = {De l'utilité des jeux vidéo pour l'enseignement de l'informatique temps-réel},
JOURNAL = {Journal sur l'enseignement des sciences et technologies de l'information et des systèmes},
VOLUME = 8,
NUMBER = 1025,
YEAR = 2009
}
@inproceedings{jfla08,
hal_id = {inria-00203008},
url = {http://hal.inria.fr/inria-00203008/en/},
title = {{M\'etaprogrammation fonctionnelle appliqu\'ee \`a la g\'en\'eration d'un DSL d\'edi\'e \`a la programmation parall\`ele}},
author = {S\'erot, Jocelyn and Falcou, Joel},
language = {French},
affiliation = {Laboratoire des sciences et mat\'eriaux pour l'\'electronique et d'automatique - LASMEA - CNRS : UMR6602 - Universit\'e Blaise Pascal - Clermont-Ferrand II - Institut d'\'electronique fondamentale - IEF - CNRS : UMR8622 - Universit\'e Paris Sud - Paris XI},
booktitle = {{JFLA (Journ\'ees Francophones des Langages Applicatifs)}},
pages = {153-171},
address = {Etretat, France},
organization = {INRIA},
audience = {national },
year = {2008},
pdf = {http://hal.inria.fr/inria-00203008/PDF/jserot.pdf},
}
@article{parco06,
title = "Quaff: efficient C++ design for parallel skeletons",
journal = "Parallel Computing",
volume = "32",
number = "7-8",
pages = "604 - 615",
year = "2006",
note = "Algorithmic Skeletons",
issn = "0167-8191",
doi = "DOI: 10.1016/j.parco.2006.06.001",
url = "http://www.sciencedirect.com/science/article/pii/S0167819106000275",
author = "J. Falcou and J. Sérot and T. Chateau and J.T. Lapresté",
keywords = "Parallel skeletons",
keywords = "Template meta-programming",
keywords = "Computer vision",
keywords = "MPI",
keywords = "C++"
}
@ARTICLE{scpe05,
AUTHOR = {J. Falcou and J. S\'erot},
TITLE = {{EVE} : an object-oriented {SIMD} library},
JOURNAL = {Scalable Computing: Practice and Experience},
VOLUME = 6,
NUMBER = 4,
PAGES = {31-42},
YEAR = 2005
}
@INPROCEEDINGS{acivs05,
AUTHOR = {J. Falcou and J. S\'erot},
TITLE = {Application of template-based metaprogramming compilation techniques to the efficient implementation of image processing algorithms on simd-capable processors},
BOOKTITLE = {Advanced Concepts for Intelligent Vision Systems},
LOCATION = {Brussels},
YEAR = 2004
}
@INPROCEEDINGS{parco05,
AUTHOR = {J. Falcou and J. S\'erot and T. Chateau and F. Jurie},
TITLE = {Implementation of a real-time 3D reconstruction algorithm on a hybrid cluster},
BOOKTITLE = {Intl Conference on Parallel Processing (PARCO'05)},
LOCATION = {Malaga, Spain},
YEAR = 2005
}
@INCOLLECTION{sfp00,
AUTHOR = {G. Michaelson and K. Hammond and J. S\'erot},
TITLE = {The finite state-ness of {FSM-Hume}},
BOOKTITLE = {Trends in Functional Programming 4},
OPTPAGES = {},
PUBLISHER = {Intellect},
YEAR = {2004},
EDITOR = {S. Gilmore},
OPTVOLUME = {4},
OPTNUMBER = {},
OPTSERIES = {},
OPTTYPE = {},
OPTCHAPTER = {},
OPTADDRESS = {},
OPTEDITION = {},
OPTMONTH = {},
OPTNOTE = {},
OPTANNOTE = {},
ABSTRACT = {}
}
>, Nycosia, 2004 [bib]
@INPROCEEDINGS{sac04,
AUTHOR = {G. Michaelson and K. Hammond and J. S\'erot},
TITLE = {Programming resource-limited systems using bounded automata},
BOOKTITLE = {In 19th Annual ACM Symposium on Applied Computing},
LOCATION = {Nycosia, Cyprus},
YEAR = 2004
}
@INPROCEEDINGS{jfla03,
AUTHOR = {J. Falcou and J. S\'erot},
TITLE = {Une bibliothèque de calcul parallèle pour {Objective Caml}},
BOOKTITLE = {14$^{eme}$ Journ\'ees Francaises des Langages Applicatifs},
LOCATION = {Chamrousse},
MONTH = {26-28} # JAN,
YEAR = 2003,
PAGES = {139--152},
URL = {http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/papers/articles/jfla03.pdf}
}
@ARTICLE{parco02,
AUTHOR = {J. S\'erot and D. Ginhac},
TITLE = {Skeletons for parallel image processing : an overview of the {SKiPPER} project},
JOURNAL = {Parallel Computing},
VOLUME = 28,
NUMBER = 12,
PAGES = {1785-1808},
MONTH = {Dec},
YEAR = 2002
}
@ARTICLE{ppl01,
AUTHOR = {J. S\'erot},
TITLE = {Tagged-token Data-flow for Skeletons},
JOURNAL = {Parallel Processing Letters},
YEAR = 2001,
VOLUME = 11,
NUMBER = 4,
PAGES = {377-392},
MONTH = {Dec}
}
@MISC{parco01,
AUTHOR = {J. S\'erot},
TITLE = {The {SKiPPER} project : skeletons for parallel image processing},
HOWPUBLISHED = {MiniSymposium on Advanced Programming Environments for Parallel and Distributed Computing, ParCo Intl. conf.},
MONTH = {4-7 Sep},
YEAR = 2001,
ADDRESS = {Naples, Italy},
URL = {http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/papers/slides/parco01-slides.ps.gz}
}
@ARTICLE{jmva01,
AUTHOR = {J. S\'erot and D. Ginhac and R. Chapuis and J.P. D\'erutin},
TITLE = {Fast prototyping of parallel vision applications using functional skeletons},
JOURNAL = {Journal of Machine Vision and Applications},
YEAR = {2001},
VOLUME = {12},
NUMBER = {6},
PAGES = {271--290},
MONTH = {June},
ABSTRACT = {http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/papers/abstracts/jmva01-abstract.ps.gz}
}
@INPROCEEDINGS{hips01,
AUTHOR = {R. Coudarcher, J. S\'erot and J.P. D\'erutin},
TITLE = {Implementation of a Skeleton-based Parallel Programming Environment Supporting Arbitrary Nesting},
BOOKTITLE = {{6$^{th}$} Int. Workshop on High-Level Parallel Programming Models and Supportive Environments},
PAGES = {189--196},
YEAR = {2001},
MONTH = {Apr},
ADDRESS = {San-Francisco, CA, USA},
EDITOR = {F. Mueller},
VOLUME = {2026},
SERIES = {LNCS},
PUBLISHER = {Springer},
ABSTRACT = {http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/papers/abstracts/hips01-abstract.ps.gz}
}
@INPROCEEDINGS{aaa00,
AUTHOR = {R. Coudarcher and J. S\'erot and J.P. D\'erutin},
TITLE = {Mise en {\oe}uvre statique de squelettes de parall\'elisation dynamiques sous {SynDEx}},
BOOKTITLE = {5$^{eme}$ Workshop AAA sur l'Ad\'equation Algorithme Architecture},
LOCATION = {INRIA Rocquencourt, France},
MONTH = {26-28~} # JAN,
YEAR = {2000},
PAGES = {189--196},
URL = {http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/papers/articles/aaa00.ps.gz}
}
@INCOLLECTION{sfp00,
AUTHOR = {J. S\'erot},
TITLE = {{CAMLFLOW}: a {CAML} to data-flow graph translator},
BOOKTITLE = {Trends in Functional Programming 2},
OPTPAGES = {},
PUBLISHER = {Intellect},
YEAR = {2001},
EDITOR = {S. Gilmore},
OPTVOLUME = {},
OPTNUMBER = {},
OPTSERIES = {},
OPTTYPE = {},
OPTCHAPTER = {},
OPTADDRESS = {},
OPTEDITION = {},
OPTMONTH = {March},
OPTNOTE = {},
OPTANNOTE = {},
URL = {http://www.intellectbooks.com/authors/gilmore/funcpro2.htm},
ABSTRACT = {http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/papers/abstracts/tfp01-abstract.ps.gz}
}
@INPROCEEDINGS{jfla00,
AUTHOR = {J. S\'erot},
TITLE = {Un compilateur {CAML} -> {SynDEx} pour les applications de traitement du signal distribu\'ees},
BOOKTITLE = {11$^{eme}$ Journ\'ees Francaises des Langages Applicatifs},
LOCATION = {Le Mont St-Michel},
MONTH = {1er~} # FEB,
YEAR = 2000,
PAGES = {115--130},
URL = {http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/papers/articles/jfla00.ps.gz}
}
@INPROCEEDINGS{gretsi99,
AUTHOR = {D. Ginhac and J. S\'erot and J.P. D\'erutin and Roland Chapuis},
TITLE = {{SKiPPER} ; un environnement de programmation parall\`ele fond\'e sur les squelettes et d\'edi\'es au traitement d'images},
BOOKTITLE = {17$^{eme}$ Colloque GRETSI sur le traitement du signal et des images},
LOCATION = {Vannes, France},
MONTH = {13-17~} # SEP,
YEAR = 1999,
PAGES = {1209--1212}
}
@INPROCEEDINGS{pact99,
AUTHOR = {J. S\'erot and D. Ginhac and J.P. D\'erutin},
TITLE = {{SKiPPER}: a skeleton-based parallel programming environment for real-time image processing applications},
BOOKTITLE = {5th International Conference on Parallel Computing Technologies (PaCT-99)},
LOCATION = {St. Petersburg, Russia},
MONTH = {6--10~} # SEP,
PAGES = {296--305},
PUBLISHER = {Springer},
EDITOR = {V. Malyshkin},
SERIES = {LNCS},
VOLUME = 1662,
YEAR = 1999,
URL = {http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/papers/articles/pact99.ps.gz}
}
@INCOLLECTION{rdpfp99,
AUTHOR = {J. S\'erot},
TITLE = {Explicit parallelism},
BOOKTITLE = {Research Directions in Parallel Functional Programming},
TYPE = {Chapter},
EDITOR = {Greg J. Michaelson and K. Hammond},
PUBLISHER = {Springer Verlag},
YEAR = 1999,
URL = {http://www-fp.dcs.st-and.ac.uk/pfpbook}
}
@INPROCEEDINGS{aaa98,
AUTHOR = {D. Ginhac and J. S\'erot and J.P. D\'erutin},
TITLE = {Utilisation de squelettes fonctionnels au sein d'un outil d'aide \`a la parall\'elisation},
BOOKTITLE = {4$^{emes}$ Journ\'ees Ad\'equation Algorithme Architecture en Traitement du Signal et Image},
LOCATION = {Saclay, France},
MONTH = {28-30~} # JAN,
YEAR = 1998,
URL = {http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/papers/articles/aaa98.ps.gz}
}
@INPROCEEDINGS{gretsi97,
AUTHOR = {D. Ginhac and J. S\'erot and J.P. D\'erutin},
TITLE = {Vers un outil d'aide a la parall\'elisation fond\'e sur les squelettes},
BOOKTITLE = {16$^{eme}$ Colloque GRETSI sur le traitement du signal et des images},
LOCATION = {Grenoble},
MONTH = {15-19~} # SEP,
YEAR = 1997,
URL = {http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/papers/articles/gretsi97.ps.gz}
}
@INPROCEEDINGS{europar97,
AUTHOR = {J. S\'erot},
TITLE = {Embodying parallel functional skeletons: an experimental implementation on top of {MPI}},
BOOKTITLE = {3rd Intl Euro-Par Conference on Parallel Processing},
PAGES = {629-633},
LOCATION = {Passau, Germany},
MONTH = {26-29~} # AUG,
EDITOR = {C. Lengauer and M. Griebl and S. Gorlatch},
PUBLISHER = {Springer},
YEAR = 1999,
URL = {http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/papers/articles/europar97.ps.gz}
}
@ARTICLE{ts97,
AUTHOR = {D. Ginhac and J. S\'erot and J.P. D\'erutin},
TITLE = {Evaluation de l'outil {SynDEx} en vue de prototypage rapide d'applications de traitement d'images sur machine MIMD-DM},
JOURNAL = {Traitement du Signal},
VOLUME = 14,
NUMBER = 6,
PAGES = {605-613},
YEAR = 1997,
ABSTRACT = {http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/papers/abstracts/ts97-abstract.ps.gz}
}
@ARTICLE{icae97,
AUTHOR = {B. Zavidovique and J. S\'erot and G.M. Qu\'enot},
TITLE = {Massively Parallel Dataflow Computer Dedicated to Real Time Image Processing},
JOURNAL = {Integrated Computer Aided Engineering},
VOLUME = 4,
NUMBER = 1,
PAGES = {9--29},
YEAR = {1997}
}
@TECHREPORT{hw96,
AUTHOR = {J. S\'erot},
TITLE = {Writing an edge tracker in {ML}: a case study},
INSTITUTION = {Dept of Computing and Electrical Engineering},
ADDRESS = {Heriot-Watt University, Edinburgh},
MONTH = NOV,
YEAR = 1996,
NOTE = {Research memorandum no 96/13},
URL = {ftp://ftp.cee.hw.ac.uk/pub/funcprog/js.edge96.ps.Z}
}
@ARTICLE{tsi95,
AUTHOR = {J. S\'erot and G. M. Qu\'enot and B. Zavidovique},
TITLE = {De la programmation fonctionnelle au traitement d'images temps r\'eel},
JOURNAL = {Technique et Science Informatiques},
VOLUME = 14,
NUMBER = 7,
PAGES = {839--865},
MONTH = SEP,
YEAR = 1995
}
@ARTICLE{jvlc95,
AUTHOR = {J. S\'erot and G. M. Qu\'enot and B. Zavidovique},
TITLE = {A Visual Dataflow Programming Environment for a Real-Time Parallel Vision Machine},
JOURNAL = {Journal of Visual Languages and Computing},
VOLUME = 6,
PAGES = {327--347},
YEAR = 1995
}
@ARTICLE{rstd95,
AUTHOR = {J. S\'erot and G. M. Qu\'enot and B. Zavidovique},
TITLE = {Le Calculateur Fonctionnel: Une architecture Flot de Donn\'ees pour le Traitement d' Image Temps R\'eel},
JOURNAL = {Revue Scientifique et Technique de la D\'efense},
YEAR = 1995,
VOLUME = 27,
NUMBER = 1,
PAGES = {217--229}
}
@INCOLLECTION{asva94,
AUTHOR = {B. Zavidovique and C. Fortunel and G.M. Qu\'enot and A. Safir and J. S\'erot and F. Verdier},
TITLE = {Automatic Synthesis of Vision Automata},
BOOKTITLE = {{VLSI} Design Methodologies for Digital Signal Processing Architectures},
PAGES = {261--318},
TYPE = {Chapter},
PUBLISHER = {Kluwer Academic Publishers},
EDITOR = {Magdy A. Bayoumi},
YEAR = 1994
}
@INPROCEEDINGS{fccm94,
AUTHOR = {G. M. Qu\'enot and I.C. Kralji\'c and J. S\'erot and B. Zavidovique},
TITLE = {A Reconfigurable Compute Engine for Real-Time Vision Automata Prototyping},
BOOKTITLE = {IEEE Workshop on {FPGA}s for Custom Computing Machines},
PAGES = {91--100},
LOCATION = {Napa Valley, CA, USA},
MONTH = {10-13~} # APR,
YEAR = 1994
}
@ARTICLE{cmn94,
AUTHOR = {J. S\'erot},
TITLE = {D'Internet aux RISCs: un survol du paysage informatique des ann\'ees 90},
JOURNAL = {Médecine Nucl\'eaire, Imagerie fonctionnelle et M\'etabolique},
YEAR = 1994,
VOLUME = 18,
PAGES = {340-346},
NOTE = {Papier invit\'e}
}
@INPROCEEDINGS{tran94,
AUTHOR = {O. Eckl\'e and G. M. Qu\'enot and J. S\'erot},
TITLE = {Integrating Transputer Arrays within a Data-Flow Architecture: Applications in Real-Time Image Processing},
BOOKTITLE = {Transputers},
PAGES = {135--152},
LOCATION = {France},
MONTH = {21-23~} # SEP,
YEAR = 1994
}
@ARTICLE{jmva93,
AUTHOR = {J. S\'erot and G. M. Qu\'enot and B. Zavidovique},
TITLE = {Functional Programming on a data-Flow Architecture: Applications in Real Time Image Processing},
JOURNAL = {Intl Journal of Machine Vision and Applications},
VOLUME = 7,
NUMBER = 1,
PAGES = {44--56},
MONTH = DEC,
YEAR = 1993
}
@INPROCEEDINGS{ifip93,
AUTHOR = {J. S\'erot and G.M. Qu\'enot and B. Zavidovique},
TITLE = {A Functional Data-flow Architecture dedicated to Real-time Image Processing},
BOOKTITLE = {IFIP WG10.3 Working Conference on Architectures and Compilation techniques for fine and medium grain parallelism},
PAGES = {129--140},
LOCATION = {Orlando, FL, USA},
MONTH = {20-22~} # JAN,
YEAR = 1993
}
@INPROCEEDINGS{renpar93,
AUTHOR = {J. S\'erot and G.M. Qu\'enot and B. Zavidovique},
TITLE = {Des Langages Fonctionnels au Traitement d'Image Temps R\'eel: Un Environnement de Programmation pour une Architecture Flots de Donn\'ees},
BOOKTITLE = {5$^{emes}$ Rencontres du Parall\'elisme},
LOCATION = {Brest, France},
MONTH = {26-28~} # MAY,
YEAR = 1993
}
@INPROCEEDINGS{asap93,
AUTHOR = {G. M. Qu\'enot and Christophe Coutelle and J. S\'erot
and B. Zavidovique},
TITLE = {A Wavefront Array Processor for On The Fly Processing of
Digital Video Streams},
BOOKTITLE = {International Conference on Application-Specific Array
Processors},
LOCATION = {Venice, Italy},
MONTH = {25-27~} # OCT,
YEAR = 1993
}
@INPROCEEDINGS{camp93,
AUTHOR = {G. M. Qu\'enot and C. Coutelle and J. S\'erot and B. Zavidovique},
TITLE = {Implementing Image Processing Applications on a Real-Time Architecture},
BOOKTITLE = {International Workshop on Computer Architecture and Machine Perception},
LOCATION = {New Orleans, Lousiana, USA},
MONTH = {15-17~} # DEC,
YEAR = 1993
}
@PHDTHESIS{these93,
AUTHOR = {J. S\'erot},
TITLE = {Mise en \oe uvre d'un formalisme fonctionnel pour la programmation d'une architecture flots de donn\'ees d\'edi\'ee au traitement d'images temps r\'eel},
SCHOOL = {Universit\'e d'Orsay - Paris XI},
TYPE = {Th\`ese de Doctorat en Sciences},
MONTH = {1~} # OCT,
YEAR = 1993
}
@INPROCEEDINGS{camp91,
AUTHOR = {J. S\'erot and G. M. Qu\'enot},
TITLE = {Real-Time Image Processing using Functional Programming on a DataFlow Architecture},
BOOKTITLE = {International Workshop on Computer Architecture and Machine Perception},
PAGES = {33--44},
LOCATION = {Paris, France},
MONTH = {16-18~} # DEC,
YEAR = 1991
}
@INPROCEEDINGS{eusipco90,
AUTHOR = {J. S\'erot and S. Lelandais and D. B. and P. Robert},
TITLE = {Characterization of extruded products using texture analysis methods},
BOOKTITLE = {EUSIPCO Conf},
LOCATION = {Barcelone, Spain},
MONTH = {} # SEP,
YEAR = 1990
}
@INPROCEEDINGS{wmva98,
AUTHOR = {D. Ginhac and J. S\'erot and J.P. D\'erutin},
TITLE = {Fast prototyping of image processing applications using functional skeletons on MIMD-DM architecture},
BOOKTITLE = {IAPR Workshop on Machine Vision Applications},
LOCATION = {Chiba, Japan},
MONTH = NOV,
PAGES = {468-471},
YEAR = 1998,
URL = {http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/papers/articles/mva98.ps.gz}
}