Jocelyn Sérot

59 papers A 2B 2C 3Misc 6Journal 22Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Programming Parallelism on FPGAs with Eclat. Int. J. Parallel Program. Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux
2024	C	`conf`	Hardware Implementation of OCaml Using a Synchronous Functional Language. PADL Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux
2023	J	`jnl`	Accelerating OCaml Programs on FPGA. Int. J. Parallel Program. Loïc Sylvestre, Emmanuel Chailloux, Jocelyn Sérot
2023	Misc	`conf`	Work-in-Progress: mixing computation and interaction on FPGA. EMSOFT Loïc Sylvestre, Emmanuel Chailloux, Jocelyn Sérot
2022	Misc	`conf`	A Virtual Machine Approach for High-level FPGA Programming. FCCM Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux
2020	—	`conf`	HoCL: High level specification of dataflow graphs. IFL Jocelyn Sérot
2019	J	`jnl`	Dataflow-Functional High-Level Synthesis for Coarse-Grained Reconfigurable Accelerators. IEEE Embed. Syst. Lett. Claudio Rubattu, Francesca Palumbo, Carlo Sau, Rubén Salvador, Jocelyn Sérot, Karol Desnos, Luigi Raffo, Maxime Pelcat
2019	—	`conf`	The CAPH Language, Ten Years After. SAMOS Jocelyn Sérot, François Berry
2018	J	`jnl`	Accelerating CNN inference on FPGAs: A Survey. CoRR Kamel Abdelouahab, Maxime Pelcat, Jocelyn Sérot, François Berry
2018	J	`jnl`	Bio-inspired heterogeneous architecture for real-time pedestrian detection applications. J. Real Time Image Process. Luca Maggiani, Cédric Bourrasset, Jean-Charles Quinton, François Berry, Jocelyn Sérot
2017	J	`jnl`	A Holistic Approach for Optimizing DSP Block Utilization of a CNN implementation on FPGA. CoRR Kamel Abdelouahab, Cédric Bourrasset, Maxime Pelcat, François Berry, Jean-Charles Quinton, Jocelyn Sérot
2017	J	`jnl`	Hardware Automated Dataflow Deployment of CNNs. CoRR Kamel Abdelouahab, Maxime Pelcat, Jocelyn Sérot, François Berry, Cédric Bourrasset, Jean-Charles Quinton
2017	J	`jnl`	Tactics to Directly Map CNN Graphs on Embedded FPGAs. IEEE Embed. Syst. Lett. Kamel Abdelouahab, Maxime Pelcat, Jocelyn Sérot, Cédric Bourrasset, François Berry
2017	J	`jnl`	Tactics to Directly Map CNN graphs on Embedded FPGAs. CoRR Kamel Abdelouahab, Maxime Pelcat, Cédric Bourrasset, François Berry, Jocelyn Sérot
2016	—	`conf`	A Holistic Approach for Optimizing DSP Block Utilization of a CNN implementation on FPGA. ICDSC Kamel Abdelouahab, Cédric Bourrasset, Maxime Pelcat, François Berry, Jean-Charles Quinton, Jocelyn Sérot
2016	J	`jnl`	Dataflow object detection system for FPGA-based smart camera. IET Circuits Devices Syst. Cédric Bourrasset, Luca Maggiani, Jocelyn Sérot, François Berry
2016	—	`conf`	Demo GPStudio: a toolchain for FPGA-based Smart Cameras: Demo Paper. ICDSC Sébastien Caux, Edouard Hendrickx, François Berry, Maxime Pelcat, Jocelyn Sérot
2016	J	`jnl`	High-level dataflow programming for real-time image processing on smart cameras. J. Real Time Image Process. Jocelyn Sérot, François Berry, Cédric Bourrasset
2015	—	`conf`	Parallel image gradient extraction core for FPGA-based smart cameras. ICDSC Luca Maggiani, Cédric Bourrasset, François Berry, Jocelyn Sérot, Matteo Petracca, Claudio Salvadori
2014	—	`conf`	High-Level Dataflow Programming for Reconfigurable Computing. SBAC-PAD (Workshops) Jocelyn Sérot, François Berry
2013	—	`conf`	Distributed FPGA-based smart camera architecture for computer vision applications. ICDSC Cédric Bourrasset, Luca Maggiani, Jocelyn Sérot, François Berry, Paolo Pagano
2013	—	`conf`	DreamCAM: A FPGA-based platform for smart camera networks. ICDSC Cédric Bourrasset, Luca Maggiani, Jocelyn Sérot, François Berry, Paolo Pagano
2013	—	`conf`	FPGA-based smart camera mote for pervasive wireless network. ICDSC Cédric Bourrasset, Jocelyn Sérot, François Berry
2012	—	`conf`	Harnessing parallelism in FPGAs using the hume language. FHPC@ICFP Jocelyn Sérot, Greg J. Michaelson
2011	B	`conf`	Implementing Stream-Processing Applications on FPGAs: A DSL-Based Approach. FPL Jocelyn Sérot, François Berry, Sameer Ahmed
2010	C	`conf`	A New High-Level Methodology for Programming FPGA-Based Smart Camera. DSD Nicolas Roudel, François Berry, Jocelyn Sérot, Laurent Eck
2009	J	`jnl`	Advanced Adaptive Sonar for Mapping Applications. J. Intell. Robotic Syst. Álvaro Hernández, Jesús Ureña, Manuel Mazo, Juan Jesús García, Ana Jiménez, José Antonio Jiménez, María del Carmen Pérez, Fernando J. Álvarez, Carlos De Marziani, Jean-Pierre Dérutin, Jocelyn Sérot
2009	J	`jnl`	Une bibliothèque métaprogrammée pour la programmation parallèle. Tech. Sci. Informatiques Joel Falcou, Jocelyn Sérot
2008	—	`conf`	Functional Meta-programming for Parallel Skeletons. ICCS (1) Jocelyn Sérot, Joel Falcou
2008	—	`conf`	Meta-programming Applied to Automatic SMP Parallelization of Linear Algebra Code. Euro-Par Joel Falcou, Jocelyn Sérot, Lucien Pech, Jean-Thierry Lapresté
2007	Misc	`conf`	A Configurable Window-Based Processing Element for Image Processing on Smart Cameras. MVA Fabio Dias, François Berry, Jocelyn Sérot, François Marmoiton
2007	—	`conf`	Formal Semantics Applied to the Implementation of a Skeleton-Based Parallel Programming Library. PARCO Joel Falcou, Jocelyn Sérot
2007	—	`conf`	Hardware, Design and Implementation Issues on a Fpga-Based Smart Camera. ICDSC Fabio Dias, François Berry, Jocelyn Sérot, François Marmoiton
2006	J	`jnl`	Quaff: efficient C++ design for parallel skeletons. Parallel Comput. Joel Falcou, Jocelyn Sérot, Thierry Chateau, Jean-Thierry Lapresté
2006	—	`conf`	Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
2005	—	`conf`	A Parallel Implementation of a 3D Reconstruction Algorithm for Real-Time Vision. PARCO Joel Falcou, Jocelyn Sérot, Thierry Chateau, Frédéric Jurie
2005	J	`jnl`	E.V.E., An Object Oriented SIMD Library. Scalable Comput. Pract. Exp. Joel Falcou, Jocelyn Sérot
2005	J	`jnl`	Managing Algorithmic Skeleton Nesting Requirements in Realistic Image Processing Applications: The Case of the SKiPPER-II Parallel Programming Environment's Operating Model. EURASIP J. Adv. Signal Process. Rémi Coudarcher, Florent Duculty, Jocelyn Sérot, Frédéric Jurie, Jean-Pierre Dérutin, Michel Dhome
2005	—	`conf`	The Embounded project (project start paper). Trends in Functional Programming Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
2004	Misc	`conf`	EVE, an Object Oriented SIMD Library. International Conference on Computational Science Joel Falcou, Jocelyn Sérot
2004	Misc	`conf`	FSM-Hume: programming resource-limited systems using bounded automata. SAC Greg Michaelson, Kevin Hammond, Jocelyn Sérot
2003	A	`conf`	A Beowulf-Class Architecture Proposal for Real-Time Embedded Vision. IPDPS Pedro A. Revenga, Jocelyn Sérot, José Luis Lázaro, Jean-Pierre Dérutin
2003	—	`conf`	CamlG4 : une bibliothèque de calcul parallèle pour Objective Caml. JFLA Joel Falcou, Jocelyn Sérot
2003	—	`conf`	FSM-Hume is finite state. Trends in Functional Programming Greg Michaelson, Kevin Hammond, Jocelyn Sérot
2003	J	`jnl`	Real-time implementation of an efficient Golay correlator (EGC) applied to ultrasonic sensorial systems. Microprocess. Microsystems Álvaro Hernández, Jesús Ureña, Daniel Hernanz, Juan Jesús García, Manuel Mazo, Jean-Pierre Dérutin, Jocelyn Sérot, Sira E. Palazuelos
2002	J	`jnl`	Skeletons for parallel image processing: an overview of the SKIPPER project. Parallel Comput. Jocelyn Sérot, Dominique Ginhac
2001	J	`jnl`	Fast prototyping of parallel-vision applications using functional skeletons. Mach. Vis. Appl. Jocelyn Sérot, Dominique Ginhac, Roland Chapuis, Jean-Pierre Dérutin
2001	C	`conf`	Implementation of a Skeleton-Based Parallel Programming Environment Supporting Arbitrary Nesting. HIPS Rémi Coudarcher, Jocelyn Sérot, Jean-Pierre Dérutin
2001	A	`conf`	Implementation of a Skeleton-based Parallel Programming Environment Supporting Arbitrary Nesting. IPDPS Rémi Coudarcher, Jocelyn Sérot, Jean-Pierre Dérutin
2001	J	`jnl`	Tagged-Token Data-Flow for Skeletons. Parallel Process. Lett. Jocelyn Sérot
2000	—	`conf`	CAMLFLOW: a CAML to data-flow graph translator. Scottish Functional Programming Workshop Jocelyn Sérot
1999	—	`ch.`	Explicit Parallelism. Research Directions in Parallel Functional Programming Jocelyn Sérot
1999	B	`conf`	SKiPPER: A Skeleton-Based Parallel Programming Environment for Real-Time Image Processing Applications. PaCT Jocelyn Sérot, Dominique Ginhac, Jean-Pierre Dérutin
1998	Misc	`conf`	Fast Prototyping of Image Processing Applications Using Functional Skeletons on a MIMD-DM Architecture. MVA Dominique Ginhac, Jocelyn Sérot, Jean-Pierre Dérutin
1997	—	`conf`	Embodying Parallel Functional Skeletons: An Experimental Implementation on Top of MPI. Euro-Par Jocelyn Sérot
1995	J	`jnl`	A Visual Dataflow Programming Environment for a Real Time Parallel Vision Machine. J. Vis. Lang. Comput. Jocelyn Sérot, Georges Quénot, Bertrand Y. Zavidovique
1993	—	`conf`	A Functional Data-flow Architecture Dedicated to Real-time Image Processing. Architectures and Compilation Techniques for Fine and Medium Grain Parallelism Jocelyn Sérot, Georges Quénot, Bertrand Y. Zavidovique
1993	—	`conf`	A wavefront array processor for on the fly processing of digital video streams. ASAP Georges Quénot, C. Coutelle, Jocelyn Sérot, Bertrand Y. Zavidovique
1993	J	`jnl`	Functional programming on a dataflow architecture: Applications in real-time image processing. Mach. Vis. Appl. Jocelyn Sérot, Georges Quénot, Bertrand Y. Zavidovique