@inproceedings{Dinechin1994:ParCo,
author = { Helmut Weberpals and de Dinechin, Florent},
title = {Analysis of Parallel Algorithms for a Shared Virtual Memory Computer},
booktitle = {ParCo'93},
series = {Advances in Parallel Computing},
publisher = {North-Holland},
x-international-audience = {yes},
pages = {719--723},
year = {1994}
}
@inproceedings{Dinechin1995:MPPM,
author = {de Dinechin, Florent and Quinton, Patrick and Risset, Tanguy},
booktitle = {Massively Parallel Programming Models},
publisher = {IEEE},
pages = {18--24},
title = {Structuration of the {{Alpha}} Language},
nomonth = aug,
year = {1995},
x-international-audience = {yes},
location = {Berlin, Germany},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/1995-MPPM.pdf}
}
@inproceedings{Dinechin1995:ParCo,
author = {de Dinechin, Florent and Weberpals, Helmut},
title = {A Localized Parallel Sorting Algorithm and its
Implementation},
booktitle = {ParCo'95},
series = {Advances in Parallel Computing},
publisher = {North-Holland},
x-international-audience = {yes},
location = {Gent - Belgium},
year = {1996}
}
@inproceedings{Dinechin1996:ASAP,
author = {de Dinechin, Florent and Robert, Sophie},
booktitle = {Application Specific Array Processors},
organization = {IEEE},
title = {Hierarchical Static Analysis of Structured Systems
of Affine Recurrence Equations},
nomonth = aug,
year = {1996},
x-international-audience = {yes},
location = {Chicago, USA},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/1996-ASAP.pdf}
}
@inproceedings{Dinechin1996:Irregular,
author = {Rumen Andonov and de Dinechin, Florent and Sanjay
Rajopadhye and Wilde, Doran},
booktitle = {International Workshop on Parallel Algorithms for
Irregularly Structured Problems},
publisher = {Springer-Verlag Lecture Notes in Computer Science},
title = {A Regular {VLSI} Array for an Irregular Algorithm},
nomonth = aug,
x-international-audience = {yes},
year = {1996},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/1996-Irreg.pdf}
}
@inproceedings{Dinechin1996:WDMSP,
author = {de Dinechin, Florent and Le Mo\"{e}nner, Patricia},
title = {Automatic Synthesis of Regular Architectures
Optimized at the Bit Level},
booktitle = {Workshop on Design Methodologies for Signal
Processing},
location = {Zakopane, Poland},
x-international-audience = {yes},
nomonth = aug,
year = {1996},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/1996-WDMSP.pdf}
}
@inproceedings{Dinechin1997:ECAL,
author = {de Dinechin, Florent},
booktitle = {European Conference on Artificial Life},
location = {Brighton, UK},
publisher = {{MIT} Press/Bradford Books},
title = {Self-replication in a {2D} von {Neumann} Architecture},
nomonth = aug,
year = {1997},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/1997-ECAL.pdf}
}
@inproceedings{Dinechin1997:ASAP,
author = {de Dinechin, Florent},
booktitle = {Application Specific Array Processors},
organization = {IEEE Computer Society Press},
title = {Libraries of Schedule-Free Operators in {Alpha}},
location = {Zurich, Switzerland},
nomonth = jul,
x-international-audience = {yes},
year = {1997},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/1997-ASAP.pdf}
}
@inproceedings{Dinechin1997:ParCo,
author = {de Dinechin, Florent and Risset, Tanguy and Robert, Sophie },
booktitle = {Parallel Computing},
location = {Bonn, Germany},
publisher = {Elsevier},
title = {Hierarchical Static Analysis for Improving the
Complexity of Linear Algebra Algorithms},
nomonth = sep,
x-international-audience = {yes},
year = {1997},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/1997-ParCo.pdf}
}
@phdthesis{Dinechin-thesis,
author = {de Dinechin, Florent},
title = {Syst\`emes structur\'es d'\'equations
r\'ecurrentes~: mise en \oe uvre dans le langage
Alpha et applications},
type = {thesis},
school = {universit\'{e} de Rennes I},
year = 1997,
x-international-audience = {no},
nomonth = jan,
pdf = {ftp://ftp.irisa.fr/techreports/theses/1997/dupont.ps.gz}
}
@inproceedings{Dinechin1998:FPL,
author = {Luk, W. and Andreou, P. and Derbyshire, A. and
de Dinechin, F. and Rice, J. and Shirazi, N. and
Siganos, D.},
booktitle = {Field Programmable Logic and Applications},
location = {Tallin, Estonia},
pages = {169--178},
x-international-audience = {yes},
title = {A reconfigurable engine for real-time video
processing},
nomonth = aug,
year = {1998}
}
@inproceedings{Dinechin1999:FPGA,
author = {de Dinechin, Florent},
booktitle = {FPGA'99},
location = {Monterey, USA},
title = {Towards Adaptable Hierarchical Placement for
{FPGA}s},
nomonth = feb,
year = {1999},
x-international-audience = {yes},
note = {Also available as INRIA RR-3776 and LIP RR1999-50},
pdf = {ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-3776.ps.gz}
}
@inproceedings{Dinechin1999:Sympa,
author = {de Dinechin, Florent},
booktitle = {Sympa'5, cinqui\`eme symposium en architectures
nouvelles de machines},
address = {Rennes, France},
title = {Le prix du routage dans les {FPGAs}},
nomonth = jun,
x-international-audience = {no},
year = {1999}
}
@article{Dinechin2000:JUCS,
author = {de Dinechin, Florent},
title = {The Price of Routing in {FPGA}s},
journal = {Journal of Universal Computer Science},
volume = 6,
number = 2,
pages = {227--239},
nomonth = feb,
x-international-audience = {yes},
year = {2000},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2000-JUCS.pdf}
}
@inproceedings{DinLef2000:enregle,
author = {de Dinechin, Florent and Vincent Lef\`evre},
title = {Constant Multipliers for {FPGA}s},
longbooktitle = {2nd Intl Workshop on Engineering of Reconfigurable Hardware/Software Objects ({ENREGLE}), Parallel and Distributed Processing Techniques and Applications},
booktitle = {Parallel and Distributed Processing Techniques and Applications},
location = {Las Vegas, USA},
pages = {167--173},
nonomonth = jun,
year = 2000,
x-international-audience = {yes},
anote = {Also available as LIP research report 2000-18},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2000-ENREGLE.pdf}
}
@inproceedings{Dinechin2000:SPIE,
author = {de Dinechin, Florent and Arnaud Tisserand},
title = {Table-based methods comparison
for low-precision evaluation of the sine and cosine functions on {FPGA}s},
booktitle = {Advanced Signal Processing Algorithms, Architectures, and
Implementations},
noeditor = {F.~Luk},
year = 2000,
novolume = 4116,
x-international-audience = {yes},
location = {San Diego, California},
nomonth = aug
}
@article{Dinechin2001:TSI,
author = {de Dinechin, Florent},
title = {Le prix du routage dans les {FPGAs}},
journal = {Technique et science informatiques},
volume = 20,
number = 2,
year = 2001,
pages = {229--243},
x-international-audience = {no}
}
@inproceedings{Dinechin2001:Arith,
author = {de Dinechin, Florent and Tisserand, Arnaud},
title = {Some Improvements on Multipartite Table Methods},
booktitle = {15th Symposium on Computer Arithmetic},
noeditor = {Neil Burgess and Luigi Ciminiera},
year = 2001,
nolocation = {Vail, Colorado},
nomonth = jun,
pages = {128--135},
x-international-audience = {yes},
nonote = {Updated version of LIP research report 2000-38},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2001-Arith-multipartite.pdf}
}
@inproceedings{DefDinMul2001:SPIE,
author = {David Defour and F. de Dinechin and Jean-Michel Muller},
title = {Correctly Rounded Exponential Function in Double Precision Arithmetic},
booktitle = {Advanced Signal Processing Algorithms, Architectures, and
Implementations},
year = 2001,
nolocation = {San Diego, California},
nomonth = aug,
x-international-audience = {yes},
anote = {Also available as LIP research report 2001-26}
}
@proceedings{Dinechin2001:RSRCP,
editor = {Daumas, M. and de Dinechin, Florent and Tisserand, Arnaud},
journal = {R\'eseaux et syst\`emes r\'epartis, calculateurs parall\`eles},
title = {Introduction \`a l'arithm\'etique des ordinateurs},
year = {2001},
volume = {13},
page = {327-356},
x-international-audience = {no}
}
@inproceedings{DinDet2002:RAW,
author = {Florent de Dinechin and J\'er\'emie Detrey},
title = {Multipartite Tables in {JBits} for the Evaluation of Functions on {FPGA}s},
booktitle = {IEEE Reconfigurable Architecture Workshop, International Parallel and Distributed Symposium},
year = 2002,
location = {Fort Lauderdale, Florida},
nomonth = apr,
anote = {Updated version of LIP research report 2001-44},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2002-RAW.pdf}
}
@inproceedings{DefDin2002:ICMS,
author = {Defour, David and de Dinechin, Florent},
title = {Software carry-save for fast multiple-precision algorithms},
booktitle = {35th International Congress of Mathematical Software},
year = 2002,
location = {Beijing, China},
x-international-audience = {yes},
anote = {Updated version of LIP research report 2002-08}
}
@inproceedings{DefDinMul2002:Asilomar,
author = {Defour, David and de Dinechin, Florent and
Muller, Jean-Michel},
title = {A new scheme for table-based evaluation of functions},
booktitle = {36th Asilomar Conference on Signals, Systems, and Computers},
year = 2002,
nomonth = nov,
x-international-audience = {yes},
location = {Pacific Grove, California}
}
@inproceedings{Dinechin2002:FDL,
author = {de Dinechin, Florent and Risset, Tanguy and Manjunathaiah, Manju and Spivey, Michael},
title = {Design of highly parallel architectures with {Alpha} and {Handel}},
booktitle = {Forum on Design Languages},
year = 2002,
nomonth = sep,
x-international-audience = {yes},
location = {Marseille, France}
}
@inproceedings{DinDef2003:PaCT,
author = {de Dinechin, Florent and Defour, David},
title = {Software Carry-Save: A case study for instruction-level parallelism},
booktitle = {Seventh International Conference on Parallel Computing Technologies},
year = 2003,
nomonth = sep,
location = {Nizhny Novgorod, Russia},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2003-PACT.pdf}
}
@inproceedings{DefDarDinMul2003:SPIE,
author = {David Defour and Catherine Daramy and de Dinechin, Florent and Muller, Jean-Michel},
title = {{CR-LIBM}: a correctly rounded elementary function library},
booktitle = {Advanced Signal Processing Algorithms, Architectures, and
Implementations},
x-international-audience = {yes},
year = {2003}
}
@inproceedings{DetDin2003:sympaaa,
author = {Detrey, J\'er\'emie and de Dinechin, Florent},
title = {Outils pour une comparaison sans a priori entre
arithm\'etique logarithmique et arithm\'etique
flottante},
booktitle = {Actes de RenPar'15, CFSE'3 et SympAAA'2003},
editor = {M. Auguin and F. Baude and D. Lavenier and
M. Riveill},
year = 2003,
nomonth = oct,
x-international-audience = {no},
national = fr
}
@inproceedings{DetDin2003:Asilomar,
author = {Detrey, J\'er\'emie and de Dinechin, Florent},
title = {A {VHDL} Library of {LNS} Operators},
booktitle = {37th Asilomar Conference on Signals, Systems and Computers},
year = 2003,
nomonth = oct,
x-international-audience = {yes},
location = {Pacific Grove, USA}
}
@incollection{DinechinRisset2003:SSDL,
author = {de Dinechin, Florent and Risset, Tanguy and Manjunathaiah, Manju and Spivey, Michael},
chapter = {Design of highly parallel architectures with {Alpha} and {Handel}},
title = {System Specification and Design Languages (best of {FDL}'02)},
year = 2003,
x-international-audience = {yes},
publisher = {Kluwer}
}
@techreport{crlibmdoc,
title = {{CR-LIBM}: A library of correctly rounded elementary functions in double-precision},
author = {Daramy-Loirat, Catherine and Defour, David and de Dinechin, Florent and Gallet, Matthieu and Gast, Nicolas and Lauter, Christoph and Muller, Jean-Michel},
note = {https://hal-ens-lyon.archives-ouvertes.fr/ensl-01529804},
type = {Research Report},
institution = {LIP},
year = {2006},
month = dec,
nokeywords = {elementary functions ; correct rounding ; floating-point arithmetic},
pdf = {https://hal-ens-lyon.archives-ouvertes.fr/ensl-01529804/file/crlibm.pdf},
hal_id = {ensl-01529804},
hal_version = {v1}
}
@techreport{DinDefLau2004LIP,
author = {de Dinechin, Florent and David Defour and Lauter, Ch. Q.},
title = {Fast correct rounding of elementary functions
in double precision using double-extended arithmetic},
institution = {LIP, \'Ecole Normale Sup\'erieure de Lyon},
year = 2004,
number = {2004-10},
nomonth = mar,
znote = {Submitted to Transactions on Mathematical Software},
anote = {Available at \url{http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2004/RR2004-10.pdf}}
}
@inproceedings{DetDin2004:FPL,
author = {Detrey, J\'er\'emie and de Dinechin, Florent},
title = {Second Order Function Approximation
Using a Single Multiplication on {FPGAs}},
booktitle = {14th Intl Conference on Field-Programmable Logic and Applications (LNCS 3203)},
publisher = {Springer},
pages = {221--230},
year = 2004,
nomonth = aug,
location = {Antwerp, Belgium},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2004-FPL.pdf}
}
@inproceedings{DinLoiMul2004:RNC,
author = {de Dinechin, Florent and Loirat, Catherine and Muller, Jean-Michel},
title = {A proven correctly rounded logarithm in double-precision},
booktitle = {RNC6, Real Numbers and Computers},
year = 2004,
nomonth = nov,
x-international-audience = {yes},
location = {Schloss Dagstuhl, Germany}
}
@article{DetDin2005:TSI,
author = {Detrey, J\'er\'emie and de Dinechin, Florent},
title = {Outils pour une comparaison sans a priori entre
arithm\'etique logarithmique et arithm\'etique
flottante},
journal = {Technique et science informatiques},
year = 2005,
volume = 24,
number = 6,
pages = {625--643},
x-international-audience = {no}
}
@article{DinTis2005:IEEETC,
author = {de Dinechin, Florent and Tisserand, Arnaud},
title = {Multipartite table methods},
journal = {{IEEE} Transactions on Computers},
year = 2005,
volume = 54,
number = 3,
pages = {319--330},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2005-TC-Multipartite.pdf}
}
@inproceedings{DetDin2005:asap,
author = {Detrey, J\'er\'emie and de Dinechin, Florent},
title = {Table-based polynomials for fast hardware function
evaluation},
longbooktitle = {16th Intl Conference on
Application-specific Systems, Architectures and Processors},
booktitle = {Application-specific Systems, Architectures and Processors},
publisher = {IEEE},
nonomonth = jul,
location = {Samos, Greece},
year = 2005,
pages = {328--333},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2005-ASAP.pdf}
}
@inproceedings{DetDin2005:asilomar,
author = {J\'er\'emie Detrey and de Dinechin, Florent},
title = {A Parameterizable Floating-Point Logarithm Operator for {FPGA}s},
booktitle = {39th Asilomar Conference on Signals, Systems \& Computers},
year = 2005,
location = {Pacific Grove, California, USA},
nonomonth = nov,
publisher = {IEEE},
longpublisher = {IEEE Signal Processing Society},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2005-Asilomar.pdf}
}
@inproceedings{DetDin2005:fpt,
author = {J\'er\'emie Detrey and de Dinechin, Florent},
title = {A Parameterized Floating-Point Exponential Function for {FPGA}s},
longbooktitle = {IEEE International Conference on Field-Programmable Technology (FPT'05)},
booktitle = {Field-Programmable Technology},
year = 2005,
location = {Singapore},
nomonth = dec,
publisher = {IEEE},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2005-FPT.pdf}
}
@inproceedings{DinErshGast2005:Arith,
author = {de Dinechin, Florent and Ershov, Alexey and Gast, Nicolas},
title = {Towards the post-ultimate libm},
booktitle = {17th Symposium on Computer Arithmetic},
year = 2005,
location = {Cape Cod, Massachussets},
publisher = {IEEE},
nomonth = jun,
pages = {288--295},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2005-Arith-libm.pdf}
}
@inproceedings{DinLauMel06:SAC,
author = {de Dinechin, Florent and {\relax Ch}ristoph Lauter and Guillaume Melquiond},
title = {Assisted verification of elementary functions using {G}appa},
booktitle = {Proceedings of the 2006 ACM Symposium on Applied Computing},
pages = {1318--1322},
adress = {Dijon, France},
x-international-audience = {yes},
year = {2006}
}
@article{DinVil2006:NIMPR,
author = {de Dinechin, Florent and Villard, G.},
title = {High precision numerical accuracy in physics research},
journal = {Nuclear Inst. and Methods in Physics Research, A},
year = 2006,
pages = {207--210},
x-international-audience = {yes},
volume = {559}
}
@inproceedings{DinMcInSchm2006:ICAP,
author = {de Dinechin, Florent and McIntosh, Eric and Schmidt, Franck},
title = {Massive Tracking on Heterogeneous Platforms},
booktitle = {9th International Computational
Accelerator Physics Conference (ICAP)},
nomonth = oct,
x-international-audience = {yes},
year = 2006
}
@inproceedings{ColDetDin2006:dsd,
author = {Caroline Collange and J\'er\'emie Detrey and de Dinechin, Florent},
title = {Floating point or {LNS}: choosing the right arithmetic on an application basis},
booktitle = {9th Euromicro Conference on Digital System Design: Architectures, Methods and Tools ({DSD}'2006)},
pages = {197--203},
address = {Dubrovnik, Croatia},
publisher = {IEEE},
nomonth = aug,
year = 2006,
doi = {10.1109/DSD.2006.54},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2006-DSD.pdf}
}
@inproceedings{DinMaid2006:RNC,
author = {de Dinechin, Florent and Maidanov, Sergey},
title = {Software techniques for perfect elementary functions in floating-point interval arithmetic},
booktitle = {Real Numbers and Computers},
year = 2006,
nomonth = jul,
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2006-RNC.pdf}
}
@inproceedings{Din2006:Scan,
author = {de Dinechin, Florent},
title = {Elementary functions for double-precision interval arithmetic},
booktitle = {Scientific Computing, Computer Arithmetic and Validated Numerics},
organization = {{GAMM} - {IMACS}},
year = 2006,
x-international-audience = {yes},
nomonth = jul
}
@inproceedings{DetDin2006:sympa,
author = {J\'er\'emie Detrey and de Dinechin, Florent },
title = {Op\'erateurs trigonom\'etriques en virgule flottante sur {FPGA}},
booktitle = {RenPar'17, SympA'2006, CFSE'5 et JC'2006},
pages = {96--105},
address = {Perpignan, France},
nomonth = oct,
year = 2006,
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2006-Sympaaa.pdf}
}
@article{DetDin2007:JVLSISP,
author = {J\'er\'emie Detrey and de Dinechin, Florent},
title = {A tool for unbiased comparison between logarithmic and
floating-point arithmetic},
journal = {Journal of {VLSI} Signal Processing},
publisher = {Springer},
volume = 49,
number = 1,
pages = {161--175},
doi = {10.1007/s11265-007-0048-7},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2007-JVLSISP.pdf},
x-international-audience = {yes},
year = 2007
}
@inproceedings{DetDinPuj2007:Arith,
author = {J\'er\'emie Detrey and de Dinechin, Florent and Pujol, Xavier},
title = {Return of the hardware floating-point elementary function},
booktitle = {18th Symposium on Computer Arithmetic},
year = 2007,
location = {Montpellier, France},
longpublisher = {IEEE Computer Society Press},
publisher = {IEEE},
nomonth = jun,
pages = {161--168},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2007-Arith-ReturnHardFPFun.pdf}
}
@article{DetDin2007:JMM,
author = {J\'er\'emie Detrey and de Dinechin, Florent},
title = {Parameterized floating-point logarithm and exponential functions for {FPGAs}},
journal = {Microprocessors and Microsystems, Special Issue on {FPGA}-based Reconfigurable Computing},
volume = 31,
number = 8,
pages = {537--545},
nomonth = dec,
publisher = {Elsevier},
year = 2007,
doi = {10.1016/j.micpro.2006.02.008},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2006-JMM.pdf}
}
@article{DinLauMul2007:log,
author = {de Dinechin, Florent and Lauter, {\relax Ch}ristoph Quirin and Muller, Jean-Michel},
title = {Fast and correctly rounded logarithms in double-precision},
journal = {Theoretical Informatics and Applications},
year = 2007,
volume = 41,
pages = {85-102},
publisher = {{EDP} Sciences},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2007-TIA.pdf}
}
@techreport{CretDinechin2007:fpfpga,
author = {de Dinechin, Florent and Detrey, J\'er\'emie and Octavian Cre\c{t} and Radu Tudoran},
title = {When {FPGA}s are better at floating-point than microprocessors},
number = {ensl-00174627},
nourl = {http://prunel.ccsd.cnrs.fr/ensl-00174627},
note = {http://prunel.ccsd.cnrs.fr/ensl-00174627},
institution = {\'ENS Lyon},
year = 2007
}
@inproceedings{DetDin2007:FPL,
author = {Detrey, J\'er\'emie and de Dinechin, Florent},
title = {Floating-Point Trigonometric Functions for {FPGAs}},
booktitle = {Field-Programmable Logic and Applications},
publisher = {IEEE},
pages = {29-34},
year = 2007,
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2007-FPL-SinCos.pdf},
nomonth = aug,
x-international-audience = {yes},
location = {Amsterdam, Netherlands}
}
@inproceedings{CretDin2008:BioDevices,
author = {Ionu\c{t} Trestian and Octavian Cre\c{t}
and Laura Cre\c{t} and Lucia V\v{a}cariu and Radu Tudoran
and de Dinechin, Florent},
title = {{FPGA}-based Computation of the Inductance of Coils Used for the Magnetic Stimulation of the Nervous System},
booktitle = {Biomedical Electronics and Devices},
volume = 1,
pages = {151-155},
mon = jan,
x-international-audience = {yes},
x-proceedings = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2008-BioDevices.pdf},
year = 2008
}
@phdthesis{Dinechin2007:hdr,
author = {de Dinechin, Florent},
title = {Mat\'eriel et logiciel pour l'\'evaluation de fonctions num\'eriques. Pr\'ecision, performance et validation},
howpublished = {Habilitation thesis},
nohowpublished = {M\'emoire d'habilitation \`a diriger les recherches},
school = {Universit\'e Claude Bernard - Lyon 1},
nomonth = jun,
x-international-audience = {no},
pdf = {http://www.ens-lyon.fr/LIP/Pub/Rapports/HDR/HDR2007/HDR2007-01.pdf},
year = 2007
}
@inproceedings{BrisDinMul2007:sympaaa,
author = {N. Brisebarre and
de Dinechin, F. and
Muller, J.-M.},
title = {Multiplieurs et diviseurs constants en virgule flottante
avec arrondi correct},
booktitle = {RenPar'18, SympA'2008, CFSE'6},
x-international-audience = {no},
x-proceedings = {yes},
year = {2008}
}
@article{DetDin2008:tsi,
author = {Detrey, J\'er\'emie and de Dinechin, Florent},
title = {Fonctions \'el\'ementaires en virgule flottante pour les
acc\'el\'erateurs reconfigurables},
booktitle = {Architecture des Ordinateurs},
volume = 27,
number = 6,
pages = {673--698},
journal = {Technique et Science Informatiques},
publisher = {Lavoisier},
x-international-audience = {no},
x-editorial-board = {yes},
year = 2008
}
@article{CretDin2007:ROMJIST,
author = {Octavian Cre\c{t}
and Ionu\c{t} Trestian and Radu Tudoran
and Laura Darabant and Lucia V\v{a}cariu
and de Dinechin, Florent},
title = {Accelerating The Computation of The Physical Parameters
Involved in Transcranial Magnetic Stimulation Using {FPGA} Devices.},
journal = {Romanian Journal of Information, Science and Technology},
year = 2007,
volume = 10,
number = 4,
x-international-audience = {yes},
x-editorial-board = {yes},
pages = {361-379}
}
@inbook{DinErcMulRev2008:survey,
author = {de Dinechin, Florent and Ercegovac, Milo{\v s} D. and Muller, Jean-Michel and Nathalie Revol},
title = {Encyclopedia of Computer Science and Engineering},
chapter = {Digital Arithmetic},
publisher = {Wiley},
x-international-audience = {yes},
year = 2008
}
@inproceedings{LauterDinechin2008:RNC,
author = {{\relax Ch}ristoph Lauter and de Dinechin, Florent},
title = {Optimising polynomials for floating-point implementation},
booktitle = {Real Numbers and Computers},
pages = {7--16},
x-international-audience = {yes},
x-proceedings = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2008-RNC.pdf},
year = {2008}
}
@inproceedings{BrisebarreMullerDinechin2008:ASAP,
author = {Nicolas Brisebarre and de Dinechin, Florent and Muller, Jean-Michel},
title = {Integer and Floating-Point Constant Multipliers for {FPGA}s},
booktitle = {Application-specific Systems, Architectures and Processors},
pages = {239--244},
publisher = {IEEE},
x-international-audience = {yes},
x-proceedings = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2008-ASAP-constmult.pdf},
year = {2008}
}
@inproceedings{DinechinPascaCret2008:FPT,
author = {de Dinechin, Florent and Bogdan Pasca and Octavian Cre\c{t} and Radu Tudoran},
title = {An {FPGA}-specific Approach
to Floating-Point Accumulation and Sum-of-Products},
booktitle = {Field-Programmable Technologies},
pages = {33--40},
publisher = {IEEE},
x-international-audience = {yes},
x-proceedings = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2008-FPT-accumulation.pdf},
year = {2008}
}
@inproceedings{DinechinKleinPasca2009:FPL,
title = {{G}enerating high-performance custom floating-point pipelines},
author = {de {D}inechin, {F}lorent and {K}lein, {C}ristian and {P}asca, {B}ogdan},
nokeywords = {architecture generator; floating-point; pipeline; computer arithmetic},
language = {{A}nglais},
booktitle = {Field Programmable Logic and Applications},
publisher = {{IEEE} },
pages = {59--64},
nonote = {{RR} {LIP} 2009-16 },
audience = {internationale },
x-international-audience = {yes},
x-proceedings = {yes},
noday = 31,
month = aug,
year = 2009,
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2009-FPL-FloPoCo.pdf},
nourl = {http://prunel.ccsd.cnrs.fr/ensl-00379154/}
}
@inproceedings{DinechinPasca2009:FPL,
title = {{L}arge multipliers with fewer {DSP} blocks},
author = {de Dinechin, Florent and Pasca, Bogdan},
nokeywords = {{FPGA};reconfigurable computing;integer multiplier;{K}aratsuba-{O}fman},
language = {{A}nglais},
affiliation = {{ARENAIRE} - {INRIA} {R}h{\^o}ne-{A}lpes / {LIP} {L}aboratoire de l'{I}nformatique du {P}arall{\'e}lisme - {INRIA} - {CNRS} : {UMR}5668 - {U}niversit{\'e} {C}laude {B}ernard - {L}yon {I} - {E}cole {N}ormale {S}up{\'e}rieure de {L}yon - {ENS} {L}yon },
publisher = {{IEEE} },
booktitle = {Field Programmable Logic and Applications},
audience = {internationale},
x-international-audience = {yes},
x-proceedings = {yes},
noday = 31,
month = aug,
pages = {250--255},
year = 2009,
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2009-FPL-Multipliers.pdf},
nourl = {http://prunel.ccsd.cnrs.fr/ensl-00356421/en/}
}
@inproceedings{DinechinJoldesPasca2009LIP,
author = {de Dinechin, Florent and Joldes, Mioara and Bogdan Pasca and Guillaume Revy},
title = {Racines carr{\'e}es multiplicatives sur {FPGA}},
booktitle = {{SYMP}osium en Architectures nouvelles
de machines ({SYMPA})},
year = 2009,
address = {Toulouse},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2009-Sympa-sqrt.pdf},
x-international-audience = {no},
month = sep
}
@book{MullerEtAl2009:HandBook,
title = {Handbook of Floating-Point Arithmetic},
author = {Muller, Jean-Michel and Brisebarre, Nicolas and de
Dinechin, Florent and Jeannerod, Claude-Pierre and
Lef{\`e}vre, Vincent and Melquiond, Guillaume and Revol,
Nathalie and Stehl{\'e}, Damien and Torres, Serge},
nokeywords = {{F}loating-{P}oint arithmetic; computer arithmetic;
arithmetic algorithms; arithmetic operators; numerical
computing},
language = {{A}nglais},
publisher = {{B}irkhauser {B}oston },
nonote = {{ACM} {G}.1.0; {G}.1.2; {G}.4; {B}.2.0; {B}.2.4; {F}.2.1.},
x-international-audience = {yes},
year = {2009}
}
@inproceedings{DinJolPas2010-poly,
author = {de Dinechin, Florent and Mioara Joldes and Bogdan Pasca},
title = {Automatic generation of polynomial-based hardware architectures for function evaluation},
booktitle = {Application-specific Systems, Architectures and Processors},
publisher = {IEEE},
x-international-audience = {yes},
x-proceedings = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2010-ASAP-Polynomials.pdf},
nourl = {http://prunel.ccsd.cnrs.fr/ensl-00470506/},
year = 2010
}
@inproceedings{BaDinPasTud2010,
author = {Sebastian Banescu and de Dinechin, Florent and Bogdan Pasca and Radu Tudoran},
title = {Multipliers for Floating-Point Double Precision and Beyond on {FPGA}s},
booktitle = {Highly-Efficient Accelerators and Reconfigurable Technologies},
x-international-audience = {yes},
x-proceedings = {yes},
nourl = {http://prunel.ccsd.cnrs.fr/ensl-00475781/},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2010-HEART-Multipliers.pdf},
year = 2010
}
@inproceedings{DinJolPasRev2010,
author = {de Dinechin, Florent and Mioara Joldes and Bogdan Pasca and Guillaume Revy},
title = {Multiplicative square root algorithms for {FPGA}s},
booktitle = {Field-Programmable Logic and Applications},
pages = {574--577},
x-international-audience = {yes},
x-proceedings = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2010-FPL-Sqrt.pdf},
year = 2010
}
@inproceedings{DinNguPas2010,
author = {de Dinechin, Florent and Nguyen, Hong Diep and Bogdan Pasca},
title = {Pipelined {FPGA} Adders},
booktitle = {Field-Programmable Logic and Applications},
pages = {422--427},
x-international-audience = {yes},
x-proceedings = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2010-FPL-Adders.pdf},
year = 2010
}
@inproceedings{lefevre:2010:inria-00542143:1,
author = {LefХvre, Vincent and ThИveny, Philippe and de Dinechin, Florent and Jeannerod, Claude-Pierre and Mouilleron, {\relax Ch}ristophe and Pfannholzer, David and Revol, Nathalie},
doi = {10.1145/1838599.1838622},
title = {{LEMA}: Towards a Language for Reliable Arithmetic},
booktitle = {International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010)},
year = {2010},
month = jun,
series = {ACM Communications in Computer Algebra},
publisher = {ACM},
volume = {44},
pages = {41-52},
noaddress = {France Paris},
x-international-audience = {yes},
x-proceedings = {yes},
url-hal = {http://hal.inria.fr/inria-00542143/en},
x-id-hal = {inria-00542143}
}
@techreport{2010-RR-FPLog,
author = {de Dinechin, Florent},
title = {A flexible floating-point logarithm for reconfigurable computers},
institution = {ENS-Lyon},
year = 2010,
url = {http://prunel.ccsd.cnrs.fr/ensl-00506122/},
type = {LIP Research Report RR2010-22}
}
@inproceedings{VazquezDinechin2010:FPT,
author = {Vazquez, Alvaro and de Dinechin, Florent},
title = {Efficient implementation of Parallel {BCD} Multiplication in {LUT}-6 {FPGA}s},
booktitle = {Field-Programmable Technology},
year = {2010},
pages = {126--133},
month = dec,
noaddress = {China Beijing},
x-international-audience = {yes},
x-proceedings = {yes},
nonote = {Best paper candidate.},
url-hal = {http://hal.inria.fr/inria-00546028/en},
x-id-hal = {inria-00546028},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2010-FPT-BCDMult.pdf}
}
@inproceedings{DinechinPasca2010-FPT,
author = {de Dinechin, Florent and Bogdan Pasca},
title = {Floating-point exponential functions for {DSP}-enabled {FPGA}s},
pages = {110--117},
booktitle = {Field Programmable Technologies},
x-international-audience = {yes},
x-proceedings = {yes},
nonote = {Best paper candidate.},
nourl = {http://prunel.ccsd.cnrs.fr/ensl-00506125/},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2010-FPT-Exp.pdf},
year = 2010,
month = dec
}
@article{DinechinLauterMelquiond2011:TC,
author = {de Dinechin, Florent and Lauter, {\relax Ch}ristoph and Melquiond, Guillaume},
doi = {10.1109/TC.2010.128},
title = {Certifying the floating-point implementation of an elementary function using {G}appa},
journal = {IEEE Transactions on Computers},
publisher = {IEEE},
pages = {242--253},
year = 2011,
month = feb,
volume = 60,
number = 2,
x-international-audience = {yes},
x-editorial-board = {yes},
url-hal = {http://hal.inria.fr/inria-00533968/en},
x-id-hal = {inria-00533968},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5483294},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2011-TC-ElemFun-Gappa.pdf}
}
@inproceedings{DinechinTakeugmingTanguy2010,
author = {de Dinechin, Florent and Takeugming, Honor\'e and Tanguy, Jean-Marc},
title = {A 128-Tap Complex {FIR} Filter Processing 20 Giga-Samples/s in a Single {FPGA}},
booktitle = {44th Asilomar Conference on Signals, Systems \& Computers},
year = 2010,
url-hal = {http://hal.inria.fr/ensl-00542950/en},
x-id-hal = {ensl-00542950},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2010-Asilomar-FIR.pdf}
}
@article{BanDinPaTu2010:ACMCAN,
author = {Banescu, Sebastian and de Dinechin, Florent and Pasca, Bogdan and Tudoran, Radu},
title = {Multipliers for floating-point double precision and beyond on {FPGAs}},
journal = {ACM SIGARCH Computer Architecture News},
volume = {38},
issue = {4},
nomonth = sep,
year = 2010,
noissn = {0163-5964},
pages = {73--79},
numpages = {7},
url = {http://doi.acm.org/10.1145/1926367.1926380},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2010-HEART-Multipliers.pdf},
noacmid = {1926380},
publisher = {ACM},
nodoi = {http://doi.acm.org/10.1145/1926367.1926380},
noaddress = {New York, NY, USA},
x-international-audience = {yes},
nokeywords = {floating-point, multiplier, quadruple precision, truncated multiplier}
}
@article{DinechinPasca2011-DaT,
author = {de Dinechin, Florent and Pasca, Bogdan},
title = {Designing Custom Arithmetic Data Paths with {FloPoCo}},
journal = {{IEEE} Design \& Test of Computers},
volume = 28,
number = 4,
pages = {18-27},
year = 2011,
month = jul,
x-international-audience = {yes},
x-editorial-board = {yes},
nourl = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5753874},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2011-DaT-FloPoCo.pdf},
x-id-hal = {ensl-00646282}
}
@inproceedings{dedinechin:2011:ensl-00642164:1,
author = {de Dinechin, Florent},
title = {The arithmetic operators you will never see in a microprocessor},
booktitle = {20th Symposium on Computer Arithmetic},
year = {2011},
month = jul,
publisher = {IEEE},
pages = {pp 189-190},
noaddress = {Germany},
x-international-audience = {yes},
x-proceedings = {yes},
nourl = {http://hal.inria.fr/ensl-00642164/en},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2011-Arith-Operators4FPGA.pdf},
x-id-hal = {ensl-00642164}
}
@inproceedings{dedinechin:2011:ensl-00640063:1,
author = {de Dinechin, Florent and Muller, Jean-Michel and Pasca, Bogdan and Plesco, Alexandru},
title = {{An FPGA architecture for solving the Table Maker's Dilemma}},
booktitle = {Application-Specific Systems, Architectures and Processors (ASAP)},
year = {2011},
doi = {10.1109/ASAP.2011.6043267},
publisher = {IEEE},
pages = {187-194},
note = {Best paper award},
address = {Santa Monica, United States},
x-international-audience = {yes},
x-proceedings = {yes},
nourl = {http://hal.inria.fr/ensl-00640063/en},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2011-ASAP-TMD-FPGA.pdf},
x-id-hal = {ensl-00640063}
}
@inproceedings{DinechinBrunieDinechin2011,
author = {Brunie, Nicolas and de Dinechin, Florent and Dupont de Dinechin, Beno{\^\i}t},
title = {A Mixed-precision Fused Multiply and Add},
booktitle = {45th Asilomar Conference on Signals, Systems \& Computers},
year = 2011,
url-hal = {http://hal.inria.fr/ensl-00542950/en},
x-id-hal = {ensl-00542950},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2011-Asilomar-MPFMA.pdf}
}
@inproceedings{dedinechin:2012:ensl-00642145:1,
author = {de Dinechin, Florent and Didier, Laurent-St{\'e}phane},
title = {Table-based division by small integer constants},
booktitle = {Applied Reconfigurable Computing},
year = {2012},
month = mar,
pages = {53-63},
noaddress = {Hong Kong},
x-international-audience = {yes},
x-proceedings = {yes},
nourl = {http://hal.inria.fr/ensl-00642145/en},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2012-ARC-LUTConstDiv.pdf},
x-id-hal = {ensl-00642145}
}
@inproceedings{Tchater2012,
author = {Eric Dutisseuil and Jean-Marc Tanguy and Adrian Voicila and R\'emi Laube and Francois Bore and Honore Takeugming and de Dinechin, Florent and Fr\'ederic Cerou and Gabriel Charlet},
title = {34 {G}b/s {PDM-QPSK} coherent receiver using {SiGe} {ADC}s and a single {FPGA} for digital signal processing },
booktitle = {Optical Fiber Communication},
year = 2012,
x-international-audience = {yes},
month = mar
}
@article{Dinechin2012-TCASII,
author = {de Dinechin, Florent},
title = {Multiplication by rational constants},
journal = {{IEEE} Transactions on Circuits and Systems, II},
year = 2012,
volume = 52,
number = 2,
month = feb,
pages = {98--102},
nourl = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6126071},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2012-TCASII-rational-constmult.pdf}
}
@article{DinechinEtAl-2013-power,
author = {de Dinechin, Florent and Pedro Echeverr\'{i}a and L\'opez-Vallejo, Marisa and Bogdan Pasca},
title = {Floating-Point Exponentiation Units for Reconfigurable Computing},
journal = {ACM Transactions on Reconfigurable Technology and Systems},
volume = 6,
number = 1,
year = 2013,
publisher = {ACM},
nourl = {http://dl.acm.org/citation.cfm?id=2457447},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2013-TRETS-Exponentiation.pdf}
}
@inbook{DinechinPasca2013:HPC,
author = {de Dinechin, Florent and Bogdan Pasca},
chapter = {Reconfigurable Arithmetic for High Performance Computing},
title = {High-Performance Computing using FPGAs},
noeditor = {Wim Vanderbauwhede and Khaled Benkrid},
pages = {631--664},
publisher = {Springer},
x-international-audience = {yes},
year = {2013},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2013-Arith4HPC-chapter.pdf}
}
@inproceedings{BruDinIstSer2013:Sympa,
author = {Nicolas Brunie and de Dinechin, Florent and Matei Istoan and Guillaume Sergent},
title = {L'arithmétique sur le tas},
booktitle = {Conférence en parallélisme, architecture et système (COMPAS)},
year = 2013,
noaddress = {Grenoble},
url = {http://hal-ens-lyon.archives-ouvertes.fr/ensl-00762990},
x-international-audience = {no},
month = jan
}
@inproceedings{BruDinDin:Sympa,
author = {Nicolas Brunie and Florent de Dinechin and Benoît de Dinechin},
title = {Conception d'une matrice reconfigurable pour coprocesseur fortement couplé},
booktitle = {Conférence en parallélisme, architecture et système (COMPAS)},
year = 2013,
noaddress = {Grenoble},
url = {http://hal-ens-lyon.archives-ouvertes.fr/ensl-00763067},
x-international-audience = {no},
month = jan
}
@article{DinMulLauTor2013:TOMS,
author = {de Dinechin, Florent and {\relax Ch}ristoph Lauter and Muller, Jean-Michel and Serge Torres},
title = {On {Z}iv's rounding test},
journal = {{ACM} Transactions on Mathematical Software},
volume = 39,
number = 4,
year = 2013,
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2013-TOMS-OnZivRoundingTest.pdf},
url = {http://dl.acm.org/citation.cfm?id=2491495}
}
@misc{MPFMA-patent,
author = {Brunie, Nicolas and de Dinechin, Florent and Dupont de Dinechin, Beno\^it},
title = {MIXED-PRECISION MERGED MULTIPLICATION AND ADDITION OPERATOR},
howpublished = {Patent WO/2012/175828},
day = 27,
month = dec,
x-international-audience = {yes},
year = 2012
}
@article{DinIstSer2013-HEART-SinCos,
title = {Fixed-Point Trigonometric Functions on {FPGA}s},
author = {de Dinechin, Florent and Istoan, Matei and Sergent, Guillaume},
journal = {SIGARCH Computer Architecture News},
volume = 41,
number = 5,
pages = {83-88},
year = 2013,
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2013-HEART-SinCos.pdf},
x-international-audience = {yes}
}
@inproceedings{DinIstSer2013-FPL-BitHeap,
title = {Arithmetic core generation using bit heaps},
author = {Brunie, Nicolas and de Dinechin, Florent and Istoan, Matei and Sergent, Guillaume and Illyes, Kinga and Popa, Bogdan},
year = {2013},
month = sep,
booktitle = {Field-Programmable Logic and Applications},
x-international-audience = {yes},
x-proceedings = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2013-FPL-BitHeap.pdf}
}
@inbook{DinMul2015:Princeton,
author = {de Dinechin, Florent and Muller, Jean-Michel},
title = {Princeton Companion to Applied Mathematics},
chapter = {Evaluating elementary functions},
editor = {Higham, Nicholas J.},
x-international-audience = {yes},
pp = {759-761},
year = {2015}
}
@inproceedings{DinIstoMas2014-SOPCJR,
author = {de Dinechin, Florent and Matei Istoan and Abdelbassat Massouri},
title = {Sum-of-Product Architectures Computing Just Right},
booktitle = {Application-Specific Systems, Architectures and Processors (ASAP)},
year = 2014,
url = {http://hal.inria.fr/hal-00957609},
pdf = {http://hal.inria.fr/hal-00957609/PDF/SoPCCJR.pdf},
publisher = {IEEE},
x-international-audience = {yes}
}
@inproceedings{DinIsto2015,
author = {de Dinechin, Florent and Matei Istoan},
title = {Hardware implementations of fixed-point {Atan2}},
booktitle = {22nd IEEE Symposium of Computer Arithmetic (ARITH-22)},
year = {2015},
pages = {34--41},
month = jun,
nopublisher = {IEEE},
x-international-audience = {yes},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2015-Arith-FixAtan2.pdf}
}
@inproceedings{Din2015-metalibm,
author = {Nicolas Brunie and de Dinechin, Florent and Olga Kupriianova and {\relax Ch}ristoph Lauter},
title = {Code generators for mathematical functions},
booktitle = {22nd Symposium of Computer Arithmetic},
note = {Best paper award},
year = {2015},
month = jun,
publisher = {IEEE},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2015-Arith-metalibm.pdf},
x-international-audience = {yes}
}
@inproceedings{lemaireEtAl:FixPointLog:2016,
title = {Computing floating-point logarithms with fixed-point operations},
author = {Le Maire, Julien and Brunie, Nicolas and de Dinechin, Florent and Muller, Jean-Michel},
booktitle = {23rd Symposium of Computer Arithmetic},
year = {2016},
month = jul,
url = {https://hal.archives-ouvertes.fr/hal-01227877},
pdf = {https://hal.archives-ouvertes.fr/hal-01227877/file/2015-FixFloat.pdf},
hal_id = {hal-01227877},
hal_version = {v1},
x-international-audience = {yes}
}
@inproceedings{IstoanDinechin2016,
title = {Pipeline automatique d'opérateurs dans FloPoCo 5.0},
author = {Matei Istoan and de Dinechin, Florent},
booktitle = {{COMPAS'2016: Conf{\'e}rence d'informatique en Parall{\'e}lisme, Architecture et Syst{\`e}me}},
year = {2016},
x-international-audience = {no},
month = jul
}
@unpublished{Uguen-compas2016,
title = {Optimisations arithmétiques en contexte pour la synthèse de haut niveau},
author = {Yohann Uguen and de Dinechin, Florent and Steven Derrien},
year = {2016},
note = {Presented at COMPAS 2016}
}
@article{Abdoli-2016,
title = {Improving Energy Efficiency of {OFDM} Using Adaptive-Precision Reconfigurable {FFT}},
author = {Abdoli, Hatam and Hooman Nikmehr and Naser Movahedinia and de Dinechin, Florent},
journal = {Circuits, Systems, and Signal Processing},
publisher = {Springer},
novolume = 41,
nonumber = 5,
pages = {1-25},
doi = {10.1007/s00034-016-0435-z},
year = 2016,
x-international-audience = {yes}
}
@inproceedings{istoan:hal-01373937,
title = {Automating the pipeline of arithmetic datapaths},
author = {Istoan, Matei and de Dinechin, Florent},
nourl = {https://hal.inria.fr/hal-01373937},
booktitle = {DATE 2017},
address = {Lausanne, Switzerland},
year = {2017},
month = mar,
pdf = {https://hal.inria.fr/hal-01373937/file/flopoco_new_pipeline.pdf},
hal_id = {hal-01373937},
hal_version = {v2},
x-international-audience = {yes}
}
@unpublished{uguen:hal-01488916,
title = {Design-space exploration for the {Kulisch} accumulator},
author = {Uguen, Yohann and de Dinechin, Florent},
url = {https://hal.archives-ouvertes.fr/hal-01488916},
note = {},
year = {2017},
month = mar,
pdf = {https://hal.archives-ouvertes.fr/hal-01488916v1/file/kulisch-acc-hal-2017.pdf},
eprinttype = {HAL},
hal_id = {hal-01488916},
hal_version = {v1}
}
@article{UgurdagEtAl2017,
author = {Ugurdag, H. Fatih and de Dinechin, Florent and Gener, Y. Serhan
and Sezer G\"oren and Didier, Laurent-St\'ephane},
title = {Hardware division by small integer constants},
journal = {IEEE Transactions on Computers},
nopublisher = {IEEE},
volume = 66,
number = 12,
pages = {2097--2110},
pdf = {https://hal.inria.fr/hal-01402252v2/file/07933010%20%281%29.pdf},
url = {https://hal.inria.fr/hal-01402252v2/},
year = 2017
}
@inproceedings{UguenDinDerrien2017,
title = {{Bridging High-Level Synthesis and Application-Specific Arithmetic: The Case Study of Floating-Point Summations}},
author = {Uguen, Yohann and de Dinechin, Florent and Derrien, Steven},
url = {https://hal.inria.fr/hal-01373954},
booktitle = {{27th International Conference on Field-Programmable Logic and Applications (FPL)}},
noaddress = {Gent, Belgium},
organization = {{IEEE}},
nopages = {8},
year = {2017},
month = sep,
pdf = {https://hal.inria.fr/hal-01373954/file/2017-FPL.pdf}
}
@inproceedings{Bocco2017,
author = {Andrea Bocco and Yves Durand and de Dinechin, Florent},
title = {Hardware support for {UNUM} floating point arithmetic},
booktitle = {13th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME)},
year = 2017,
month = jun
}
@inproceedings{ddmr2018,
author = {de Dinechin, Florent and Maxime Darrin and Antonin Dudermel and Sébastien Michelland and Alban Reynaud},
title = {Une architecture minimisant les échanges entre processeur et mémoire},
booktitle = {Conférence en parallélisme, architecture et système (COMPAS)},
year = 2018,
noaddress = {Toulouse},
url = {http://hal-ens-lyon.archives-ouvertes.fr/ensl-00762990},
month = jul
}
@inproceedings{KummEtAl2018,
author = {Martin Kumm and Oscar Gustafsson and de Dinechin, Florent and Johannes Kappauf and Peter Zipf},
title = {{K}aratsuba with Rectangular Multipliers for {FPGA}s},
booktitle = {25th IEEE Symposium of Computer Arithmetic (ARITH-25)},
year = {2018},
month = jun,
note = {Best paper award},
nopublisher = {IEEE},
pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2018-Arith-rectangularKaratsuba.pdf}
}
@book{MullerEtAl2018:HandBook,
author = {
Muller, Jean-Michel
and Brunie, Nicolas
and de Dinechin, Florent
and Jeannerod, Claude-Pierre
and Joldes, Mioara
and Lef{\`e}vre, Vincent
and Melquiond, Guillaume
and Revol, Nathalie
and Torres, Serge},
publisher = {{B}irkhauser {B}oston},
title = {Handbook of Floating-Point Arithmetic, 2nd edition},
year = {2018},
isbn = {978-3319765259},
language = {{A}nglais}
}
@inproceedings{Bocco2019-CoNGA,
author = {Andrea Bocco and Yves Durand and de Dinechin, Florent},
title = {{SMURF}: Scalar Multiple-precision Unum {Risc-V} Floating-point Accelerator for Scientific Computing},
booktitle = {Conference on Next-Generation Arithmetic},
year = 2019,
month = mar,
pdf = {https://hal.inria.fr/hal-02087098}
}
@inproceedings{dinechin2019-CoNGA,
author = {de Dinechin, Florent and Luc Forget and Muller, Jean-Michel and Yohann Uguen},
title = {Posits: the good, the bad and the ugly},
booktitle = {Conference on Next-Generation Arithmetic},
pdf = {https://hal.inria.fr/hal-01959581},
year = 2019,
month = mar
}
@article{VIDH2019,
title = {Towards Hardware {IIR} Filters Computing Just Right: Direct Form {I} Case Study},
author = {Volkova, Anastasia and Istoan, Matei and de Dinechin, Florent and Hilaire, Thibault},
volume = 68,
number = 4,
journal = {IEEE Transactions on Computers},
nourl = {http://hal.upmc.fr/hal-01561052},
nodoi = {10.1109/TC.2018.2879432},
year = {2019},
month = apr,
pdf = {http://hal.upmc.fr/hal-01561052/file/LTICJR.pdf},
url = {http://hal.upmc.fr/hal-01561052/}
}
@inproceedings{deDinechinEtAl2019-Arith-KCMvsSA,
author = {de Dinechin, Florent and Filip, Silviu-Ioan and Luc Forget and Martin Kumm},
title = {Table-Based versus Shift-And-Add constant multipliers for {FPGA}s},
booktitle = {26th IEEE Symposium of Computer Arithmetic (ARITH-26)},
year = {2019},
month = jun,
url = {https://hal.inria.fr/hal-02147078/},
pdf = {https://hal.inria.fr/hal-02147078/file/2019-TruncatedCM.pdf},
nopublisher = {IEEE}
}
@inproceedings{BoccoEtAl2019-Arith,
author = {Andrea Bocco and Yves Durand and de Dinechin, Florent},
title = {Dynamic Precision Numerics Using a Variable-Precision {UNUM} type {I} {HW} Coprocessor},
booktitle = {26th IEEE Symposium of Computer Arithmetic (ARITH-26)},
year = {2019},
month = jun,
nopublisher = {IEEE}
}
@inproceedings{deDinechin2019-10years,
author = {de Dinechin, Florent},
title = {Reflections on 10 years of {FloPoCo}},
booktitle = {26th IEEE Symposium of Computer Arithmetic (ARITH-26)},
year = {2019},
month = jun,
url = {https://hal.inria.fr/hal-02161527/},
pdf = {https://hal.inria.fr/hal-03220258/file/2021-Arith-Filters.pdf},
nopublisher = {IEEE}
}
@inproceedings{forget:hal-02131798,
title = {A type-safe arbitrary precision arithmetic portability
layer for {HLS} tools},
author = {Luc Forget and Yohann Uguen and
de Dinechin, Florent and Thomas, David},
url = {https://hal.inria.fr/hal-02131798},
booktitle = {{HEART 2019 - International Symposium on Highly Efficient
Accelerators and Reconfigurable Technologies}},
noaddress = {Nagasaki, Japan},
nopages = {1-6},
year = {2019},
month = jun,
nodoi = {10.1145/3337801.3337809},
nokeywords = {arithmetic ; arbitrary precision ; HLS ; floating-point},
pdf = {https://hal.inria.fr/hal-02131798v2/file/hal_hint.pdf}
}
@inproceedings{bocco-carrv,
title = {Variable Precision Floating-Point {RISC-V} Coprocessor Evaluation using Lightweight Software and Compiler Support},
author = {Jost, Tiago Trevisan and Andrea Bocco and Yves Durand and Christian Fabre and de Dinechin, Florent and Albert Cohen},
booktitle = {Third Workshop on Computer Architecture Research with RISC-V (CARRV)},
year = {2019},
month = jun
}
@inproceedings{uguen:hal-02130912,
title = {{Evaluating the hardware cost of the posit number system}},
author = {Uguen, Yohann and Forget, Luc and de Dinechin, Florent},
url = {https://hal.inria.fr/hal-02130912},
booktitle = {29th International Conference on Field-Programmable Logic and Applications (FPL)},
address = {Barcelona, Spain},
year = {2019},
month = sep,
pdf = {https://hal.inria.fr/hal-02130912/file/hal_marto_v3.pdf}
}
@inproceedings{bocco-vlsi-soc,
title = {Byte-Aware Floating-point Operations through a {UNUM} Computing Unit},
author = {Andrea Bocco and Jost, Tiago Trevisan and Albert Cohen and de Dinechin, Florent and Yves Durand and Christian Fabre},
booktitle = {27th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI SOC)},
year = {2019},
month = oct
}
@article{uguen2020,
author = {Uguen, Yohann and de Dinechin, Florent and Lezaud, Victor and Derrien, Steven},
title = {Application-Specific Arithmetic in High-Level Synthesis Tools},
year = {2020},
journal = {Transactions on Architecture and Code Optimization},
publisher = {ACM},
volume = {17},
pdf = {https://hal.archives-ouvertes.fr/hal-02423363v3/file/hal-hls-arith-v2.pdf},
number = {1},
nodoi = {10.1145/3377403}
}
@inproceedings{guntoroEtAl2020,
title = {Next generation arithmetic for edge computing},
author = {Guntoro, Andre and De La Parra, Cecilia and Merchant, Farhad and de Dinechin, Florent and Gustafson, John L. and Langhammer, Martin and Leupers, Rainer and Nambiar, Sangeeth},
booktitle = {Design, Automation \& Test in Europe (DATE)},
pages = {1357--1365},
year = {2020},
organization = {IEEE}
}
@inproceedings{DFKA:filters2021,
author = {de Dinechin, Florent and Silviu Filip and Martin Kumm and Anastasia Volkova},
title = {Towards arithmetic-centered filter design},
booktitle = {28th IEEE Symposium of Computer Arithmetic (ARITH-28)},
year = {2021},
month = jun,
pdf = {https://hal.inria.fr/hal-03220258/file/2021-Arith-Filters.pdf},
url = {https://hal.inria.fr/hal-03220258/},
nopublisher = {IEEE}
}
@inproceedings{BoetcherEtAl:truncmult2021,
author = {Andreas B\"ottcher and Martin Kumm and de Dinechin, Florent},
title = {Resource Optimal Truncated Multipliers for {FPGA}s},
booktitle = {28th IEEE Symposium of Computer Arithmetic (ARITH-28)},
year = {2021},
month = jun,
url = {https://hal.inria.fr/hal-03220258/},
pdf = {https://hal.inria.fr/hal-03220258/file/2021-Arith-Filters.pdf},
nopublisher = {IEEE}
}
@unpublished{fud2021:posit,
title = {Comparing posit and IEEE-754 hardware cost},
author = {Forget, Luc and Uguen, Yohann and de Dinechin, Florent},
url = {https://hal.science/hal-03195756},
year = {2021},
nomonth = apr,
nopdf = {https://hal.science/hal-03195756v3/file/2021_Posit_IEEE754_Hardware_Cost.pdf},
noeprint = {hal-03195756},
eprinttype = {HAL}
}
@article{ChristEtAl2022:LDTC,
title = {Lossless Differential Table Compression for Hardware Function Evaluation},
author = {Christ, Maxime and Forget, Luc and de Dinechin, Florent},
url = {https://hal.archives-ouvertes.fr/hal-03040364},
journal = {IEEE Transactions on Circuits and Systems II: Express Briefs},
volume = {69},
number = {3},
pages = {1642-1646},
publisher = {{Institute of Electrical and Electronics Engineers}},
year = {2022},
month = mar,
pdf = {https://hal.archives-ouvertes.fr/hal-03040364v2/file/2021-TCASII-TableCompression.pdf},
hal_id = {hal-03040364},
hal_version = {v2}
}
@inproceedings{ChristF2DiPetrot2022:LNSNN,
author = {Christ, Maxime and de Dinechin, Florent and P{\'e}trot, Fr{\'e}d{\'e}ric},
title = {Low-precision logarithmic arithmetic for neural network accelerators},
booktitle = {Application-Specific Systems, Architectures and Processors (ASAP)},
url = {https://hal.inria.fr/hal-03684585},
year = 2022,
pdf = {https://hal.inria.fr/hal-03684585/file/LNSNeuron_asap2022.pdf},
noaddress = {Gothenburg, Sweden},
publisher = {IEEE}
}
@inproceedings{bottcher2022-squarers,
title = {{Resource Optimal Squarers for FPGAs}},
author = {B{\"o}ttcher, Andreas and Kumm, Martin and de Dinechin, Florent},
url = {https://hal.inria.fr/hal-03922311},
booktitle = {{International Conference on Field-Programmable Logic and Applications (FPL)}},
noaddress = {Belfast, United Kingdom},
publisher = {{IEEE}},
year = {2022},
month = aug,
doi = {10.1109/FPL57034.2022.00018},
nokeywords = {squarer multiplier tiling compressor tree integer linear programming computer arithmetic ; squarer ; multiplier tiling ; compressor tree ; integer linear programming ; computer arithmetic},
pdf = {https://hal.inria.fr/hal-03922311/file/2022-FPL-Squarers.pdf},
hal_id = {hal-03922311},
hal_version = {v1}
}
@inproceedings{Desrentes2022-FPT,
title = {{Using integer linear programming for correctly rounded multipartite architectures}},
author = {Desrentes, Or{\'e}gane and de Dinechin, Florent},
url = {https://hal.inria.fr/hal-03844218},
booktitle = {International Conference on Field Programmable Technology},
noaddress = {Hong Kong, China},
year = {2022},
month = dec,
pdf = {https://hal.inria.fr/hal-03844218/file/2022-mpt-ilp.pdf},
hal_id = {hal-03844218},
hal_version = {v1}
}
@inproceedings{forget:hal-03684757,
title = {{A single-source C++20 HLS flow for function evaluation on FPGA and beyond}},
author = {Forget, Luc and Harnisch, Gauthier and Keryell, Ronan and de Dinechin, Florent},
url = {https://hal.inria.fr/hal-03684757},
booktitle = {{HEART 2022 - 12th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies}},
noaddress = {Tsukuba, Japan},
year = {2022},
month = jun,
pdf = {https://hal.inria.fr/hal-03684757/file/2022_HEART_HLS_FixFunction.pdf},
hal_id = {hal-03684757},
hal_version = {v1}
}
@article{montuschi:hal-03806577,
title = {{Computer Arithmetic: Continuing a Long and Steady Emergence}},
author = {Montuschi, Paolo and Muller, Jean-Michel and de Dinechin, Florent},
url = {https://ieeexplore.ieee.org/document/9903867},
journal = {{Computer}},
publisher = {{IEEE Computer Society}},
volume = {55},
number = {10},
pages = {4-6},
year = {2022},
month = oct,
nodoi = {10.1109/MC.2022.3193206},
hal_id = {hal-03806577},
hal_version = {v1}
}
@inproceedings{Desrentes2023-Arith,
title = {{Exact Fused Dot Product Add Operators}},
author = {Desrentes, Or{\'e}gane and Dupont de Dinechin, Beno{\^i}t and de Dinechin, Florent},
url = {https://inria.hal.science/hal-04240762},
booktitle = {International Symposium on Computer Arithmetic (ARITH)},
noaddress = {Portland, OR, United States},
year = {2023},
month = sep,
nokeywords = {dot product ; BF16 ; FP32 ; FP64 ; three-term sum},
pdf = {https://inria.hal.science/hal-04240762/file/ARITH2023.pdf},
hal_id = {hal-04240762},
hal_version = {v1},
publisher = {IEEE}
}
@inproceedings{VolkovaEtAlAsilomar2023,
title = {Hardware-optimal digital {FIR} filters: one {ILP} to rule them all and in faithfulness bind them},
author = {Anastasia Volkova and R\'emi Garcia and de Dinechin, Florent and Martin Kumm},
booktitle = {Asilomar Conference on Signals, Systems, and Computers},
year = {2023},
pdf = {https://inria.hal.science/hal-04398268/document},
month = feb
}
@inproceedings{popoff:hal-04414324,
title = {{Audio DSP to FPGA Compilation}},
author = {Popoff, Maxime and Michon, Romain and Risset, Tanguy and Cochard, Pierre and Letz, Stephane and Orlarey, Yann and de Dinechin, Florent},
url = {https://inria.hal.science/hal-04414324},
booktitle = {{International Conference on Application-specific Systems, Architectures and Processors (ASAP 2023)}},
address = {Porto, Portugal},
publisher = {{IEEE}},
pages = {31-33},
year = {2023},
month = jul,
doi = {10.1109/ASAP57973.2023.00018},
nokeywords = {HLS Compilation on FPGA Audio DSP Faust ; HLS ; Compilation on FPGA ; Audio DSP ; Faust},
pdf = {https://inria.hal.science/hal-04414324/file/asapShort2023.pdf},
hal_id = {hal-04414324},
hal_version = {v1}
}
@inproceedings{Chaloyard2024-Undone,
title = {Bare minimal computer for everyone},
author = {Lucas Chaloyard and de Dinechin, Florent and Escudi\'e, Marie-Pierre and Lionel Morel},
booktitle = {Undone Computer Science},
year = {2024},
month = feb
}
@book{ASA2024,
title = {Application-Specific Arithmetic},
author = {de Dinechin, Florent and Martin Kumm},
year = {2024},
url = {https://link.springer.com/book/10.1007/978-3-031-42808-1},
publisher = {Springer}
}
@inproceedings{herrou:hal-04489647,
title = {{Towards Fixed-Point Formats Determination for Faust Programs}},
author = {Herrou, Agathe and de Dinechin, Florent and Letz, St{\'e}phane and Orlarey, Yann and Volkova, Anastasia},
url = {https://inria.hal.science/hal-04489647},
booktitle = {{Journ{\'e}es d'Informatique Musicale 2024}},
address = {Marseille, France},
year = {2024},
month = may,
pdf = {https://inria.hal.science/hal-04489647/file/herrou-faust-fixed-point.pdf},
hal_id = {hal-04489647},
hal_version = {v1}
}
This file was generated by bibtex2html 1.99.