Results 111 to 120 of about 5,396 (256)

libVersioningCompiler: An easy-to-use library for dynamic generation and invocation of multiple code versions

SoftwareX, 2018
We present libVersioningCompiler, a C++ library designed to support the dynamic generation of multiple versions of the same compute kernel in a HPC scenario.
S. Cherubin, G. Agosta
doaj   +1 more source

Применение профильной информации в оптимизациях циклов LLVM [PDF]

, 2017
Лобанов Артем Алексеевич Применение профильной информации в оптимизациях циклов LLVM Старший преподаватель кафедры системного программирования Кириленко Яков Александрович Направление математика и механика, кафедра системного программирования На ...
Lobanov Artem, Лобанов Артем Алексеевич   +1 more
core  

Статический анализ с использованием систем типов и эффектов на основе LLVM

, 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
V. A. Tsesko, Михаил Анатольевич Беляев, Вадим Александрович Цесько, M. A. Belyaev   +3 more
core  

Static analysis usage for customizable checks of programming languages semantic constraints

Труды Института системного программирования РАН, 2018
We describe the usage of programming language constraints to achieve program security and portability, which are especially important for large projects.
Valery Ignatyev
doaj  

GAHLS: an optimized graph analytics based high level synthesis framework. [PDF]

Sci Rep, 2023
Xiao Y, Nazarian S, Bogdan P.
europepmc   +1 more source

Heterogeneous Architectures Programming Library

Труды Института системного программирования РАН, 2018
Embedded platforms with heterogeneous architecture, considered in this paper, consist of one primary and one or more secondary processors. Development of software systems for these platforms poses substantial difficulties, requiring a distinct set of ...
G. V. Kirgizov, I. A. Kirilenko
doaj   +1 more source

libRoadRunner 2.0: a high performance SBML simulation and analysis library. [PDF]

Bioinformatics, 2023
Welsh C, Xu J, Smith L, König M, Choi K, Sauro HM.   +5 more
europepmc   +1 more source

Software deobfuscation methods: analysis and implementation

Труды Института системного программирования РАН, 2018
This paper describes the work on development of the deobfuscation software. The main target of the developed software is the analysis of the obfuscated malware code.
Sh. F. Kurmangaleev, K. Y. Dolgorukova, V. V. Savchenko, A. R. Nurmukhametov, H. A. Matevosyan, V. P. Korchagin   +5 more
doaj  

CppInterOp: Advancing Interactive C++ for High Energy Physics [PDF]

EPJ Web of Conferences
The Cling C++ interpreter has transformed language bindings by enabling incremental compilation at runtime. This allows Python to interact with C++ on demand and lazily construct bindings between the two.
Jomy Aaron, Kundu Baidyanath, Lavrijsen Wim, Penev Alexander, Vassilev Vassil   +4 more
doaj   +1 more source

Precondition Inference for Peephole Optimizations in LLVM

CoRR, 2016
15 ...
David Menendez, Santosh Nagarakatte
openaire   +2 more sources