The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1959-1964 (15) 1965-1970 (16) 1971-1973 (20) 1974-1975 (15) 1976-1977 (21) 1978-1980 (17) 1981-1982 (22) 1983 (15) 1984-1985 (29) 1986-1987 (29) 1988 (33) 1989 (36) 1990 (36) 1991 (33) 1992 (33) 1993 (28) 1994 (35) 1995 (38) 1996 (32) 1997 (50) 1998 (44) 1999 (81) 2000 (71) 2001 (79) 2002 (81) 2003 (121) 2004 (124) 2005 (158) 2006 (199) 2007 (192) 2008 (169) 2009 (139) 2010 (89) 2011 (71) 2012 (73) 2013 (92) 2014 (75) 2015 (71) 2016 (96) 2017 (112) 2018 (92) 2019 (113) 2020 (122) 2021 (120) 2022 (120) 2023 (146) 2024 (33)
Publication types (Num. hits)
article(1208) book(8) incollection(7) inproceedings(2167) phdthesis(46)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1775 occurrences of 908 keywords

Results
Found 3437 publication records. Showing 3436 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
30Nabeel 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
30Stefan Gerber 0002, Michael Gössel Detection of Permanent Hardware Faults of a Floating Point Adder by Pseudoduplication. Search on Bibsonomy EDCC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
30Paul K.-G. Tu, Milos D. Ercegovac Gate array implementation of on-line algorithms for floating-point operations. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
30Lawrence Rauchwerger, P. Michael Farmwald A multiple floating point coprocessor architecture. Search on Bibsonomy MICRO The full citation details ... 1990 DBLP  BibTeX  RDF
30David W. Matula Design of a highly parallel IEEE standard floating point unit: the Cyrix 83D87 coprocessor. Search on Bibsonomy SPDP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
30William J. Dally Micro-Optimization of Floating Point Operations. Search on Bibsonomy ASPLOS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF RISC
30Joel Boney Goals and tradeoffs in the design of the MC68881 floating point coprocessor. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
30W. G. Wadey Floating-Point Arithmetics. Search on Bibsonomy J. ACM The full citation details ... 1960 DBLP  DOI  BibTeX  RDF
30T. Y. Tang, Yiu Sang Moon, K. C. Chan Efficient implementation of fingerprint verification for mobile embedded systems using fixed-point arithmetic. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF embedded systems, fingerprint, fixed-point arithmetic
30Eric M. Schwarz, Robert M. Averill III, Leon J. Sigal A Radix-8 CMOS S/390 Multiplier. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Booth algorithm, computer arithmetic, multiplication, multiplier, floating-point unit
29An Guo, Xin Si, Xi Chen, Fangyuan Dong, Xingyu Pu, Dongqi Li, Yongliang Zhou, Lizheng Ren, Yeyang Xue, Xueshan Dong, Hui Gao, Yiran Zhang, Jingmin Zhang, Yuyao Kong, Tianzhu Xiong, Bo Wang, Hao Cai, Weiwei Shan, Jun Yang 0006 A 28nm 64-kb 31.6-TFLOPS/W Digital-Domain Floating-Point-Computing-Unit and Double-Bit 6T-SRAM Computing-in-Memory Macro for Floating-Point CNNs. Search on Bibsonomy ISSCC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
29S. Ross Thompson, James E. Stine An IEEE 754 double-precision floating-point multiplier for denormalized and normalized floating-point numbers. Search on Bibsonomy ASAP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
29Neil Hockert, Katherine Compton Improving Floating-Point Performance in Less Area: Fractured Floating Point Units (FFPUs). Search on Bibsonomy J. Signal Process. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Chengpu Wang Error Estimation of Floating Point Calculations by a New Floating Point Type That Tracks the Errors. Search on Bibsonomy AMCS The full citation details ... 2005 DBLP  BibTeX  RDF
29Masakazu Suzuoki, Ken Kutaragi, Toshiyuki Hiroi, Hidetaka Magoshi, Shin'ichi Okamoto, Masaaki Oka, Akio Ohba, Yasuyuki Yamamoto, Makoto Furuhashi, Masayoshi Tanaka, Teiji Yutaka, Toyoshi Okada, Masato Nagamatsu, Yukihiro Urakawa, Masami Funyu, Atsushi Kunimatsu, Harutaka Goto, Kazuhiro Hashimoto, Nobuhiro Ide, Hiroaki Murakami, Yukio Ohtaguro, Akira Aono A microprocessor with a 128-bit CPU, ten floating-point MAC's, four floating-point dividers, and an MPEG-2 decoder. Search on Bibsonomy IEEE J. Solid State Circuits The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Trân-Thông, Bede Liu Floating Point Fast Fourier Transform Computation Using Double Precision Floating Point Accumulators. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29Robert H. Morris Sr. Tapered Floating Point: A New Floating-Point Representation. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1971 DBLP  DOI  BibTeX  RDF
29Pavle Belanovic, Markus Rupp Automated Floating-Point to Fixed-Point Conversion with the Fixify Environment. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Jiann-Der Lee, Chung-Hsien Huang, Li-Chang Liu, Shih-Sen Hsieh, Shuen-Ping Wang, Shin-Tseng Lee A Modified Soft-Shape-Context ICP Registration System of 3-D Point Data. Search on Bibsonomy ICONIP (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF registration, KD-tree, ICP, Shape context
28Behzad Akbarpour, Sofiène Tahar Error Analysis of Digital Filters Using Theorem Proving. Search on Bibsonomy TPHOLs The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Sanghamitra Roy, Debjit Sinha, Prithviraj Banerjee An algorithm for trading off quantization error with hardware resources for MATLAB based FPGA design. Search on Bibsonomy FPGA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Y. Hamid, Martin Langhammer Multiplier architectures for FPGA double precision functions (abstract only). Search on Bibsonomy FPGA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF fpga, floating point
28Matthieu Martel Program transformation for numerical precision. Search on Bibsonomy PEPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF program transformation, abstract interpretation, compiler optimizations, floating-point numbers, numerical precision
28Alfredo Buttari, Jack J. 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
28Walter 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
28Charles F. Webb IBM z10: The Next-Generation Mainframe Microprocessor. Search on Bibsonomy IEEE Micro The full citation details ... 2008 DBLP  DOI  BibTeX  RDF high-frequency design, decimal floating-point, reliability, pipeline, microprocessor, branch prediction, accelerators, symmetric multiprocessor (SMP), mainframe, Hot Chips 19
28Francisco J. Jaime, Julio Villalba, Javier Hormigo, Emilio L. Zapata Pipelined Architecture for Additive Range Reduction. Search on Bibsonomy J. Signal Process. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF range reduction, floating-point, pipelined architecture, modular arithmetic, redundant arithmetic
28Xingquan Cai, Jinhong Li, Zhitong Su Efficient Mushroom Cloud Simulation on GPU. Search on Bibsonomy Edutainment The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mushroom Cloud simulation, GPU (Graphics Processing Unit), Floating Point Textures, state-preserving simulation, particle system
28Nicolas 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
28Nicolas Brisebarre, Jean-Michel Muller, Arnaud Tisserand Computing machine-efficient polynomial approximations. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF minimax approximation, linear programming, floating-point arithmetic, polytopes, Polynomial approximation, Chebyshev polynomials
28Ge Zhang 0007, Weiwu Hu, Zichu Qi Parallel Error Detection for Leading Zero Anticipation. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF leading zero anticipation, computer arithmetic, floating-point addition
28Dianne P. O'Leary Computer Memory and Arithmetic: A Look under the Hood. Search on Bibsonomy Comput. Sci. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF memory, storage, floating point
28Sven Beyer, Christian Jacobi 0002, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul Putting it all together - Formal verification of the VAMP. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Complete microprocessor verification, Tomasulo scheduler, Cache memory interface, Model checking, Formal methods, Theorem proving, Floating point unit
28Matthieu Martel Semantics of roundoff error propagation in finite precision calculations. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Abstract interpretation, Floating-point arithmetic, IEEE 754 Standard, Numerical precision
28Stef Graillat, Philippe Langlois, Nicolas Louvet Improving the compensated Horner scheme with a fused multiply and add. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF IEEE-754 floating point arithmetic, error-free transformations, fused multiply and add, horner scheme, polynomial evaluation
28Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke Using model checking with symbolic execution to verify parallel numerical programs. Search on Bibsonomy ISSTA The full citation details ... 2006 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
28Eric M. Schwarz, Martin S. Schmookler, Son Dao Trong FPU Implementations with Denormalized Numbers. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Denormalized numbers, subnormals, floating-point hardware, underflow trap, IEEE 754 Standard
28André Galligo, Jean Pascal Pavone Selfintersections of a bézier bicubic surface. Search on Bibsonomy ISSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF floating point coefficients, implicit equations, polynomial solver, singular locus, sparse resultant, surfaces of bidegree (3, 3), implementations
28Yves Nievergelt Analysis and applications of Priest's distillation. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fused multiply-add instruction, matrix arithmetic, provable accuracy, interval arithmetic, Floating-point arithmetic, rounding error, complex arithmetic
28Matthieu Martel Validation of assembler programs for DSPs: a static analyzer. Search on Bibsonomy PASTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF numerical accuracy, abstract interpretation, floating-point numbers
28Umut Küçükkabak, Ahmet Akkas Design and Implementation of Reciprocal Unit Using Table Look-up and Newton-Raphson Iteration. Search on Bibsonomy DSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF computer arithmetic, floating-point, multiplier, division, rounding, Reciprocal, ROM, table look-up, Newton-Raphson, double precision
28Aleksandar Nanevski, Guy E. Blelloch, Robert Harper 0001 Automatic Generation of Staged Geometric Predicates. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF robust predicates, floating-point filters, exact arithmetic, computational geometry, program transformation
28Jen-Shiun Chiang, Min-Shiou Tsai A Radix-4 New Svobota-Tung Divider with Constant Timing Complexity for Prescaling. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF floating-point division, new Svoboda-Tung division, radix-4, Svoboda-Tung division, computer arithmetic, prescaling, signed digit number system
28Nuno 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
28Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang A Systematic Incrementalization Technique and Its Application to Hardware Design. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF design derivation, floating point operations, Formal methods, hardware verification, formal synthesis, transformational programming
28Matt Kaufmann, J Strother Moore An Industrial Strength Theorem Prover for a Logic Based on Common Lisp. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF total functions, microcode verification, floating point division, Formal verification, digital signal processing, type checking, computational logic, automatic theorem proving, partial functions
28Gensoh Matsubara, Nobuhiro Ide A Low Power Zero-Overhead Self-Timed Division and Square Root Unit Combining a Single-Rail Static Circuit with a Dual-Rail Dynamic Circuit. Search on Bibsonomy ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF floating point, division, square root, self-timed
28David L. Harris, Stuart F. Oberman, Mark Horowitz SRT Division Architectures and Implementations. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 1997 DBLP  DOI  BibTeX  RDF skew-tolerant, Computer arithmetic, floating point units, SRT division, domino circuits
28Jean-Paul Theis, Harald Schlimper Ultrafast compact CMOS dividers. Search on Bibsonomy ICPADS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF CMOS dividers, ultrafast, restoring division, floating-point division, 0.3 mum, parallelization, timing, layout, compact, dividing circuits, divider circuits
28John Krumm Object detection with vector quantized binary features. Search on Bibsonomy CVPR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF vector quantized binary features, representational efficiency, eigenimage methods, square subtemplates, background clutter, real-valued eigenvector principle components, binary vector quantization, geometric hash table, computer vision, computer vision, object detection, Hough transform, receiver operating characteristic, partial occlusions, floating point computations, illumination changes
28Pablo Ibáñez, Víctor Viñals Performance Assessment of Contents Management in Multilevel On-Chip Caches. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF multilevel on-chip caches, Inclusion contents management, Exclusion, second-level cache miss ratio, system CPI, floating point SPEC'92 benchmarks, performance metrics, contents management, cache storage, design space, performance assessment, Demand
28B. G. S. Doman, C. J. Pursglove, W. M. Coen A Set of Ada Packages for High Precision Calculations. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF arithmetic elementary-function evaluation, multiple-precision portable software, Ada, accuracy, floating point
28Peter Soderquist, Miriam Leeser An Area/Performance Comparison of Subtractive and Multiplicative Divide/Square Root Implementations. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Newton-Raphson method, Goldschmidt's algorithm, microprocessor, Floating-point, division, square root, SRT
28Preeti Ranjan Panda, Nikil D. Dutt 1995 high level synthesis design repository. Search on Bibsonomy ISSS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF 1995 high level synthesis design repository, VHDL language, behavioral finite state machines, behavioral level, computational complexity, high level synthesis, finite state machines, VHDL, microprocessors, hardware description languages, microprocessor chips, floating point units
28W. Neville Holmes, Colin Hallam The Philosophy of Nothing and Everything. Search on Bibsonomy APL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF indeterminate, APL, comparison, floating point, arithmetic, tolerance, zero, J, infinity
28Francis Y. L. Chin, Francis Wu A microprocessor-based optical character recognition check reader. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF microprocessor-based optical character recognition check reader, Magnetic Ink Character Recognition, check reader, lens system, colour image, hardware limitations, optical character recognition, floating point arithmetics, recognition algorithm, software solution
28Edward 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 Distributed 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
28Richard S. Wallace, Michael D. Howard HBA Vision Architecture: Built and Benchmarked. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF vision architecture, hierarchical bus architecture, algorithmic benchmarks, local neighborhood operations, Apply, image-to-image transformations, floating-point coprocessors, computer vision, computer vision, parallel processing, parallel architectures, software tools, programming environment, programming environments, computerised picture processing, programming model, looping, boundary conditions
28W. S. Brown, Paul L. Richman The choice of base. Search on Bibsonomy Commun. ACM The full citation details ... 1969 DBLP  DOI  BibTeX  RDF base choice, accuracy, floating-point, number representations
27Martin Byröd, Zuzana Kukelova, Klas Josephson, Tomás Pajdla, Kalle Å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
26Karl Rehmer, Linda Rising A geometry package in Ada (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Ada
26Behzad Akbarpour, Sofiène Tahar Modeling System C Fixed-Point Arithmetic in HOL. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Thomas Lenart, Viktor Öwall Architectures for Dynamic Data Scaling in 2/4/8K Pipeline FFT Cores. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Chuan He, Guan Qin, Mi Lu, Wei Zhao 0001 An Optimized Finite Difference Computing Engine on FPGAs. Search on Bibsonomy FCCM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Jiansheng Chen, Yiu Sang Moon, K. F. Fong Efficient Fingerprint Image Enhancement for Mobile Embedded Systems. Search on Bibsonomy ECCV Workshop BioAW The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25John Harrison 0001 Isolating Critical Cases for Reciprocals Using Integer Factorization. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Kuo-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
24David Monniaux Compositional Analysis of Floating-Point Linear Numerical Filters. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Abhijit Mitra, Mrityunjoy Chakraborty Realization of the NLMS based transversal adaptive filter using block floating point arithmetic. Search on Bibsonomy ISCAS (4) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Earl E. Swartzlander Jr. Systolic FFT Processors: A Personal Perspective. Search on Bibsonomy J. Signal Process. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF systolic systems, frequency domain adaptive digital filters, systolic FFT, fast fourier transforms
23Warren A. Hunt Jr., Sol Swords Centaur Technology Media Unit Verification. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Johannes Jendrsczok, Rolf Hoffmann, Thomas Lenck Generated Horizontal and Vertical Data Parallel GCA Machines for the N-Body Force Calculation. Search on Bibsonomy ARCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Sylvie Boldo, Guillaume Melquiond Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Verification, Computer arithmetic
23Frithjof Blomquist, Werner Hofschuster, Walter Krämer A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range. Search on Bibsonomy Numerical Validation in Current Hardware Architectures The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AMS classification 65G20, 65Y99, 37M99, 30-04, 65G30
23Xavier Pujol, Damien Stehlé Rigorous and Efficient Short Lattice Vectors Enumeration. Search on Bibsonomy ASIACRYPT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SVP, lattice cryptanalysis, Lattices, numerical stability
23Xuehai Qian, He Huang, Zhenzhong Duan, Junchao Zhang, Nan Yuan, Yongbin Zhou, Hao Zhang 0009, Huimin Cui, Dongrui Fan Optimized Register Renaming Scheme for Stack-Based x86 Operations. Search on Bibsonomy ARCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Alexey Ershov, Andrey Naraikin, Sergey Maidanov Quad and correctly rounded double precision math functions: portable and optimized for Intel architectures. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF correct rounding, elementaly functions, quad precision, IEEE 754
23Kurt Mehlhorn, Ralf Osbild, Michael Sagraloff Reliable and Efficient Computational Geometry Via Controlled Perturbation. Search on Bibsonomy ICALP (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Kieron Turkington, Konstantinos Masselos, George A. Constantinides, Philip Heng Wai Leong FPGA Based Acceleration of the Linpack Benchmark: A High Level Code Transformation Approach. Search on Bibsonomy FPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Alistair P. Rendell, Bill Clarke, Josh Milthorpe Interval Arithmetic and Computational Science: Performance Considerations. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Di Jiang, Neil F. Stewart Backward Error Analysis in Computational Geometry. Search on Bibsonomy ICCSA (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Jack J. Dongarra The Impact of Multicore on Math Software and Exploiting Single Precision Computing to Obtain Double Precision Results. Search on Bibsonomy ISPA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Franky Backeljauw, Annie A. M. Cuyt A Constructive Criticism of the C/C++ Proposal for Complex Arithmetic. Search on Bibsonomy Reliab. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Nicolas Brisebarre, Jean-Michel Muller Correctly Rounded Multiplication by Arbitrary Precision Constants. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Canqun Yang, Xuejun Yang, Jingling Xue Improving the Performance of GCC by Exploiting IA-64 Architectural Features. Search on Bibsonomy Asia-Pacific Computer Systems Architecture Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Ge Zhang 0007, Zichu Qi, Weiwu Hu A novel design of leading zero anticipation circuit with parallel error detection. Search on Bibsonomy ISCAS (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Maya B. Gokhale, Janette Frigo, Christine Ahrens, Justin L. Tripp, Ronald G. Minnich Monte Carlo Radiative Heat Transfer Simulation on a Reconfigurable Computer. Search on Bibsonomy FPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Barry Lee, Neil Burgess A Dual-Path Logarithmic Number System Addition/Subtraction Scheme for FPGA. Search on Bibsonomy FPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Ren-Cang Li, Sylvie Boldo, Marc Daumas Theorems on Efficient Argument Reductions. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Amr T. Abdel-Hamid, Sofiène Tahar, John Harrison 0001 Enabling Hardware Verification through Design Changes. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23E. I. Chester, John N. Coleman Matrix Engine for Signal Processing Applications Using the Logarithmic Number System. Search on Bibsonomy ASAP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Konstantina Karagianni, Vassilis Paliouras, George Diamantakos, Thanos Stouraitis Operation-Saving VLSI Architectures for 3D Geometrical Transformations. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Elementary geometrical transformations, vector unit, VLSI architecture, graphics processor
23Yan-Cheng Chang, Chi-Jen Lu Oblivious Polynomial Evaluation and Oblivious Neural Learning. Search on Bibsonomy ASIACRYPT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23Marina L. Gavrilova, Helmut Ratschek, Jon G. Rokne Exact Computation of Delaunay and Power Triangulations. Search on Bibsonomy Reliab. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Andreas Moshovos, Gurindar S. Sohi Read-After-Read Memory Dependence Prediction. Search on Bibsonomy MICRO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Richard P. Brent Computer Arithmetic - A Programmer's Perspective. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Richard Kelsey, William D. Clinger, Jonathan Rees Revised5 Report on the Algorithmic Language Scheme. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SCHEME
23Mourad Aberbour, A. Houelle, Habib Mehrez, Nicolas Vaucher, Alain Guyot On portable macrocell FPU generators for division and square root operators complying to the full IEEE-754 standard. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
23Steven Fortune, Christopher J. Van Wyk Efficient Exact Arithmetic for Computational Geometry. Search on Bibsonomy SCG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF C++
23Michael J. Schulte, Earl E. Swartzlander Jr. Exact rounding of certain elementary functions. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #301 - #400 of 3436 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license