Results 91 to 100 of about 10,440 (199)

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

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

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

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  

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

Implementation of memory scalability approach for llvm-based link-time optimization and static analyzing systems

Труды Института системного программирования РАН, 2018
Link-time optimization and static analyzing systems scalability problem is of current importance: in spite of growth of performance and memory volume of modern computers programs grow in size and complexity as much. In particular, this is actual for such
Ksenia Dolgorukova
doaj   +1 more source

Faster sorting algorithms discovered using deep reinforcement learning. [PDF]

Nature, 2023
Mankowitz DJ, Michi A, Zhernov A, Gelmi M, Selvi M, Paduraru C, Leurent E, Iqbal S, Lespiau JB, Ahern A, Köppe T, Millikin K, Gaffney S, Elster S, Broshear J, Gamble C, Milan K, Tung R, Hwang M, Cemgil T, Barekatain M, Li Y, Mandhane A, Hubert T, Schrittwieser J, Hassabis D, Kohli P, Riedmiller M, Vinyals O, Silver D.   +29 more
europepmc   +1 more source

Application Experiences on a GPU-Accelerated Arm-based HPC Testbed. [PDF]

Proc Int Conf High Perform Comput Asia Pac Reg HPC Asia 2023 Workshops (2023), 2023
Elwasif W, Godoy W, Hagerty N, Harris JA, Hernandez O, Joo B, Kent P, Lebrun-Grandié D, Maccarthy E, Melesse Ver-Gara VG, Messer B, Miller R, Oral S, Bastrakov S, Bussmann M, Debus A, Steiniger K, Stephan J, Widera R, Bryngelson SH, LE Berre H, Radhakrishnan A, Young J, Chandrasekaran S, Ciorba F, Simsek O, Clark K, Spiga F, Hammond J, Stone JE, Hardy D, Keller S, Piccinali JG, Trott C.   +33 more
europepmc   +1 more source

Loop-invariant Code Motion Algorithm Based on Loop Cost Analysis [PDF]

Jisuanji kexue
Loop-invariant code motion(LICM) is a commonly used compilation optimization algorithm for loop structures in programs.By moving the invariant calculations in the loop body to outside the loop,the algorithm reduces the overhead of duplicate calculations ...
JIANG Jun, ZHAI Yanhe, ZENG Zhiheng, GU Yichao, HUANG Liangming
doaj   +1 more source