Results 21 to 30 of about 269,201 (258)
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
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
IEEE AccessDomain-specific programming languages such as P4 enable flexible and high-performance packet processing for programming network data planes. However, many P4 programs remain monolithic, limiting the development of modular and reusable protocols and ...
Mohsen Rahmati +4 more
doaj +1 more source
Sparse sampling and tensor network representation of two-particle Green's functions
SciPost Physics, 2020 Many-body calculations at the two-particle level require a compact representation of two-particle Green's functions. In this paper, we introduce a sparse sampling scheme in the Matsubara frequency domain as well as a tensor network representation for ...
Hiroshi Shinaoka, Dominique Geffroy, Markus Wallerberger, Junya Otsuki, Kazuyoshi Yoshimi, Emanuel Gull, Jan Kuneš
doaj +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
IF: An Intermediate Representation for SDL and its Applications [PDF]
, 1999 We present work of a project for the improvement of a specification/validation toolbox integrating a commercial toolset ObjectGEODE and different validation tools such as the verification tool CADP and the test sequence generator TGV. The intrinsic complexity of most protocol specifications lead us to study combinations of techniques such as static ...
Bozga, M. +6 more
openaire +2 more sources