English
Related papers

Related papers: Correctly Rounded Functions For Vector Application…

200 papers

This paper presents rigorous forward error bounds for linear conic optimization problems. The error bounds are formulated in a quite general framework; the underlying vector spaces are not required to be finite-dimensional, and the convex…

Optimization and Control · Mathematics 2007-07-31 Christian Jansson

We address the challenges associated with deploying neural networks on CPUs, with a particular focus on minimizing inference time while maintaining accuracy. Our novel approach is to use the dataflow (i.e., computation order) of a neural…

Hardware Architecture · Computer Science 2023-11-27 Cyrus Zhou , Zack Hassman , Ruize Xu , Dhirpal Shah , Vaugnn Richard , Yanjing Li

Results: We present an application that enables the quantitative analysis of multichannel 5-D (x, y, z, t, channel) and large montage confocal fluorescence microscopy images. The image sequences show stem cells together with blood vessels,…

In many important applications -- such as search engines and relational database systems -- data is stored in the form of arrays of integers. Encoding and, most importantly, decoding of these arrays consumes considerable CPU time.…

Information Retrieval · Computer Science 2021-02-02 Daniel Lemire , Leonid Boytsov

Computed Tomography (CT) is a key 3D imaging technology that fundamentally relies on the compute-intense back-projection operation to generate 3D volumes. GPUs are typically used for back-projection in production CT devices. However, with…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-04-28 Peng Chen , Mohamed Wahib , Xiao Wang , Shinichiro Takizawa , Takahiro Hirofuchi , Hirotaka Ogawa , Satoshi Matsuoka

In order to approximate transandental functions, several algorithms were proposed.Historically, polynomial interpolation, infinite series, $\cdots$ and other$+,\times, -$ and $/$ based algorithms were studied for this purpose.The CORDIC…

Numerical Analysis · Computer Science 2016-06-09 Yassine Hachaïchi , Younes Lahbib

The authors present SHarmonic, a new implementation of the spherical harmonics targeted for electronic-structure calculations. Their approach is to use explicit formulas for the harmonics written in terms of normalized Cartesian…

Computational Physics · Physics 2025-10-08 Xavier Andrade , Jacopo Simoni , Yuan Ping , Tadashi Ogitsu , Alfredo A. Correa

Because of the increasing demand for computation in DNN, researchers develope both hardware and software mechanisms to reduce the compute and memory burden. A widely adopted approach is to use mixed precision data types. However, it is hard…

Programming Languages · Computer Science 2021-03-30 Jian Weng , Animesh Jain , Jie Wang , Leyuan Wang , Yida Wang , Tony Nowatzki

Low bit-width Quantized Neural Networks (QNNs) enable deployment of complex machine learning models on constrained devices such as microcontrollers (MCUs) by reducing their memory footprint. Fine-grained asymmetric quantization (i.e.,…

Hardware Architecture · Computer Science 2020-10-09 Gianmarco Ottavi , Angelo Garofalo , Giuseppe Tagliavini , Francesco Conti , Luca Benini , Davide Rossi

The coordinate rotation digital computer (CORDIC) is a shift-add based fast computing algorithm which has been found in many digital signal processing (DSP) applications. In this paper, a detailed error analysis based on mean square error…

Systems and Control · Electrical Eng. & Systems 2023-08-03 Young-Man Kim

Processing-using-DRAM has been proposed for a limited set of basic operations (i.e., logic operations, addition). However, in order to enable the full adoption of processing-using-DRAM, it is necessary to provide support for more complex…

Most of the digital signal processing applications performs operations like multiplication, addition, square-root calculation, solving linear equations etc. The physical implementation of these operations consumes a lot of hardware and,…

Hardware Architecture · Computer Science 2022-11-09 Neha K Nawandar , Vishal R Satpute

Customizing the precision of data can provide attractive trade-offs between accuracy and hardware resources. We propose a novel form of vector computing aimed at arrays of custom-precision floating point data. We represent these vectors in…

Other Computer Science · Computer Science 2016-02-16 Shixiong Xu , David Gregg

Strong gravitational lensing is a powerful probe of cosmology and the dark matter distribution. Efficient lensing software is already a necessity to fully use its potential and the performance demands will only increase with the upcoming…

Instrumentation and Methods for Astrophysics · Physics 2019-02-12 Markus Rexroth , Christoph Schäfer , Gilles Fourestey , Jean-Paul Kneib

In-memory computing (IMC) with single instruction multiple data (SIMD) setup enables memory to perform operations on the stored data in parallel to achieve high throughput and energy saving. To instruct a SIMD IMC hardware to compute a…

Emerging Technologies · Computer Science 2024-12-04 Xingyue Qian , Chenyang Lv , Zhezhi He , Weikang Qian

We analyse the axioms of Euclidean geometry according to standard object-oriented software development methodology. We find a perfect match: the main undefined concepts of the axioms translate to object classes. The result is a suite of C++…

Computational Geometry · Computer Science 2009-09-29 M. H. van Emden , B. Moa

In spite of considerable progress, computing curvature in Volume of Fluid (VOF) methods continues to be a challenge. The goal is to develop a function or a subroutine that returns the curvature in computational cells containing an interface…

Computational Physics · Physics 2018-11-14 Yinghe Qi , Jiacai Lu , Ruben Scardovelli , Stephane Zaleski , Gretar Tryggvason

Applications often require a fast, single-threaded search algorithm over sorted data, typical in table-lookup operations. We explore various search algorithms for a large number of search candidates over a relatively small array of…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-09 Benjamin Mastripolito , Nicholas Koskelo , Dylan Weatherred , David A. Pimentel , Daniel Sheppard , Anna Pietarila Graham , Laura Monroe , Robert Robey

We present algorithms for computing strongly singular and near-singular surface integrals over curved triangular patches, based on singularity subtraction, the continuation approach, and transplanted Gauss quadrature. We demonstrate the…

Numerical Analysis · Mathematics 2024-06-24 Hadrien Montanelli , Francis Collino , Houssem Haddar

In this paper we propose a mixed precision algorithm in the context of the semi-Lagrangian discontinuous Galerkin method. The performance of this approach is evaluated on a traditional dual socket workstation as well as on a Xeon Phi and an…

Mathematical Software · Computer Science 2018-08-14 Lukas Einkemmer
‹ Prev 1 3 4 5 6 7 10 Next ›