Results 71 to 80 of about 406 (180)

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

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  

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

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

Designing RISC-V Instruction Set Extensions for Artificial Neural Networks: An LLVM Compiler-Driven Perspective

IEEE Access
The demand for Artificial Intelligence (AI) based solutions is exponentially increasing in all application fields, including low-power devices on the edge.
Karthikeyan Kalyanasundaram Balasubramanian, Mirco Di Salvo, Walter Rocchia, Sergio Decherchi, Marco Crepaldi   +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