Results 31 to 40 of about 279,479 (299)
MSmart: Smart Contract Vulnerability Analysis and Improved Strategies Based on Smartcheck
Applied Sciences, 2023 As is well known, smart contracts on the blockchain store plenty of digital assets, and these contracts deployed on the blockchain are difficult to be modified.
Jiajia Fei, Xiaohan Chen, Xiangfu Zhao
doaj +1 more source
A Compiler Intermediate Representation for Reconfigurable Fabrics [PDF]
International Journal of Parallel Programming, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zhi Guo +4 more
openaire +2 more sources
Automated Vulnerability Detection in Source Code Using Minimum Intermediate Representation Learning
Applied Sciences, 2020 Vulnerability is one of the root causes of network intrusion. An effective way to mitigate security threats is to discover and patch vulnerabilities before an attack.
Xin Li +4 more
doaj +1 more source
SoCodeCNN: Program Source Code for Visual CNN Classification Using Computer Vision Methodology
IEEE Access, 2019 Automated feature extraction from program source-code such that proper computing resources could be allocated to the program is very difficult given the current state of technology.
Somdip Dey +3 more
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
isQ: An Integrated Software Stack for Quantum Programming
IEEE Transactions on Quantum Engineering, 2023 We introduce isQ, a new software stack for quantum programming in an imperative programming language, also named isQ. The aim of isQ is to make programmers write quantum programs as conveniently as possible.
Jingzhe Guo +8 more
doaj +1 more source
A 2.5-D representation of the human hand [PDF]
, 2012 Primary somatosensory maps in the brain represent the body as a discontinuous, fragmented set of 2-D skin regions. We nevertheless experience our body as a coherent 3-D volumetric object.
Longo, Matthew R. +3 more
core +1 more source
Compiler Optimization: A Case for the Transformation Tool Contest [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 An optimizing compiler consists of a front end parsing a textual programming language into an intermediate representation (IR), a middle end performing optimizations on the IR, and a back end lowering the IR to a target representation (TR) built of ...
Sebastian Buchwald, Edgar Jakumeit
doaj +1 more source
GTIRB: Intermediate Representation for Binaries
CoRR, 2019 GTIRB is an intermediate representation for binary analysis and rewriting tools including disassemblers, lifters, analyzers, rewriters, and pretty-printers. GTIRB is designed to enable communication between tools in a format that provides the basic information necessary for analysis and rewriting while making no further assumptions about domain (e.g ...
Eric M. Schulte +4 more
openaire +2 more sources
PSyIR: the PSy Intermediate Representation
, 2019 This talk presented the PSyclone Intermediate representation and the translation of code into this representation by PSyclone. This approach allows the NEMO model to be parallelised for GPUs using PSyclone.
Henrichs, Joerg +11 more
core +1 more source