@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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/recherche/publis/1997-ParCo.pdf}
}
@phdthesis{Dinechin-thesis,
author = {Florent {de~Dinechin}},
title = {Syst\`emes structur\'es d'\'equations
r\'ecurrentes~: mise en \oe uvre dans le langage
Alpha et applications},
type = {Th\`{e}se de doctorat},
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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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,
location = {Vail, Colorado},
nomonth = jun,
pages = {128--135},
x-international-audience = {yes},
note = {Updated version of LIP research report 2000-38},
pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2001-Arith.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},
number = {4-5},
page = {327-356},
x-international-audience = {no}
}
@article{Dinechin2001:RSRCO:Ed,
editor = {Daumas, M. and de~Dinechin, Florent and Tisserand, Arnaud},
journal = {R\'eseaux et syst\`emes r\'epartis, calculateurs parall\`eles},
title = {L'arithm\'etique des ordinateurs},
year = {2001},
volume = {13},
number = {4-5},
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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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}
}
@misc{SCSweb,
title = {{SCS}, {S}oftware {C}arry-{S}ave multiprecision library (now part of CRLibm)},
url = {http://www.ens-lyon.fr/LIP/Arenaire/Ware/}
}
@misc{crlibmweb,
title = {{CR-Libm}, A library of correctly rounded elementary functions in
double-precision},
howpublished = {\url{http://lipforge.ens-lyon.fr/www/crlibm/}}
}
@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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/recherche/publis/2005-Arith.pdf}
}
@inproceedings{DinLauMel06:SAC,
author = {de Dinechin, Florent and Christoph 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 = {Sylvain 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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/recherche/publis/2006-JMM.pdf}
}
@article{DinLauMul2007:log,
author = {de Dinechin, Florent and Lauter, Christoph 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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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},
publisher = {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{CretDin2008: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 = 2008,
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 = {Christoph 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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/recherche/publis/2009-Sympa-sqrt.pdf},
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},
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 - {L}aboratoire de
l'{I}nformatique du {P}arall{\'e}lisme - {LIP} - {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 - {L}aboratoire de {R}echerche en
{I}nformatique - {LRI} - {CNRS} : {UMR}8623 -
{U}niversit{\'e} {P}aris {S}ud - {P}aris {XI} - {M}acquarie
{U}niversity - {U}niversity of {S}ydney },
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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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.ens-lyon.fr/florent.de.dinechin/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, Christophe 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},
url-hal = {http://hal.inria.fr/inria-00546028/en},
x-id-hal = {inria-00546028},
pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/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},
nourl = {http://prunel.ccsd.cnrs.fr/ensl-00506125/},
pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2010-FPT-Exp.pdf},
year = 2010,
month = dec
}
@article{DinechinLauterMelquiond2011:TC,
author = {de Dinechin, Florent and Lauter, Christoph 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},
pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2011-TC-ElemFun-Gappa.pdf}
}
@inproceedings{DinechinTakeugmingTanguy2010,
author = {de Dinechin, Florent and Takeugming, Honoré 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.ens-lyon.fr/florent.de.dinechin/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},
nourl = {http://doi.acm.org/10.1145/1926367.1926380},
nodoi = {http://doi.acm.org/10.1145/1926367.1926380},
acmid = {1926380},
publisher = {ACM},
noaddress = {New York, NY, USA},
nokeywords = {floating-point, multiplier, quadruple precision, truncated multiplier}
}
@article{Dinechin2011-TCASII,
author = {de Dinechin, Florent},
title = {Multiplication by rational constants},
journal = {{IEEE} Transactions on Circuits and Systems, II},
year = 2012,
nourl = {http://prunel.ccsd.cnrs.fr/ensl-00610328},
pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2012-TCASII-rational-constmult.pdf},
note = {to appear}
}
@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},
url = {http://hal.inria.fr/ensl-00646282/en},
pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/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 IEEE Symposium of Computer Arithmetic}},
year = {2011},
month = jul,
publisher = {IEEE},
pages = {pp 189-190},
address = {Germany},
x-international-audience = {yes},
x-proceedings = {yes},
url = {http://hal.inria.fr/ensl-00642164/en},
pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/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), 2011 IEEE International Conference on}},
year = {2011},
doi = {10.1109/ASAP.2011.6043267},
publisher = {IEEE Computer Society},
pages = {187-194},
note = {Best paper award},
address = {Santa Monica, United States},
x-international-audience = {yes},
x-proceedings = {yes},
url = {http://hal.inria.fr/ensl-00640063/en},
pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2011-ASAP-TMD-FPGA.pdf},
x-id-hal = {ensl-00640063}
}
@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},
address = {Hong Kong, Hong Kong},
x-international-audience = {yes},
x-proceedings = {yes},
url = {http://hal.inria.fr/ensl-00642145/en},
pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2012-ARC-LUTConstDiv.pdf},
x-id-hal = {ensl-00642145}
}
@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.ens-lyon.fr/florent.de.dinechin/recherche/publis/2011-Asilomar-MPFMA.pdf}
}
@inproceedings{Tchater2012,
author = {Eric Dutisseuil and Jean-Marc Tanguy and Adrian Voicila and Rémi Laube and Francois Bore and Honore Takeugming and de Dinechin, Florent and Fréderic 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,
month = mar
}
This file was generated by bibtex2html 1.96.