Results 41 to 50 of about 10,440 (199)
Scalable code clone detection tool based on semantic analysis
Труды Института системного программирования РАН, 2018 This article describes the methods of code clones detection. New approach of code clones detection is proposed for C/C++ languages based on analysis of existed methods.
Sevak Sargsyan +4 more
doaj +1 more source
DiVM: Model Checking with LLVM and Graph Memory
, 2017 In this paper, we introduce the concept of a virtual machine with graph-organised memory as a versatile backend for both explicit-state and abstraction-driven verification of software. Our virtual machine uses the LLVM IR as its instruction set, enriched
Barnat, Jiří +3 more
core +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
Optimizing programs for given hardware architectures with static compilation: methods and tools
Труды Института системного программирования РАН, 2018 The paper describes the workflow for optimizing programs for performance targeting the fixed hardware architecture with static compilation using GCC and LLVM compilers as examples.
Dmitry Melnik +5 more
doaj +1 more source
, 2023 Table of Contents In the last article we lowered our custom poly dialect to standard MLIR dialects. In this article we’ll continue lowering it to LLVM IR, exporting it out of MLIR to LLVM, and then compiling to x86 machine code. The code for this article is in this pull request, and as usual the commits are organized to be read in order.
openaire +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
Dynamic compilation of expressions in SQL queries for PostgreSQL
Труды Института системного программирования РАН, 2018 In recent years, as performance and capacity of main and external memory grow, performance of database management systems (DBMSes) on certain kinds of queries is more determined by raw CPU speed.
E. Y. Sharygin +4 more
doaj +1 more source
goSLP: Globally Optimized Superword Level Parallelism Framework
, 2018 Modern microprocessors are equipped with single instruction multiple data (SIMD) or vector instruction sets which allow compilers to exploit superword level parallelism (SLP), a type of fine-grained parallelism.
Amarasinghe, Saman, Mendis, Charith
core +1 more source
Ecology Letters, Volume 28, Issue 12, December 2025.We introduce the range‐resident logistic model, an extension of the spatial logistic model that incorporates empirically supported range‐resident movement, showing that neglecting range residency can lead to under‐ or overestimating population carrying capacity.
Rafael Menezes +4 more
wiley +1 more source
LLVM-based Static Analysis Tool Using Type and Effect Systems
Моделирование и анализ информационных систем, 2011 The intention of this paper is to describe a static analysis tool under development. The principal idea behind the design of this tool is to use type and effect systems for static analysis of real programs. The tool uses LLVM bitcode files as input, thus
M. A. Belyaev, V. A. Tsesko
doaj