Results 21 to 30 of about 279,479 (299)
A Formal Semantics of the GraalVM Intermediate Representation [PDF]
, 2021 The optimization phase of a compiler is responsible for transforming an intermediate representation (IR) of a program into a more efficient form. Modern optimizers, such as that used in the GraalVM compiler, use an IR consisting of a sophisticated graph data structure that combines data flow and control flow into the one structure.
Brae J. Webb, Mark Utting, Ian J. Hayes
openaire +4 more sources
Equality Saturation: A New Approach to Optimization [PDF]
Logical Methods in Computer Science, 2011 Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed to the next optimization.
Ross Tate +3 more
doaj +1 more source
Ethereum Smart Contract Bug Detection and Repair Approach Based on Regular Expressions, Program Instrumentation and Code Replacement [PDF]
Jisuanji kexue, 2021 As the largest blockchain platform supporting smart contracts,millions of smart contracts have been deployed on Ethereum.Since the deployed smart contracts cannot be modified even if the contracts contain bugs,it is critical for developers to eliminate ...
XIAO Feng, ZHANG Peng-cheng, LUO Xia-pu
doaj +1 more source
A Unified Approach for Representing Outdoor Scenes
IEEE Access, 2022 Generalized image understanding of natural outdoor images is fundamentally a bottom-up approach guided by the data and information received from the digital input images.
Tilottama Goswami +2 more
doaj +1 more source
Corela, 2007 The term of pragmatic phraseologisms (PrPs) stands for routine constructions referring conventionally to defined situations. These expressions, even though mostly compositional, have to be translated not as free sequences but as speech stereotypes ...
Aleksandra Dziadkiewicz
doaj +1 more source
Frontiers in Human Neuroscience, 2021 Evidence is presented for intermediate, wholistic visual representations of objects and non-objects that are computed online and independent of visual attention.
Jarrod Hollis +2 more
doaj +1 more source
The ARES High-Level Intermediate Representation
2016 Third Workshop on the LLVM Compiler Infrastructure in HPC (LLVM-HPC), 2016 Kei Davis
exaly +3 more sources
PyHLS: Intermediate Representation for Versatile High-Level Synthesis [PDF]
International Journal of Electronics and TelecommunicationsHigh-Level Synthesis (HLS) has become an established methodology to accelerate the development of FPGAbased systems by allowing algorithms to be written in high-level languages (HLLs) such as C/C++ or Python.
Radosław Cieszewski
doaj +1 more source
Современные информационные технологии и IT-образование, 2022 Control flow optimizations are of particular importance when optimizing programs for graphics accelerators and video cards. In addition to scalar control flow optimizations, which are widely known and well represented in modern compilers, there is also a
Konstantin Vladimirov, Yuly Tarasov
doaj +1 more source
International Journal of Applied Earth Observations and Geoinformation, 2022 Predicting a landslide susceptibility map (LSM) is essential for risk recognition and disaster prevention. Despite the successful application of data-driven approaches for LSM prediction, most methods generally apply a single global model to predict the ...
Li Chen +9 more
doaj +1 more source