Results 51 to 60 of about 3,335 (212)
RAAS: Runtime Adaptive Approximation System
Concurrency and Computation: Practice and Experience, Volume 38, Issue 12, June 2026.ABSTRACT Software‐level approximation techniques, such as loop perforation and functional replacement, can improve energy and performance in error‐tolerant applications, but typically require extensive programmer intervention even when compiler support is available.
Lucas Reis, Sandro Rigo, Lucas Wanner
wiley +1 more source
Plant, Cell &Environment, Volume 49, Issue 6, Page 3290-3305, June 2026.ABSTRACT Plants have evolved highly efficient strategies to maintain iron (Fe) homeostasis. In this study, we investigate the impact of arbuscular mycorrhizal (AM) symbiosis on the Fe‐deficiency response and ionomic profile of tomato plants, as well as how Fe availability affects AM symbiosis.
Víctor M. López‐Lorca +3 more
wiley +1 more source
AutoWIG: automatic generation of python bindings for C++ libraries [PDF]
PeerJ Computer Science, 2018 Most of Python and R scientific packages incorporate compiled scientific libraries to speed up the code and reuse legacy libraries. While several semi-automatic solutions exist to wrap these compiled libraries, the process of wrapping a large library is ...
Pierre Fernique, Christophe Pradal
doaj +2 more sources
DJ4Earth: Differentiable, and Performance‐Portable Earth System Modeling via Program Transformations
Journal of Advances in Modeling Earth Systems, Volume 18, Issue 5, May 2026.Abstract Differentiable Earth system models (ESMs) enable powerful applications such as sensitivity analysis, gradient‐based calibration, state estimation, boundary flux inversions, uncertainty quantification, and online machine learning. Reverse‐mode automatic differentiation (AD) efficiently provides gradients for such tasks, yet models have rarely ...
William S. Moses +19 more
wiley +1 more source
MLSA: a static bugs analysis tool based on LLVM IR [PDF]
International Journal of Networked and Distributed Computing (IJNDC), 2016 Program bugs may result in unexpected software error, crash or serious security attack. Static program analysis is one of the most common methods to find program bugs.
Hongliang Liang +3 more
doaj +1 more source
Generating Verified LLVM from Isabelle/HOL [PDF]
, 2019 We present a framework to generate verified LLVM programs from Isabelle/HOL. It is based on a code generator that generates LLVM text from a simplified fragment of LLVM, shallowly embedded into Isabelle/HOL.
Lammich, Peter
core +1 more source
Converting Binary Floating‐Point Numbers to Shortest Decimal Strings: An Experimental Review
Software: Practice and Experience, Volume 56, Issue 4, Page 462-478, April 2026.ABSTRACT Background When sharing or logging numerical data, we must convert binary floating‐point numbers into their decimal string representations. For example, the number π might become 3.1415927. Engineers have perfected many algorithms for producing such accurate, short strings.
Jaël Champagne Gareau, Daniel Lemire
wiley +1 more source
Diversified Compilation Method Based on LLVM [PDF]
Jisuanji gongchengWhen diversifying projects composed of multiple C/C++ source files, most of the existing software diversification tools adopt the same diversification method for all functions in a single C/C++ source file, which leads to a single diversification method ...
CHEN Yingchao, WANG Junchao, PANG Jianmin, YUE Feng
doaj +1 more source
, 2018 Map2Check is a bug hunting tool that automatically checks safety properties in C programs. It tracks memory pointers and variable assignments to check user-specified assertions, overflow, and pointer safety. Here, we extend Map2Check to: (i) simplify the program using Clang/LLVM; (ii) perform a path-based symbolic execution using the KLEE tool; and ...
Rafael Menezes +3 more
openaire +2 more sources
Australian &New Zealand Journal of Statistics, Volume 68, Issue 1, March 2026.ABSTRACT We discuss the development of the package repository of CRAN, its design principles and how these are put into practice. We provide insights into how the regular and submission checks are organised and the actions resulting from these checks.
Kurt Hornik, Uwe Ligges
wiley +1 more source