Search results for "Floating-point"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
48	Miriam Leeser, John W. O'Leary	Verification of a subtractive radix-2 square root algorithm and implementation.	ICCD	1995	DBLP DOI BibTeX RDF	subtractive radix-2 square root, floating point square root hardware, Intel Pentium, radix-2 square root, MIPS R4400, RTL level, verification, formal verification, theorem proving, theorem proving, floating point arithmetic, optimizing transformations
47	Jack J. Dongarra	High Performance Computing Trends and Self Adapting Numerical Software.	ISHPC	2003	DBLP DOI BibTeX RDF
46	Patrice Godefroid, Johannes Kinder	Proving memory safety of floating-point computations by combining static and dynamic program analysis.	ISSTA	2010	DBLP DOI BibTeX RDF	static and dynamic program analysis, program verification
46	Angelo Brillout, Daniel Kroening, Thomas Wahl	Mixed abstractions for floating-point arithmetic.	FMCAD	2009	DBLP DOI BibTeX RDF
46	Liqian Chen, Antoine Miné, Patrick Cousot	A Sound Floating-Point Polyhedra Abstract Domain.	APLAS	2008	DBLP DOI BibTeX RDF
46	Hani H. Saleh, Earl E. Swartzlander Jr.	A floating-point fused dot-product unit.	ICCD	2008	DBLP DOI BibTeX RDF
46	Xunying Zhang, Xubang Shen	A Power-Efficient Floating-Point Co-processor Design.	CSSE (4)	2008	DBLP DOI BibTeX RDF
46	Nicolas Brisebarre, Florent de Dinechin, Jean-Michel Muller	Integer and floating-point constant multipliers for FPGAs.	ASAP	2008	DBLP DOI BibTeX RDF
46	William R. Dieter, A. Kaveti, Henry G. Dietz	Low-Cost Microarchitectural Support for Improved Floating-Point Accuracy.	IEEE Comput. Archit. Lett.	2007	DBLP DOI BibTeX RDF
46	Corey Manders, Farzam Farbiz, Steve Mann 0001	A Compression Method for Arbitrary Precision Floating-Point Images.	ICIP (4)	2007	DBLP DOI BibTeX RDF
46	Alexandru Amaricai, Mircea Vladutiu, Lucian Prodan, Mihai Udrescu, Oana Boncalo	Exploiting Parallelism in Double Path Adders' Structure for Increased Throughput of Floating Point Addition.	DSD	2007	DBLP DOI BibTeX RDF
46	Guillermo A. Lopez, Michela Taufer, Patricia J. Teller	Evaluation of IEEE 754 floating-point arithmetic compliance across a wide range of heterogeneous computers.	Richard Tapia Celebration of Diversity in Computing Conference	2007	DBLP DOI BibTeX RDF	result divergences, scientific computation, heterogeneous computing
46	Faycal Bensaali, Abbes Amira, Reza Sotudeh	Floating-Point Matrix Product on FPGA.	AICCSA	2007	DBLP DOI BibTeX RDF
46	Michael J. Beauchamp, Scott Hauck, Keith D. Underwood, K. Scott Hemmert	Architectural Modifications to Improve Floating-Point Unit Efficiency in FPGAs.	FPL	2006	DBLP DOI BibTeX RDF
46	Bryan Catanzaro, Brent E. Nelson	Choice of base revisited: higher radices for FPGA-based floating-point computation (abstract only).	FPGA	2005	DBLP DOI BibTeX RDF
46	Ling Zhuo, Gerald R. Morris, Viktor K. Prasanna	Designing Scalable FPGA-Based Reduction Circuits Using Pipelined Floating-Point Cores.	IPDPS	2005	DBLP DOI BibTeX RDF
46	Phong Q. Nguyen, Damien Stehlé	Floating-Point LLL Revisited.	EUROCRYPT	2005	DBLP DOI BibTeX RDF	L3, Lattice Reduction, LLL, Public-Key Cryptanalysis
46	Taek-Jun Kwon, Jeff Sondeen, Jeffrey T. Draper	Design trade-offs in floating-point unit implementation for embedded and processing-in-memory systems.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
46	Ling Zhuo, Viktor K. Prasanna	Scalable and Modular Algorithms for Floating-Point Matrix Multiplication on FPGAs.	IPDPS	2004	DBLP DOI BibTeX RDF
46	Liang-Kai Wang, Michael J. Schulte	Decimal Floating-Point Division Using Newton-Raphson Iteration.	ASAP	2004	DBLP DOI BibTeX RDF
46	Sung-Won Lee, Hyeong-Ju Kang, In-Cheol Park	A 24-bit floating-point audio DSP controller supporting fast exponentiation.	ISCAS (2)	2003	DBLP DOI BibTeX RDF
46	Stuart F. Oberman, Michael J. Flynn	A Variable Latency Pipelined Floating-Point Adder.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF
46	Jerry L. Trahan, Chun-ming Lu, Ramachandran Vaidyanathan	Integer and Floating Point Matrix-Vector Multiplication on the Reconfigurable Mesh.	IPPS	1996	DBLP DOI BibTeX RDF
46	Werner Krandick, Jeremy R. Johnson	Efficient multiprecision floating point multiplication with optimal directional rounding.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
46	William D. Clinger	How to read floating point numbers accurately (with retrospective)	Best of PLDI	1990	DBLP DOI BibTeX RDF
44	Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar	Formalization of Cadence SPW Fixed-Point Arithmetic in HOL.	IFM	2002	DBLP DOI BibTeX RDF	SPW, Theorem-Proving, Signal Processing, Floating-point, Fixed-point, HOL
43	Süleyman Sirri Demirsoy, Martin Langhammer	Cholesky decomposition using fused datapath synthesis.	FPGA	2009	DBLP DOI BibTeX RDF	cholesky, fused datapath synthesis, fpga, floating-point
43	Nicolas Brisebarre, Jean-Michel Muller	Correctly Rounded Multiplication by Arbitrary Precision Constants.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	computer arithmetic, floating-point arithmetic
43	Ulrich W. Kulisch	Complete Interval Arithmetic and Its Implementation on the Computer.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	arithmetic standards, computer arithmetic, interval arithmetic, floating-point arithmetic
43	Abner Corrêa Barros, Victor Wanderley Costa de Medeiros, Viviane Lucy Santos de Souza, Paulo Sérgio Brandão do Nascimento, Ângelo Mazer, João Paulo Fernandes Barbosa, Bruno P. Neves, Ismael Santos 0001, Manoel Eusébio de Lima	Implementation of a double-precision multiplier accumulator with exception treatment to a dense matrix multiplier module in FPGA.	SBCCI	2008	DBLP DOI BibTeX RDF	FPGA, scientific computing, floating-point, HPC
43	Sylvie Boldo, César A. Muñoz	Provably faithful evaluation of polynomials.	SAC	2006	DBLP DOI BibTeX RDF	formal verification, floating-point, polynomial evaluation
43	Matthieu Martel	Static Analysis of the Numerical Stability of Loops.	SAS	2002	DBLP DOI BibTeX RDF	Relational Analysis, Semantics of Floating-point Numbers, Abstract Interpretation, Numerical Precision
43	Peter Gottschling, Wolfgang E. Nagel	An Efficient Parallel Linear Solver with a Cascadic Conjugate Gradient Method: Experience with Reality.	Euro-Par	2000	DBLP DOI BibTeX RDF	floating point performance, matrix sparsity pattern, cascadic conjugate gradient method, risc processors
43	Kotaro Shimamura, Shigeya Tanaka, Tetsuya Shimomura, Takashi Hotta, Eiki Kamada, Hideo Sawamoto, Teruhisa Shimizu, Kisaburo Nakazawa	A superscalar RISC processor with pseudo vector processing feature.	ICCD	1995	DBLP DOI BibTeX RDF	superscalar RISC processor, pseudo vector processing, architectural extension, floating-point registers, scoreboard-based dependency check, pipeline stage optimization, 267 MFLOPS, 1.2 Gbyte/s, performance evaluation, performance, computer architecture, memory access, reduced instruction set computing, vector processor systems
42	Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann	MPFR: A multiple-precision binary floating-point library with correct rounding.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	correct rounding, floating-point arithmetic, elementary function, Multiple-precision arithmetic, IEEE 754 standard, portable software
42	Jurgen A. Doornik	Conversion of high-period random numbers to floating point.	ACM Trans. Model. Comput. Simul.	2007	DBLP DOI BibTeX RDF	Conversion to floating point, precision
42	Son Dao Trong, Martin S. Schmookler, Eric M. Schwarz, Michael Kroener	P6 Binary Floating-Point Unit.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF	denormal result handling, aggressive data forwarding, high-frequency design, data processing without stalls, Floating-point unit
42	Chichyang Chen, Paul Chow	Design of a versatile and cost-effective hybrid floating-point/LNS arithmetic processor.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	exponential computation, logarithmic computation, logarithmic number system (LNS) arithmetic, floating-point arithmetic
42	Tateaki Sasaki, Fujio Kako	Computing floating-point gröbner bases stably.	SNC	2007	DBLP DOI BibTeX RDF	Gröbner base, approximate Gröbner base, floating-point Gröbner base, stabilization
42	George Xenoulis, Mihalis Psarakis, Dimitris Gizopoulos, Antonis M. Paschalis	Testability Analysis and Scalable Test Generation for High-Speed Floating-Point Units.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	testability conditions, datapath testing, floating-point unit testing, Test generation, processor testing
42	Christian Jacobi 0002, Christoph Berg	Formal Verification of the VAMP Floating Point Unit.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	IEEE standard 754, formal verification, theorem proving, PVS, floating point unit
42	Alexander Serebrenik, Danny De Schreye	Termination of Floating-Point Computations.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	floating point, numerical computation, termination analysis
42	Yong Dou, Stamatis Vassiliadis, Georgi Kuzmanov, Georgi Gaydadjiev	64-bit floating-point FPGA matrix multiplication.	FPGA	2005	DBLP DOI BibTeX RDF	FPGA, matrix multiplication, floating-point
42	Peter-Michael Seidel, Guy Even	Delay-Optimized Implementation of IEEE Floating-Point Addition.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	IEEE rounding, dual path algorithm, optimized gate sizing, buffer insertion, delay optimization, logical effort, Floating-point addition
42	Steven D. Krueger, Peter-Michael Seidel	Design of an On-Line IEEE Floating-Point Addition Unit for FPGAs.	FCCM	2004	DBLP DOI BibTeX RDF	IEEE rounding, Floating-point addition, on-line arithmetic
42	Lianfang Tian, Curtis Collins	Motion Planning for Redundant Manipulators Using a Floating Point Genetic Algorithm.	J. Intell. Robotic Syst.	2003	DBLP DOI BibTeX RDF	genetic algorithm, motion planning, redundant robot, floating point representation
42	Yves Nievergelt	Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit.	ACM Trans. Math. Softw.	2003	DBLP DOI BibTeX RDF	Doubly compensated summation, fused multiply-add instruction, matrix arithmetic, provable accuracy, floating-point arithmetic, rounding error
42	David M. Smith	Algorithm 814: Fortran 90 software for floating-point multiple precision arithmetic, gamma and related functions.	ACM Trans. Math. Softw.	2001	DBLP DOI BibTeX RDF	gamma function, mathematical library, Fortran, Accuracy, floating point, function evaluation, multiple precision, portable software
42	E. Pearse O'Grady	Hardware Support for Floating Point Map Function Generation.	Annual Simulation Symposium	1999	DBLP DOI BibTeX RDF	simulation, table-lookup, function generation, Floating point computation
42	Walter Krämer	A Priori Worst-Case Error Bounds for Floating-Point Computations.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	Reliable Error Estimates, Table-lookup Algorithm, Error Bounds, Floating-Point Computations
42	Richard J. Fateman, Kevin A. Broughan, Diane M. K. Willcock, Duane Rettig	Fast Floating Point Processing in Common Lisp.	ACM Trans. Math. Softw.	1995	DBLP DOI BibTeX RDF	Fortran, Lisp, compiler optimization, floating-point arithmetic, symbolic computation, numerical algorithms, Common Lisp, Common Lisp, C programming language
42	Song Cui, Neil Burgess, Michael J. Liebelt, Kamran Eshraghian	A GaAs IEEE Floating Point Standard Single Precision Multiplier.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	floating point multiplier, rounding algorithm, modified carry save array, GaAs technology
42	Peter Linz	Accurate floating-point summation.	Commun. ACM	1970	DBLP DOI BibTeX RDF	round-off error propagation, summation, round-off error, floating-point addition
41	Charles Tsen, Sonia González-Navarro, Michael J. Schulte	Hardware design of a Binary Integer Decimal-based floating-point adder.	ICCD	2007	DBLP DOI BibTeX RDF
41	Guy L. Steele Jr., Jon L. White	How to Print Floating-Point Numbers Accurately.	PLDI	1990	DBLP DOI BibTeX RDF
41	Guy L. Steele Jr., Jon L. White	How to print floating-point numbers accurately (with retrospective)	Best of PLDI	1990	DBLP DOI BibTeX RDF
41	Stefan Funke, Christian Klein 0001, Kurt Mehlhorn, Susanne Schmitt	Controlled perturbation for Delaunay triangulations.	SODA	2005	DBLP BibTeX RDF	controlled perturbation, oating point computation, randomized incremental construction, delaunay triangulations, convex hulls, randomized incremental algorithm
40	Israel Koren, Ofra Zinaty	Evaluating Elementary Functions in a Numerical Coprocessor Based on Rational Approximations.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	high-precision floating-point numbers, extended double precision format, IEEE standard P754, floating-point numeric coprocessor, fast adder, digital arithmetic, execution time, microprocessor chips, approximation theory, elementary functions, function evaluation, rational approximations, silicon area, fast multiplier
40	Corinna Lee	Multistep Gradual Rounding.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	multistep gradual rounding, denormalization process, IEEE Floating-Point Standard 754, floating-point register, digital arithmetic, roundoff errors
40	Liang-Kai Wang, Michael J. Schulte, John D. Thompson, Nandini Jairam	Hardware Designs for Decimal Floating-Point Addition and Related Operations.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
40	Shiro Kawai	Efficient floating-point number handling for dynamically typed scripting languages.	DLS	2008	DBLP DOI BibTeX RDF
40	Peter Lindstrom 0001, Martin Isenburg	Fast and Efficient Compression of Floating-Point Data.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	file compaction for I/O efficiency, fast entropy coding, range coder, large scale simulation and visualization, lossless compression, High throughput, predictive coding
40	Ajay Naini, Atul Dhablania, Warren James, Debjit Das Sarma	1-GHz HAL SPARC64 Dual Floating Point Unit with RAS Features.	IEEE Symposium on Computer Arithmetic	2001	DBLP DOI BibTeX RDF
39	Malte Baesler, Thomas Teufel	FPGA Implementation of a Decimal Floating-Point Accurate Scalar Product Unit with a Parallel Fixed-Point Multiplier.	ReConFig	2009	DBLP DOI BibTeX RDF	decimal multiplier, IEEE 754-2008, accurate scalar product, FPGA, floating point
39	Xiaojun Wang, Miriam Leeser	Efficient FPGA implementation of qr decomposition using a systolic array architecture.	FPGA	2008	DBLP DOI BibTeX RDF	FPGA
39	Steven Fortune	Polynomial root finding using iterated Eigenvalue computation.	ISSAC	2001	DBLP DOI BibTeX RDF
38	Linsheng Zhang, Yan Zhang 0066, Wenbiao Zhou	Floating-point to Fixed-point Transformation Using Extreme Value Theory.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
38	Altaf Abdul Gaffar, Oskar Mencer, Wayne Luk, Peter Y. K. Cheung	Unifying Bit-Width Optimisation for Fixed-Point and Floating-Point Designs.	FCCM	2004	DBLP DOI BibTeX RDF
38	Thomas C. P. Chau, S. Man Ho Ho, Philip Heng Wai Leong, Peter Zipf, Manfred Glesner	Generation of Synthetic Floating-Point benchmark circuits.	IPDPS	2009	DBLP DOI BibTeX RDF
38	Sylvie Boldo, Jean-Christophe Filliâtre, Guillaume Melquiond	Combining Coq and Gappa for Certifying Floating-Point Programs.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
38	Jie Zhou 0007, Yong Dou, Yuanwu Lei, Jinbo Xu, Yazhuo Dong	Double Precision Hybrid-Mode Floating-Point FPGA CORDIC Co-processor.	HPCC	2008	DBLP DOI BibTeX RDF
38	Andre Guntoro, Manfred Glesner	High-performance fpga-based floating-point adder with three inputs.	FPL	2008	DBLP DOI BibTeX RDF
38	Martin Langhammer	Floating point datapath synthesis for FPGAs.	FPL	2008	DBLP DOI BibTeX RDF
38	Jie Shao, Ning Ye, Xiao-Yan Zhang	An IEEE Compliant Floating-Point Adder with the Deeply Pipelining Paradigm on FPGAs.	CSSE (4)	2008	DBLP DOI BibTeX RDF
38	Zhaolin Li, Gongqiong Li	Design of A Double-Precision Floating- Point Multiply-Add-Fused Unit with Consideration of Data Dependence.	ISVLSI	2007	DBLP DOI BibTeX RDF
38	Yee Jern Chong, Sri Parameswaran	Automatic application specific floating-point unit generation.	DATE	2007	DBLP DOI BibTeX RDF
38	Yuko Hara, Hiroyuki Tomiyama, Shinya Honda, Hiroaki Takada, Katsuya Ishii	Behavioral Synthesis of Double-Precision Floating-Point Adders with Function-Level Transformations: A Case Study.	ICESS	2007	DBLP DOI BibTeX RDF
38	Mark A. Erle, Michael J. Schulte, Brian J. Hickmann	Decimal Floating-Point Multiplication Via Carry-Save Addition.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF
38	Nicolas Brisebarre, Guillaume Hanrot	Floating-point L2-approximations to functions.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF
38	Merav Aharoni, Ron Maharik, Abraham Ziv	Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF
38	Xiaojun Wang, Miriam Leeser	K-means Clustering for Multispectral Images Using Floating-Point Divide.	FCCM	2007	DBLP DOI BibTeX RDF
38	Tateaki Sasaki, Fujio Kako	Floating-Point Gröbner Basis Computation with Ill-conditionedness Estimation.	ASCM	2007	DBLP DOI BibTeX RDF
38	Gerhard Lienhart, Andreas Kugel, Reinhard Männer	Rapid development of high performance floating-point pipelines for scientific simulation.	IPDPS	2006	DBLP DOI BibTeX RDF
38	Sandeep B. Singh, Jayanta Biswas, S. K. Nandy 0001	A Cost Effective Pipelined Divider for Double Precision Floating Point Number.	ASAP	2006	DBLP DOI BibTeX RDF
38	Julie Langou, Julien Langou, Piotr Luszczek, Jakub Kurzak, Alfredo Buttari, Jack J. Dongarra	Tools and techniques for performance - Exploiting the performance of 32 bit floating point arithmetic in obtaining 64 bit accuracy (revisiting iterative refinement for linear systems).	SC	2006	DBLP DOI BibTeX RDF
38	Christopher R. Schroeder	ACM student research competition reception - Adaptive coarsening: simple, effective floating-point compression.	SC	2006	DBLP DOI BibTeX RDF
38	Merav Aharoni, Sigal Asaf, Ron Maharik, Ilan Nehama, Ilya Nikulshin, Abraham Ziv	Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification.	IEEE Symposium on Computer Arithmetic	2005	DBLP DOI BibTeX RDF
38	James E. Stine, Michael J. Schulte	A combined two's complement and floating-point comparator.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
38	Liang-Kai Wang, Michael J. Schulte	Decimal Floating-Point Square Root Using Newton-Raphson Iteration.	ASAP	2005	DBLP DOI BibTeX RDF
38	Giovanni Danese, Ivo De Lotto, Francesco Leporati, M. Scaricabarozzi, Alvaro Spelgatti	An Accelerator for Double Precision Floating Point Operations.	PDP	2003	DBLP DOI BibTeX RDF
38	Michael F. Cowlishaw	Decimal Floating-Point: Algorism for Computers.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
38	Tobias Lindahl, Konstantinos Sagonas	Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment.	IFL	2002	DBLP DOI BibTeX RDF
38	Altaf Abdul Gaffar, Wayne Luk, Peter Y. K. Cheung, Nabeel Shirazi, James Hwang	Automating Customisation of Floating-Point Designs.	FPL	2002	DBLP DOI BibTeX RDF
38	Gerhard Lienhart, Andreas Kugel, Reinhard Männer	Using Floating-Point Arithmetic on FPGAs to Accelerate Scientific N-Body Simulations.	FCCM	2002	DBLP DOI BibTeX RDF
38	Altaf Abdul Gaffar, Wayne Luk, Peter Y. K. Cheung, Nabeel Shirazi	Customising Floating-Point Designs.	FCCM	2002	DBLP DOI BibTeX RDF
38	Walter Krämer, Armin Bantle	Automatic Forward Error Analysis for Floating Point Algorithms.	Reliab. Comput.	2001	DBLP DOI BibTeX RDF
38	Eric Goubault	Static Analyses of the Precision of Floating-Point Operations.	SAS	2001	DBLP DOI BibTeX RDF
38	Claude Michel, Michel Rueher, Yahia Lebbah	Solving Constraints over Floating-Point Numbers.	CP	2001	DBLP DOI BibTeX RDF
38	Zhen Luo, Margaret Martonosi	Accelerating Pipelined Integer and Floating-Point Accumulations in Configurable Hardware with Delayed Addition Techniques.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	Delayed addition, multiply-accumulate, FPGA, MAC, accumulation
38	Carl-Johan H. Seger	Connecting Bits with Floating-Point Numbers: Model Checking and Theorem Proving in Practice.	CADE	2000	DBLP DOI BibTeX RDF