Results 31 to 40 of about 259,090 (289)

DESIGN AND PERFORMANCE ANALYSIS OF TERNARY LOGIC BASED ALU USING DOUBLE PRECISION FLOATING POINT [PDF]

Proceedings on Engineering Sciences
In digital circuits, particularly space signal applications, the detection/estimation of phase (angle) like milli degree is challenging and involves many complex operations.
Nagarathna R , A R Aswatha
doaj   +1 more source

Planar shape manipulation using approximate geometric primitives [PDF]

, 2012
We present robust algorithms for set operations and Euclidean transformations of curved shapes in the plane using approximate geometric primitives. We use a refinement algorithm to ensure consistency.
Milenkovic, Victor, Sacks, Elisha, Trac, Steven   +2 more
core   +1 more source

Algorithms for estimating modular numbers in floating-point arithmetic

Наука. Инновации. Технологии, 2022
In the residue number system (RNS), the operations of addition, subtraction, and multiplication are executed in parallel for different digits (residues) of the modular numbers.
Konstantin Sergeevich Isupov
doaj  

DARKSIDE: A Heterogeneous RISC-V Compute Cluster for Extreme-Edge On-Chip DNN Inference and Training

IEEE Open Journal of the Solid-State Circuits Society, 2022
On-chip deep neural network (DNN) inference and training at the Extreme-Edge (TinyML) impose strict latency, throughput, accuracy, and flexibility requirements.
Angelo Garofalo, Yvan Tortorella, Matteo Perotti, Luca Valente, Alessandro Nadalini, Luca Benini, Davide Rossi, Francesco Conti   +7 more
doaj   +1 more source

Bridging the gap: Multi‐stakeholder perspectives of molecular diagnostics in oncology

Molecular Oncology, EarlyView.
Although molecular diagnostics is transforming cancer care, implementing novel technologies remains challenging. This study identifies unmet needs and technology requirements through a two‐step stakeholder involvement. Liquid biopsies for monitoring applications and predictive biomarker testing emerge as key unmet needs. Technology requirements vary by
Jorine Arnouts, Senada Koljenović, Elise Daems, Karolien De Wael, Marc Peeters, Léon C. van Kempen, Greetje Vanhoutte, Karen Zwaenepoel, Timon Vandamme   +8 more
wiley   +1 more source

Towards Verified, Constant-time Floating Point Operations [PDF]

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018
The runtimes of certain floating-point instructions can vary up to two orders of magnitude with instruction operands, allowing attackers to break security and privacy guarantees of real systems (\eg browsers). To prevent attacks due to such floating-point timing channels, we introduce CTFP, an efficient, machine-checked, and extensible system that ...
Marc Andrysco, Andres Nötzli, Fraser Brown, Ranjit Jhala, Deian Stefan   +4 more
openaire   +1 more source

Detecting Floating-Point Errors via Atomic Conditions [PDF]

, 2019
This paper tackles the important, difficult problem of detecting program inputs that trigger large floating-point errors in numerical code. It introduces a novel, principled dynamic analysis that leverages the mathematically rigorously analyzed condition
Fu, Zhoulai, Su, Zhendong, Xiong, Yiingfei, Zhang, Lu, Zou, Daming, Zou, Muhan   +5 more
core   +1 more source

Patient‐specific pharmacogenomics demonstrates xCT as predictive therapeutic target in colon cancer with possible implications in tumor connectivity

Molecular Oncology, EarlyView.
This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker, Keren Zohar, Martin Böttcher, Thomas Wartmann, Henry Freudenstein, Maximilian Doelling, Mihailo Andric, Wenjie Shi, Or Kakhlon, Katrin Hippe, Beatrix Jahnke, Dimitrios Mougiakakos, Franziska Baenke, Daniel Stange, Roland S. Croner, Michal Linial, Ulf D. Kahlert   +16 more
wiley   +1 more source

A Compute-in-Memory Decoding Architecture for Posit-to-Floating-Point Conversion

IEEE Access
Modern computing systems are increasingly adopting low-precision floating-point formats to reduce memory overhead, particularly in large-scale applications such as large language models and scientific computing.
Jae Hyung Ko, Byung-Soo Kim, Taeho Hwang, Kyu Hyun Choi   +3 more
doaj   +1 more source

Formal proof for delayed finite field arithmetic using floating point operators [PDF]

, 2008
Formal proof checkers such as Coq are capable of validating proofs of correction of algorithms for finite field arithmetics but they require extensive training from potential users.
Boldo, Sylvie, Daumas, Marc, Giorgi, Pascal   +2 more
core   +3 more sources