Results 161 to 170 of about 3,335 (212)
Semantic code clone detection using hybrid intermediate representations and BiLSTM networks. [PDF]
PLoS OneShahbaz Ismail M, Shahzad S, Quradaa FH.
europepmc +1 more source
Phylo-rs: an extensible phylogenetic analysis library in rust. [PDF]
BMC BioinformaticsVijendran S +3 more
europepmc +1 more source
Poincaré and SimBio: a versatile and extensible Python ecosystem for modeling systems. [PDF]
BioinformaticsSilberberg M +3 more
europepmc +1 more source
A Review of IoT Firmware Vulnerabilities and Auditing Techniques. [PDF]
Sensors (Basel)Bakhshi T, Ghita B, Kuzminykh I.
europepmc +1 more source
Semi-automated analysis of beading in degenerating axons
Pretheesh Kumar VC, Pullarkat P.
europepmc +1 more source
Formalizing the LLVM Intermediate Representation for Verified Program Transformations [PDF]
ACM SIGPLAN Notices, 2012 This paper presents Vellvm (verified LLVM), a framework for reasoning about programs expressed in LLVM\u27s intermediate representation and transformations that operate on it.
Santosh Nagarakatte +2 more
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2023
Creating software that is secure against reverse engineering, tampering, and malicious modification is an ongoing research problem. Reverse engineers employ a variety of attack methods to understand how software works, steal intellectual property, or inject their own malicious code.
Daniel Dinu, Anup Das
openaire +1 more source
Creating software that is secure against reverse engineering, tampering, and malicious modification is an ongoing research problem. Reverse engineers employ a variety of attack methods to understand how software works, steal intellectual property, or inject their own malicious code.
Daniel Dinu, Anup Das
openaire +1 more source
A LLVM based compiler for COFFEE
16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013), 2013LLVM has gained its popularity from both industrial side and academic side due to its well-defined architecture and good support for parallel programming. The purpose of this paper is to explain essential concepts which must be understood by complier developers in order to carry on the implementation of LLVM based compiler and also share experiences ...
Guoqing Zhang, Tapani Ahonen
openaire +1 more source
Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio computatorica, 2012
Superoptimization is a known technique to integrate the analyses and transformations of a number of separate optimizations in order to obtain an optimization that is more expressive than the sequential and iterative application of the original optimizations.
Dávid Juhász, Tamás Kozsik
openaire +1 more source
Superoptimization is a known technique to integrate the analyses and transformations of a number of separate optimizations in order to obtain an optimization that is more expressive than the sequential and iterative application of the original optimizations.
Dávid Juhász, Tamás Kozsik
openaire +1 more source