|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 460 occurrences of 262 keywords
|
|
|
|
|
Results
Found 359 publication records. Showing 359 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Jean-Claude Bajard, Laurent-Stéphane Didier, Jean-Michel Muller |
A New Euclidean Division Algorithm For Residue Number Systems.  |
ASAP  |
1996 |
DBLP DOI BibTeX RDF |
Euclidean division algorithm, large moduli, very large integers, high-radix division method, parallel computer, computational geometry, digital arithmetic, residue number systems, residue number systems, floating point arithmetic, floating-point arithmetic, modular arithmetic, special-purpose architecture |
| 2 | Marius Cornea, John Harrison, Cristina Anderson, Ping Tak Peter Tang, Eric Schneider, Evgeny Gvozdev |
A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format.  |
IEEE Trans. Computers  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Angelo Brillout, Daniel Kroening, Thomas Wahl |
Mixed abstractions for floating-point arithmetic.  |
FMCAD  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Stefan Funke |
Of What Use Is Floating-Point Arithmetic in Computational Geometry?  |
Efficient Algorithms  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Ivan Morel, Damien Stehlé, Gilles Villard |
H-LLL: using householder inside LLL.  |
ISSAC  |
2009 |
DBLP DOI BibTeX RDF |
householder's algorithm, floating-point arithmetic, lattice reduction, lll |
| 2 | 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 |
| 2 | 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 |
| 2 | 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 |
| 2 | Marius Cornea, Cristina Anderson, John Harrison, Ping Tak Peter Tang, Eric Schneider, Charles Tsen |
A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format.  |
IEEE Symposium on Computer Arithmetic  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Pedro C. Diniz, Gokul Govindu |
Design of a Field-Programmable Dual-Precision Floating-Point Arithmetic Unit.  |
FPL  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Julie Langou, Julien Langou, Piotr Luszczek, Jakub Kurzak, Alfredo Buttari, Jack 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 |
|
| 2 | Kuo-Kai Shyu, Ming-Huan Li |
FPGA Implementation of FastICA based on Floating-Point Arithmetic Design for Real-Time Blind Source Separation.  |
IJCNN  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Zizhong Chen, Graham E. Fagg, Edgar Gabriel, Julien Langou, Thara Angskun, George Bosilca, Jack Dongarra |
Fault tolerant high performance computing by a coding approach.  |
PPOPP  |
2005 |
DBLP DOI BibTeX RDF |
floating-point arithmetic coding, fault tolerance, message passing interface, high performance computing |
| 2 | Y.-K. Zhu, J.-H. Yong, G.-Q. Zheng |
Line Segment Intersection Testing.  |
Computing  |
2005 |
DBLP DOI BibTeX RDF |
Intersection testing for line segments, dot product summation, floating-point arithmetic, rounding error |
| 2 | Yong-Kang Zhu, Jun-Hai Yong, Guo-Qin Zheng |
Computing the Sign of a Dot Product Sum.  |
CIS  |
2004 |
DBLP DOI BibTeX RDF |
Floating-point arithmetic, Interval analysis, Rounding error |
| 2 | Hossam A. H. Fahmy, Michael J. Flynn |
The Case for a Redundant Format in Floating Point Arithmetic.  |
IEEE Symposium on Computer Arithmetic  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Marina L. Gavrilova |
An Explicit Solution for Computing the Euclidean -dimensional Voronoi Diagram of Spheres in a Floating-Point Arithmetic.  |
ICCSA  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
| 2 | 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 |
|
| 2 | Ahmet Akkas |
A Combined Interval and Floating-Point Comparator/Selector.  |
ASAP  |
2002 |
DBLP DOI BibTeX RDF |
VLSI design, Interval arithmetic, floating-point arithmetic, comparator, specialized hardware, selector |
| 2 | Matthieu Martel |
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach.  |
ESOP  |
2002 |
DBLP DOI BibTeX RDF |
IEEE Standard 754, Abstract Interpretation, Floating-point Arithmetic, Numerical Precision |
| 2 | Brigitte Verdonk, Annie A. M. Cuyt, Dennis Verschaeren |
A precision- and range-independent tool for testing floating-point arithmetic II: conversions.  |
ACM Trans. Math. Softw.  |
2001 |
DBLP DOI BibTeX RDF |
IEEE floating-point standard, multiprecision, validation, conversion, floating-point, arithmetic, decimal |
| 2 | Henrik Koy, Claus-Peter Schnorr |
Segment LLL-Reduction with Floating Point Orthogonalization.  |
CaLC  |
2001 |
DBLP DOI BibTeX RDF |
LLL-reduction, Householder reflexion, scaled basis, segment LLL-reduction, local LLL-reduction, stability, floating point arithmetic |
| 2 | Shiro Kobayashi, Gerhard Fettweis |
A Hierarchical Block-Floating-Point Arithmetic.  |
VLSI Signal Processing  |
2000 |
DBLP DOI BibTeX RDF |
|
| 2 | Nuno Roma, Leonel Sousa |
In the Development and Evaluation of Specialized Processors for Computing High-Order 2-D Image Moments in Real-Time.  |
CAMP  |
2000 |
DBLP DOI BibTeX RDF |
specialized processors, high-order 2-D image moments, computational intensive task, systolic processing, programmable digital processors, configurable hardware logic, real-time system, image analysis, object modelling, floating-point arithmetic, digital signal processing chips, object matching |
| 2 | Jonathan Richard Shewchuk |
Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates.  |
Discrete & Computational Geometry  |
1997 |
DBLP DOI BibTeX RDF |
|
| 2 | Nabeel Shirazi, Al Walters, Peter M. Athanas |
Quantitative analysis of floating point arithmetic on FPGA based custom computing machines.  |
FCCM  |
1995 |
DBLP DOI BibTeX RDF |
|
| 2 | H. Yamada, T. Hotta, T. Nishiyama, F. Murabayashi, T. Yamauchi, H. Sawamoto |
A 13.3ns double-precision floating-point ALU and multiplier. (PDF / PS)  |
ICCD  |
1995 |
DBLP DOI BibTeX RDF |
double-precision floating-point ALU, floating-point multiplier, carry select addition, prerounding techniques, noise tolerant precharge circuit, two-cycle latency, 13.3 ns, 0.3 micron, 2.5 V, 150 MHz, normalization, floating point arithmetic, CMOS integrated circuits, multiplying circuits, CMOS technology, arithmetic logic unit |
| 2 | Barry S. Fagin, C. Renard |
Field programmable gate arrays and floating point arithmetic.  |
IEEE Trans. VLSI Syst.  |
1994 |
DBLP DOI BibTeX RDF |
|
| 2 | Edward C. Bronson, Thomas L. Casavant, Leah H. Jamieson |
Experimental Application-Driven Architecture Analysis of an SIMD/MIMD Parallel Processing System.  |
IEEE Trans. Parallel Distrib. Syst.  |
1990 |
DBLP DOI BibTeX RDF |
application-driven architecture analysis, SIMD/MIMD parallel processing system, execution-time measurements, barrier-synchronized MIMD, floating-point arithmetic operations, interconnection network transfer operations, program control overhead, computational intensive algorithms, performance evaluation, parallel architectures, multiprocessor interconnection networks, fast Fourier transforms, parallel machines, synchronisation, controlled experiments, PASM, parallel fast Fourier transform |
| 2 | Geoff Barrett |
Formal Methods Applied to a Floating-Point Number System.  |
IEEE Trans. Software Eng.  |
1989 |
DBLP DOI BibTeX RDF |
floating-point number system, binary floating-point arithmetic, ANSI/IEEE Std. 754-1985, set-theoretic specification language, sequential components, unpack, operands, proven rules, mathematically rigorous method, Inmos IMS T800 transputer, formal specification, formal methods, specification languages, digital arithmetic, Z, formalization, round, pack, program development, IEEE standard, floating-point unit, internal representations |
| 2 | Harry W. Look |
Compatible software and hardware implementations permitted by IEEE standards for binary floating-point arithmetic.  |
AFIPS National Computer Conference  |
1984 |
DBLP DOI BibTeX RDF |
|
| 2 | David J. Kuck, Douglas Stott Parker Jr., Ahmed H. Sameh |
Analysis of Rounding Methods in Floating-Point Arithmetic.  |
IEEE Trans. Computers  |
1977 |
DBLP DOI BibTeX RDF |
guard digits, ROM rounding, rounding methods, Floating-point arithmetic |
| 1 | Peter Kornerup, Jean-Michel Muller, Adrien Panhaleux |
Floating-Point Arithmetic on Round-to-Nearest Representations  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yuanwu Lei, Yong Dou, Jie Zhou |
FPGA-Specific Custom VLIW Architecture for Arbitrary Precision Floating-Point Arithmetic.  |
IEICE Transactions  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux |
Midpoints and Exact Points of Some Algebraic Functions in Floating-Point Arithmetic.  |
IEEE Trans. Computers  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Sanchez-Roman, Gustavo Sutter, Sergio López-Buedo, Ivan Gonzalez, Francisco J. Gomez-Arribas, Javier Aracil, Francisco Palacios |
High-Level Languages and Floating-Point Arithmetic for FPGA-Based CFD Simulations.  |
IEEE Design & Test of Computers  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanwu Lei, Yong Dou, Jie Zhou, Sufeng Wang |
VPFPAP: A Special-Purpose VLIW Processor for Variable-Precision Floating-Point Arithmetic.  |
FPL  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Buddika Sumanasena, Peter H. Bauer |
Stability of distributed 3-D systems implemented on grid sensor networks using floating point arithmetic.  |
CDC-ECE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Syed Zohaib Gilani, Nam Sung Kim, Michael J. Schulte |
Energy-efficient floating-point arithmetic for software-defined radio architectures.  |
ASAP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanwu Lei, Yong Dou, Song Guo, Jie Zhou |
FPGA Implementation of Variable-Precision Floating-Point Arithmetic.  |
APPT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manouk V. Manoukian, George A. Constantinides |
Accurate Floating Point Arithmetic through Hardware Error-Free Transformations.  |
ARC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Faizal Arya Samman, Surapong Pongyupinpanich, Manfred Glesner |
Reconfigurable streaming processor core with interconnected floating-point arithmetic units for multicore adaptive signal processing systems.  |
ReCoSoC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kornerup, Christoph Quirin Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller |
Computing correctly rounded integer powers in floating-point arithmetic.  |
ACM Trans. Math. Softw.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres |
Handbook of Floating-Point Arithmetic.  |
|
2010 |
DOI RDF |
|
| 1 | Claude-Pierre Jeannerod, Christophe Mouilleron, Jean-Michel Muller, Guillaume Revy, Christian Bertin, Jingyan Jourdan-Lu, Herve Knochel, Christophe Monat |
Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors.  |
PASCO  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémy Jean, Stef Graillat |
A Parallel Algorithm for Dot Product over Word-Size Finite Field Using Floating-Point Arithmetic.  |
SYNASC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | E. Tasdemir, Götz Kappen, Tobias G. Noll |
Potential of using block floating point arithmetic in ASIP-based GNSS-receivers.  |
ASAP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Brisebarre, Nicolas Louvet, Érik Martin-Dorel, Jean-Michel Muller, Adrien Panhaleux, Milos D. Ercegovac |
Implementing decimal floating-point arithmetic through binary: Some suggestions.  |
ASAP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Accurate and Reliable Computing in Floating-Point Arithmetic.  |
ICMS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Verification methods: rigorous results using floating-point arithmetic.  |
ISSAC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amirhossein Alimohammad, Saeed Fouladi Fard, Bruce F. Cockburn |
A Unified Architecture for the Accurate and High-Throughput Implementation of Six Key Elementary Functions.  |
IEEE Trans. Computers  |
2010 |
DBLP DOI BibTeX RDF |
single-precision arithmetic, computer arithmetic, Floating-point arithmetic, square root, reciprocal, logarithm |
| 1 | Zhanpeng Jin, Richard Neil Pittman, Alessandro Forin |
Reconfigurable custom floating-point instructions (abstract only).  |
FPGA  |
2010 |
DBLP DOI BibTeX RDF |
emips, reconfigurable, extension, floating-point, partial reconfiguration |
| 1 | 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 |
| 1 | Awad H. Al-Mohy, Nicholas J. Higham |
The complex step approximation to the Fréchet derivative of a matrix function.  |
Numerical Algorithms  |
2010 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 15A60, 65F30 |
| 1 | Yongsoon Lee, Younhee Choi, Moon Ho Lee, Seok-Bum Ko |
Performance Analysis of Bit-Width Reduced Floating-Point Arithmetic Units in FPGAs: A Case Study of Neural Network-Based Face Detector.  |
EURASIP J. Emb. Sys.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina L. Gavrilova |
An Explicit Solution for Computing the vertices of the Euclidean d-Dimensional Voronoi Diagram of Spheres in a Floating-Point Arithmetic.  |
Int. J. Comput. Geometry Appl.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Jiang, N. F. Stewart |
Floating-Point Arithmetic for Computational Geometry Problems with Uncertain Data.  |
Int. J. Comput. Geometry Appl.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Fünfzig, Dominique Michelucci, Sebti Foufou |
Nonlinear systems solver in floating-point arithmetic using LP reduction.  |
Symposium on Solid and Physical Modeling  |
2009 |
DBLP DOI BibTeX RDF |
intersection computation, subdivision solver, linear programming, CAD, interval arithmetic, geometric constraints, geometric constraint solving, distance computation |
| 1 | Daniel M. Muñoz Arboleda, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón |
Hardware Architecture for Particle Swarm Optimization Using Floating-Point Arithmetic.  |
ISDA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James Demmel, Yozo Hida, E. Jason Riedy, Xiaoye S. Li |
Extra-Precise Iterative Refinement for Overdetermined Least Squares Problems.  |
ACM Trans. Math. Softw.  |
2009 |
DBLP DOI BibTeX RDF |
Linear algebra, floating-point arithmetic, BLAS, LAPACK |
| 1 | Yee Jern Chong, Sri Parameswaran |
Flexible multi-mode embedded floating-point unit for field programmable gate arrays.  |
FPGA  |
2009 |
DBLP DOI BibTeX RDF |
dual-precision, embedded block, fpu, fpga, floating-point, fpga architecture |
| 1 | Zhonggang Zeng |
The approximate irreducible factorization of a univariate polynomial: revisited.  |
ISSAC  |
2009 |
DBLP DOI BibTeX RDF |
multiplicity, polynomial factoring, ill-posed problems |
| 1 | Linsheng Zhang, Yan Zhang, Wenbiao Zhou |
Floating-point to Fixed-point Transformation Using Extreme Value Theory.  |
ACIS-ICIS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shodai Yokoyama, Kazuya Matsumoto, Stanislav G. Sedukhin |
Matrix Inversion on the Cell/B.E. Processor.  |
HPCC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Manikandan, B. Venkataramani, V. Avanthi |
FPGA Implementation of Support Vector Machine Based Isolated Digit Recognition System.  |
VLSI Design  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitri Tan, Carl Lemonds, Michael J. Schulte |
Low-Power Multiple-Precision Iterative Floating-Point Multiplier with SIMD Support.  |
IEEE Trans. Computers  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Przemyslaw Szecówka, Jadwiga Pedzinska-Rzany, Andrzej Wolczowski |
Hardware Approach to Artificial Hand Control Based on Selected DFT Points of Myopotential Signals.  |
EUROCAST  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvie Boldo, Jean-Christophe Filliâtre, Guillaume Melquiond |
Combining Coq and Gappa for Certifying Floating-Point Programs.  |
Calculemus/MKM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | William W. Edmonson, Maarten H. van Emden |
Interval Semantics for Standard Floating-Point Arithmetic  |
CoRR  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Chi Wai Yu, Julien Lamoureux, Steven J. E. Wilton, Philip Heng Wai Leong, Wayne Luk |
The Coarse-Grained/Fine-Grained Logic Interface in FPGAs with Embedded Floating-Point Arithmetic Units.  |
Int. J. Reconfig. Comp.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stef Graillat |
Accurate simple zeros of polynomials in floating point arithmetic.  |
Computers & Mathematics with Applications  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter W. Markstein |
The New IEEE-754 Standard for Floating Point Arithmetic.  |
Numerical Validation in Current Hardware Architectures  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Xiaojun Wang, Miriam Leeser |
Efficient FPGA implementation of qr decomposition using a systolic array architecture.  |
FPGA  |
2008 |
DBLP DOI BibTeX RDF |
FPGA |
| 1 | Komei Fukuda |
Exact algorithms and software in optimization and polyhedral computation.  |
ISSAC  |
2008 |
DBLP DOI BibTeX RDF |
exact implementation, optimization, algorithms, polytopes, convex geometry |
| 1 | Alfredo Buttari, Jack Dongarra, Jakub Kurzak, Piotr Luszczek, Stanimire Tomov |
Using Mixed Precision for Sparse Matrix Computations to Enhance the Performance while Achieving 64-bit Accuracy.  |
ACM Trans. Math. Softw.  |
2008 |
DBLP DOI BibTeX RDF |
floating point, precision, Linear systems, iterative refinement |
| 1 | Walter Schreppers, Annie A. M. Cuyt |
Algorithm 871: A C/C++ precompiler for autogeneration of multiprecision programs.  |
ACM Trans. Math. Softw.  |
2008 |
DBLP DOI BibTeX RDF |
multiprecision, precompiler, Conversion, floating-point |
| 1 | Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke |
Combining symbolic execution with model checking to verify parallel numerical programs.  |
ACM Trans. Softw. Eng. Methodol.  |
2008 |
DBLP DOI BibTeX RDF |
model checking, parallel programming, concurrency, MPI, Message Passing Interface, high performance computing, symbolic execution, floating-point, Spin, Finite-state verification, numerical program |
| 1 | Jason Lee, Lesley Shannon, Matthew J. Yedlin, Gary F. Margrave |
A multi-FPGA application-specific architecture for accelerating a floating point Fourier Integral Operator.  |
ASAP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Byröd, Zuzana Kukelova, Klas Josephson, Tomás Pajdla, Karl Åström |
Fast and robust numerical solutions to minimal problems for cameras with radial distortion.  |
CVPR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jack Coyne, David Cyganski, R. James Duckworth |
FPGA-Based Co-processor for Singular Value Array Reconciliation Tomography.  |
FCCM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Langhammer |
Floating point datapath synthesis for FPGAs.  |
FPL  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Weijun Zhang, Yujie Dun, Weixiang Shi, Baogang Miao, Bingo Zhang |
High Productivity Computing System Based on FPGA and Its Application on Plasma Simulation.  |
HPCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yonghee You, Mee Young Sung |
Haptic Data Transmission Based on the Prediction and Compression.  |
ICC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Beauchamp, Scott Hauck, Keith D. Underwood, K. Scott Hemmert |
Architectural Modifications to Enhance the Floating-Point Performance of FPGAs.  |
IEEE Trans. VLSI Syst.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell J. Myjak, José G. Delgado-Frias |
A Medium-Grain Reconfigurable Architecture for DSP: VLSI Design, Benchmark Mapping, and Performance.  |
IEEE Trans. VLSI Syst.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Toomas P. Plaks |
Guest Editorial Special Section on Configurable Computing Design-II: Hardware Level Reconfiguration.  |
IEEE Trans. VLSI Syst.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Scrofano, Ling Zhuo, Viktor K. Prasanna |
Area-Efficient Arithmetic Expression Evaluation Using Deeply Pipelined Floating-Point Cores.  |
IEEE Trans. VLSI Syst.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Liqian Chen, Antoine Miné, Patrick Cousot |
A Sound Floating-Point Polyhedra Abstract Domain.  |
APLAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Germain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell |
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers.  |
SAT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerlind Plonka, Hagen Schumacher, Manfred Tasche |
Numerical stability of biorthogonal wavelet transforms.  |
Adv. Comput. Math.  |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 65T60, 65G50 |
| 1 | Chin-Yun Chen |
Bivariate Product Cubature Using Peano Kernels for Local Error Estimates.  |
J. Sci. Comput.  |
2008 |
DBLP DOI BibTeX RDF |
Adaptive cubature, Tensor product rules, Optimal error estimates, Peano kernels, Interval computation |
| 1 | Earl E. Swartzlander Jr. |
Systolic FFT Processors: A Personal Perspective.  |
Signal Processing Systems  |
2008 |
DBLP DOI BibTeX RDF |
systolic systems, frequency domain adaptive digital filters, systolic FFT, fast fourier transforms |
| 1 | Peter Kornerup, Vincent Lefèvre, Jean-Michel Muller |
Computing Integer Powers in Floating-Point Arithmetic  |
CoRR  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jérémie Detrey, Florent de Dinechin |
A Tool for Unbiased Comparison between Logarithmic and Floating-point Arithmetic.  |
VLSI Signal Processing  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | 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 |
| 1 | Nicolas Brisebarre, Sylvain Chevillard |
Efficient polynomial L-approximations.  |
IEEE Symposium on Computer Arithmetic  |
2007 |
DBLP DOI BibTeX RDF |
Efficient polynomial approximation, absolute error, L norm, floating-point arithmetic, LLL algorithm, lattice basis reduction, closest vector problem |
| 1 | Tomás Lang, Alberto Nannarelli |
A Radix-10 Digit-Recurrence Division Unit: Algorithm and Architecture.  |
IEEE Trans. Computers  |
2007 |
DBLP DOI BibTeX RDF |
decimal division, algorithms and architectures for floating-point arithmetic, Decimal arithmetic, digit-recurrence division |
Displaying result #1 - #100 of 359 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|