The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase floating-point arithmetic (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1973 (15) 1974-1985 (16) 1986-1991 (17) 1992-1994 (20) 1995-1996 (18) 1997-1999 (26) 2000 (15) 2001-2002 (30) 2003 (18) 2004 (17) 2005 (27) 2006 (44) 2007 (29) 2008 (26) 2009 (19) 2010-2011 (21) 2012 (1)
Publication types (Num. hits)
article(136) book(2) inproceedings(221)
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
3Jean-Claude Bajard, Laurent-Stéphane Didier, Jean-Michel Muller A New Euclidean Division Algorithm For Residue Number Systems. Search on Bibsonomy ASAP The full citation details ... 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
2Marius 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. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Angelo Brillout, Daniel Kroening, Thomas Wahl Mixed abstractions for floating-point arithmetic. Search on Bibsonomy FMCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Stefan Funke Of What Use Is Floating-Point Arithmetic in Computational Geometry? Search on Bibsonomy Efficient Algorithms The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Ivan Morel, Damien Stehlé, Gilles Villard H-LLL: using householder inside LLL. Search on Bibsonomy ISSAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF householder's algorithm, floating-point arithmetic, lattice reduction, lll
2Nicolas Brisebarre, Jean-Michel Muller Correctly Rounded Multiplication by Arbitrary Precision Constants. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF computer arithmetic, floating-point arithmetic
2Ulrich W. Kulisch Complete Interval Arithmetic and Its Implementation on the Computer. Search on Bibsonomy Numerical Validation in Current Hardware Architectures The full citation details ... 2008 DBLP  DOI  BibTeX  RDF arithmetic standards, computer arithmetic, interval arithmetic, floating-point arithmetic
2Guillermo A. Lopez, Michela Taufer, Patricia J. Teller Evaluation of IEEE 754 floating-point arithmetic compliance across a wide range of heterogeneous computers. Search on Bibsonomy Richard Tapia Celebration of Diversity in Computing Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF result divergences, scientific computation, heterogeneous computing
2Marius 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. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Pedro C. Diniz, Gokul Govindu Design of a Field-Programmable Dual-Precision Floating-Point Arithmetic Unit. Search on Bibsonomy FPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Julie 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). Search on Bibsonomy SC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Kuo-Kai Shyu, Ming-Huan Li FPGA Implementation of FastICA based on Floating-Point Arithmetic Design for Real-Time Blind Source Separation. Search on Bibsonomy IJCNN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Zizhong Chen, Graham E. Fagg, Edgar Gabriel, Julien Langou, Thara Angskun, George Bosilca, Jack Dongarra Fault tolerant high performance computing by a coding approach. Search on Bibsonomy PPOPP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF floating-point arithmetic coding, fault tolerance, message passing interface, high performance computing
2Y.-K. Zhu, J.-H. Yong, G.-Q. Zheng Line Segment Intersection Testing. Search on Bibsonomy Computing The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Intersection testing for line segments, dot product summation, floating-point arithmetic, rounding error
2Yong-Kang Zhu, Jun-Hai Yong, Guo-Qin Zheng Computing the Sign of a Dot Product Sum. Search on Bibsonomy CIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Floating-point arithmetic, Interval analysis, Rounding error
2Hossam A. H. Fahmy, Michael J. Flynn The Case for a Redundant Format in Floating Point Arithmetic. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2Marina L. Gavrilova An Explicit Solution for Computing the Euclidean -dimensional Voronoi Diagram of Spheres in a Floating-Point Arithmetic. Search on Bibsonomy ICCSA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2Yves Nievergelt Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Doubly compensated summation, fused multiply-add instruction, matrix arithmetic, provable accuracy, floating-point arithmetic, rounding error
2Gerhard Lienhart, Andreas Kugel, Reinhard Männer Using Floating-Point Arithmetic on FPGAs to Accelerate Scientific N-Body Simulations. Search on Bibsonomy FCCM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
2Ahmet Akkas A Combined Interval and Floating-Point Comparator/Selector. Search on Bibsonomy ASAP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF VLSI design, Interval arithmetic, floating-point arithmetic, comparator, specialized hardware, selector
2Matthieu Martel Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach. Search on Bibsonomy ESOP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF IEEE Standard 754, Abstract Interpretation, Floating-point Arithmetic, Numerical Precision
2Brigitte Verdonk, Annie A. M. Cuyt, Dennis Verschaeren A precision- and range-independent tool for testing floating-point arithmetic II: conversions. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF IEEE floating-point standard, multiprecision, validation, conversion, floating-point, arithmetic, decimal
2Henrik Koy, Claus-Peter Schnorr Segment LLL-Reduction with Floating Point Orthogonalization. Search on Bibsonomy CaLC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF LLL-reduction, Householder reflexion, scaled basis, segment LLL-reduction, local LLL-reduction, stability, floating point arithmetic
2Shiro Kobayashi, Gerhard Fettweis A Hierarchical Block-Floating-Point Arithmetic. Search on Bibsonomy VLSI Signal Processing The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
2Nuno Roma, Leonel Sousa In the Development and Evaluation of Specialized Processors for Computing High-Order 2-D Image Moments in Real-Time. Search on Bibsonomy CAMP The full citation details ... 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
2Jonathan Richard Shewchuk Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates. Search on Bibsonomy Discrete & Computational Geometry The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
2Nabeel Shirazi, Al Walters, Peter M. Athanas Quantitative analysis of floating point arithmetic on FPGA based custom computing machines. Search on Bibsonomy FCCM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
2H. Yamada, T. Hotta, T. Nishiyama, F. Murabayashi, T. Yamauchi, H. Sawamoto A 13.3ns double-precision floating-point ALU and multiplier. (PDF / PS) Search on Bibsonomy ICCD The full citation details ... 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
2Barry S. Fagin, C. Renard Field programmable gate arrays and floating point arithmetic. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
2Edward C. Bronson, Thomas L. Casavant, Leah H. Jamieson Experimental Application-Driven Architecture Analysis of an SIMD/MIMD Parallel Processing System. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 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
2Geoff Barrett Formal Methods Applied to a Floating-Point Number System. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
2Harry W. Look Compatible software and hardware implementations permitted by IEEE standards for binary floating-point arithmetic. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
2David J. Kuck, Douglas Stott Parker Jr., Ahmed H. Sameh Analysis of Rounding Methods in Floating-Point Arithmetic. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1977 DBLP  DOI  BibTeX  RDF guard digits, ROM rounding, rounding methods, Floating-point arithmetic
1Peter Kornerup, Jean-Michel Muller, Adrien Panhaleux Floating-Point Arithmetic on Round-to-Nearest Representations Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Yuanwu Lei, Yong Dou, Jie Zhou FPGA-Specific Custom VLIW Architecture for Arbitrary Precision Floating-Point Arithmetic. Search on Bibsonomy IEICE Transactions The full citation details ... 2011 DBLP  BibTeX  RDF
1Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux Midpoints and Exact Points of Some Algebraic Functions in Floating-Point Arithmetic. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Diego 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. Search on Bibsonomy IEEE Design & Test of Computers The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yuanwu Lei, Yong Dou, Jie Zhou, Sufeng Wang VPFPAP: A Special-Purpose VLIW Processor for Variable-Precision Floating-Point Arithmetic. Search on Bibsonomy FPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Buddika Sumanasena, Peter H. Bauer Stability of distributed 3-D systems implemented on grid sensor networks using floating point arithmetic. Search on Bibsonomy CDC-ECE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Syed Zohaib Gilani, Nam Sung Kim, Michael J. Schulte Energy-efficient floating-point arithmetic for software-defined radio architectures. Search on Bibsonomy ASAP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yuanwu Lei, Yong Dou, Song Guo, Jie Zhou FPGA Implementation of Variable-Precision Floating-Point Arithmetic. Search on Bibsonomy APPT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manouk V. Manoukian, George A. Constantinides Accurate Floating Point Arithmetic through Hardware Error-Free Transformations. Search on Bibsonomy ARC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Faizal Arya Samman, Surapong Pongyupinpanich, Manfred Glesner Reconfigurable streaming processor core with interconnected floating-point arithmetic units for multicore adaptive signal processing systems. Search on Bibsonomy ReCoSoC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Kornerup, Christoph Quirin Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller Computing correctly rounded integer powers in floating-point arithmetic. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jean-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. Search on Bibsonomy 2010   DOI  RDF
1Claude-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. Search on Bibsonomy PASCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jérémy Jean, Stef Graillat A Parallel Algorithm for Dot Product over Word-Size Finite Field Using Floating-Point Arithmetic. Search on Bibsonomy SYNASC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1E. Tasdemir, Götz Kappen, Tobias G. Noll Potential of using block floating point arithmetic in ASIP-based GNSS-receivers. Search on Bibsonomy ASAP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nicolas Brisebarre, Nicolas Louvet, Érik Martin-Dorel, Jean-Michel Muller, Adrien Panhaleux, Milos D. Ercegovac Implementing decimal floating-point arithmetic through binary: Some suggestions. Search on Bibsonomy ASAP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Siegfried M. Rump Accurate and Reliable Computing in Floating-Point Arithmetic. Search on Bibsonomy ICMS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Siegfried M. Rump Verification methods: rigorous results using floating-point arithmetic. Search on Bibsonomy ISSAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Amirhossein Alimohammad, Saeed Fouladi Fard, Bruce F. Cockburn A Unified Architecture for the Accurate and High-Throughput Implementation of Six Key Elementary Functions. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2010 DBLP  DOI  BibTeX  RDF single-precision arithmetic, computer arithmetic, Floating-point arithmetic, square root, reciprocal, logarithm
1Zhanpeng Jin, Richard Neil Pittman, Alessandro Forin Reconfigurable custom floating-point instructions (abstract only). Search on Bibsonomy FPGA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF emips, reconfigurable, extension, floating-point, partial reconfiguration
1Patrice Godefroid, Johannes Kinder Proving memory safety of floating-point computations by combining static and dynamic program analysis. Search on Bibsonomy ISSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF static and dynamic program analysis, program verification
1Awad H. Al-Mohy, Nicholas J. Higham The complex step approximation to the Fréchet derivative of a matrix function. Search on Bibsonomy Numerical Algorithms The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 15A60, 65F30
1Yongsoon 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. Search on Bibsonomy EURASIP J. Emb. Sys. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marina L. Gavrilova An Explicit Solution for Computing the vertices of the Euclidean d-Dimensional Voronoi Diagram of Spheres in a Floating-Point Arithmetic. Search on Bibsonomy Int. J. Comput. Geometry Appl. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1D. Jiang, N. F. Stewart Floating-Point Arithmetic for Computational Geometry Problems with Uncertain Data. Search on Bibsonomy Int. J. Comput. Geometry Appl. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christoph Fünfzig, Dominique Michelucci, Sebti Foufou Nonlinear systems solver in floating-point arithmetic using LP reduction. Search on Bibsonomy Symposium on Solid and Physical Modeling The full citation details ... 2009 DBLP  DOI  BibTeX  RDF intersection computation, subdivision solver, linear programming, CAD, interval arithmetic, geometric constraints, geometric constraint solving, distance computation
1Daniel 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. Search on Bibsonomy ISDA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1James Demmel, Yozo Hida, E. Jason Riedy, Xiaoye S. Li Extra-Precise Iterative Refinement for Overdetermined Least Squares Problems. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Linear algebra, floating-point arithmetic, BLAS, LAPACK
1Yee Jern Chong, Sri Parameswaran Flexible multi-mode embedded floating-point unit for field programmable gate arrays. Search on Bibsonomy FPGA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dual-precision, embedded block, fpu, fpga, floating-point, fpga architecture
1Zhonggang Zeng The approximate irreducible factorization of a univariate polynomial: revisited. Search on Bibsonomy ISSAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multiplicity, polynomial factoring, ill-posed problems
1Linsheng Zhang, Yan Zhang, Wenbiao Zhou Floating-point to Fixed-point Transformation Using Extreme Value Theory. Search on Bibsonomy ACIS-ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Shodai Yokoyama, Kazuya Matsumoto, Stanislav G. Sedukhin Matrix Inversion on the Cell/B.E. Processor. Search on Bibsonomy HPCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1J. Manikandan, B. Venkataramani, V. Avanthi FPGA Implementation of Support Vector Machine Based Isolated Digit Recognition System. Search on Bibsonomy VLSI Design The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dimitri Tan, Carl Lemonds, Michael J. Schulte Low-Power Multiple-Precision Iterative Floating-Point Multiplier with SIMD Support. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Liang-Kai Wang, Michael J. Schulte, John D. Thompson, Nandini Jairam Hardware Designs for Decimal Floating-Point Addition and Related Operations. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Przemyslaw Szecówka, Jadwiga Pedzinska-Rzany, Andrzej Wolczowski Hardware Approach to Artificial Hand Control Based on Selected DFT Points of Myopotential Signals. Search on Bibsonomy EUROCAST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sylvie Boldo, Jean-Christophe Filliâtre, Guillaume Melquiond Combining Coq and Gappa for Certifying Floating-Point Programs. Search on Bibsonomy Calculemus/MKM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1William W. Edmonson, Maarten H. van Emden Interval Semantics for Standard Floating-Point Arithmetic Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Chi 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. Search on Bibsonomy Int. J. Reconfig. Comp. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stef Graillat Accurate simple zeros of polynomials in floating point arithmetic. Search on Bibsonomy Computers & Mathematics with Applications The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter W. Markstein The New IEEE-754 Standard for Floating Point Arithmetic. Search on Bibsonomy Numerical Validation in Current Hardware Architectures The full citation details ... 2008 DBLP  BibTeX  RDF
1Xiaojun Wang, Miriam Leeser Efficient FPGA implementation of qr decomposition using a systolic array architecture. Search on Bibsonomy FPGA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF FPGA
1Komei Fukuda Exact algorithms and software in optimization and polyhedral computation. Search on Bibsonomy ISSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF exact implementation, optimization, algorithms, polytopes, convex geometry
1Alfredo 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. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF floating point, precision, Linear systems, iterative refinement
1Walter Schreppers, Annie A. M. Cuyt Algorithm 871: A C/C++ precompiler for autogeneration of multiprecision programs. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multiprecision, precompiler, Conversion, floating-point
1Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke Combining symbolic execution with model checking to verify parallel numerical programs. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 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
1Jason Lee, Lesley Shannon, Matthew J. Yedlin, Gary F. Margrave A multi-FPGA application-specific architecture for accelerating a floating point Fourier Integral Operator. Search on Bibsonomy ASAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin 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. Search on Bibsonomy CVPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jack Coyne, David Cyganski, R. James Duckworth FPGA-Based Co-processor for Singular Value Array Reconciliation Tomography. Search on Bibsonomy FCCM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Langhammer Floating point datapath synthesis for FPGAs. Search on Bibsonomy FPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Weijun Zhang, Yujie Dun, Weixiang Shi, Baogang Miao, Bingo Zhang High Productivity Computing System Based on FPGA and Its Application on Plasma Simulation. Search on Bibsonomy HPCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yonghee You, Mee Young Sung Haptic Data Transmission Based on the Prediction and Compression. Search on Bibsonomy ICC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael J. Beauchamp, Scott Hauck, Keith D. Underwood, K. Scott Hemmert Architectural Modifications to Enhance the Floating-Point Performance of FPGAs. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mitchell J. Myjak, José G. Delgado-Frias A Medium-Grain Reconfigurable Architecture for DSP: VLSI Design, Benchmark Mapping, and Performance. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Toomas P. Plaks Guest Editorial Special Section on Configurable Computing Design-II: Hardware Level Reconfiguration. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ronald Scrofano, Ling Zhuo, Viktor K. Prasanna Area-Efficient Arithmetic Expression Evaluation Using Deeply Pipelined Floating-Point Cores. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Liqian Chen, Antoine Miné, Patrick Cousot A Sound Floating-Point Polyhedra Abstract Domain. Search on Bibsonomy APLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Germain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gerlind Plonka, Hagen Schumacher, Manfred Tasche Numerical stability of biorthogonal wavelet transforms. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 65T60, 65G50
1Chin-Yun Chen Bivariate Product Cubature Using Peano Kernels for Local Error Estimates. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Adaptive cubature, Tensor product rules, Optimal error estimates, Peano kernels, Interval computation
1Earl E. Swartzlander Jr. Systolic FFT Processors: A Personal Perspective. Search on Bibsonomy Signal Processing Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF systolic systems, frequency domain adaptive digital filters, systolic FFT, fast fourier transforms
1Peter Kornerup, Vincent Lefèvre, Jean-Michel Muller Computing Integer Powers in Floating-Point Arithmetic Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Jérémie Detrey, Florent de Dinechin A Tool for Unbiased Comparison between Logarithmic and Floating-point Arithmetic. Search on Bibsonomy VLSI Signal Processing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Chichyang Chen, Paul Chow Design of a versatile and cost-effective hybrid floating-point/LNS arithmetic processor. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF exponential computation, logarithmic computation, logarithmic number system (LNS) arithmetic, floating-point arithmetic
1Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann MPFR: A multiple-precision binary floating-point library with correct rounding. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF correct rounding, floating-point arithmetic, elementary function, Multiple-precision arithmetic, IEEE 754 standard, portable software
1Nicolas Brisebarre, Sylvain Chevillard Efficient polynomial L-approximations. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Efficient polynomial approximation, absolute error, L norm, floating-point arithmetic, LLL algorithm, lattice basis reduction, closest vector problem
1Tomás Lang, Alberto Nannarelli A Radix-10 Digit-Recurrence Division Unit: Algorithm and Architecture. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.