Results 21 to 30 of about 406 (180)
Tile Selection Algorithm Based on Data Locality [PDF]
Jisuanji kexueThe existing polyhedral compilation frameworks(such as Pluto,LLVM/Poly and GCC/Graphite) use fixed block sizes when performing loop tiling,which cannot fully utilize the caching characteristics of different hardware,resulting in significant performance ...
LIAO Qihua, NIE Kai, HAN Lin, CHEN Mengyao, XIE Wenbing
doaj +1 more source
Genetic Improvement of LLVM Intermediate Representation
, 2023 Evolving LLVM IR is widely applicable, with LLVM Clang offering support for an increasing range of computer hardware and programming languages. Local search mutations are used to hill climb industry C code released to support geographic open standards: Open Location Code (OLC) from Google and Uber's Hexagonal Hierarchical Spatial Index (H3), giving up ...
William B. Langdon +3 more
openaire +1 more source
Моделирование и анализ информационных систем, 2013 This paper presents the description of a possible way to build the universal linearized control flow graph which is supposed to be architecture-independent and applicable to the description of any high level language programs. The practical usefulness of
V. A. Bitner, N. V. Zaborovsky
doaj +3 more sources
Building an obfuscation compiler based on LLVM infrastructure
Труды Института системного программирования РАН, 2018 The paper describes the obfuscating transformations, which were implemented while developing an LLVM-based obfuscating compiler in ISP RAS. The proposed transformations are based on well-known obfuscation algorithms and are specifically improved to ...
V. P. Korchagin +3 more
doaj +1 more source
Method of diversity software protection based on fusion compilation
网络与信息安全学报, 2020 For the obvious characteristics and single mode of the existing common protection methods, with the help of the LLVM framework, a diversity software protection method based on fusion compilation was proposed.
XIONG Xiaobing, SHU Hui, KANG Fei
doaj +1 more source
Connection Science, 2023 Compiler optimization presents a formidable challenge, seeking to enhance code quality through various techniques. One significant obstacle is the phase-ordering problem, where the sequence of optimization algorithms can impact code quality and ...
YungYu Zhuang +2 more
doaj +1 more source
Dynamic compilation of 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.
R. A. Buchatskiy +5 more
doaj +1 more source
SMT-based Distributed Bounded Model Checking in Spark [PDF]
Jisuanji gongcheng, 2017 The credibility of program verification results and the verification efficiency in Satisfiablity Modulo Theories(SMT)-based bounded model checking are influenced greatly by bounds.However,the traditional serial checking method cannot validate under the ...
REN Shengbing,ZHANG Jianwei,WU Bin,WANG Zhijian
doaj +1 more source
F3AMD: Fast FiLM‐Conditioned Fourier Autoregressive Motion Diffusion
Computer Graphics Forum, EarlyView.Abstract Recent advances in generative motion synthesis have enabled realtime autoregressive generation of diverse and realistic character animations conditioned on user inputs, as demonstrated by models such as the Conditional Autoregressive Motion Diffusion Model (CAMDM).
Calvin Z. Qiao +5 more
wiley +1 more source
Diabetes, Obesity and Metabolism, EarlyView.ABSTRACT Aims To assess whether self‐reported leisure‐time physical activity, moderate‐to‐vigorous leisure‐time physical activity, and genetically determined cardiorespiratory fitness are associated with age‐related BMI trajectories and incident obesity. Methods We pooled 14 993 adults (30–90 years; 52.7% women; cohorts: REGICOR‐ACRISC, ILERVAS, ARTPER)
Javier Hernando‐Redondo +13 more
wiley +1 more source