Results 41 to 50 of about 406 (180)
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
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
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
, 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 +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
Compilation of iOS frameworks from Linux operating system using open- source tools
Journal of Computer Sciences Institute, 2021 This paper analyzes possibility of using open-source tools to compile iOS frameworks in Linux operating system. The purpose of this analysis was to determine how compilation in Linux could be performed and identify possible limita- tions when using LLVM ...
Łukasz Rutkowski, Piotr Kopniak
doaj +1 more source
Multithread Approximation: An OpenMP Constructor
Concurrency and Computation: Practice and Experience, Volume 38, Issue 4, February 2026.ABSTRACT This study introduces an OpenMP construct designed to simplify and unify the integration of approximate computing techniques into shared‐memory parallel programs. Approximate Computing leverages the inherent error tolerance of many applications to trade computational accuracy for gains in performance and energy efficiency.
João Briganti de Oliveira +2 more
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
ThreadMonitor: Low‐Overhead Data Race Detection Using Intel Processor Trace
Concurrency and Computation: Practice and Experience, Volume 38, Issue 2, January 2026.ABSTRACT Data races are among the most difficult multithreading bugs to find, due to their non‐deterministic nature. This and the increasing popularity of multithreaded programming have led to the need for practical automated data race detection. In this context, dynamic data race detectors have received more attention, compared to static tools, owing ...
Farzam Dorostkar +3 more
wiley +1 more source
Interprocedural taint analysis for LLVM-bitcode
Труды Института системного программирования РАН, 2018 Today the development cycle of many application classes requires a security analysis stage. Taint analysis is widely used to check programs for different security vulnerabilities.
V. K. Koshelev +2 more
doaj +1 more source