Results 11 to 20 of about 49,891 (172)
SoftwareX, 2021 Executable HTML is a collection of custom HTML elements that offer document authors the ability to write and execute procedural logic in HTML5. We discuss the motivation of this approach, which lies in the composition of formal Ambulatory Assessment ...
Nikolaos Batalas +2 more
doaj
IEEE Access, 2018 In Android, performing a program analysis directly on an executable source is usually inconvenient. Therefore, a reverse engineering technique has been adapted to enable a user to perform a program analysis on a textual form of the executable source ...
Yauhen Leanidavich Arnatovich +3 more
doaj +1 more source
Research on Dynamic Integrity Measurement Model Based on Memory Paging Mechanism
Discrete Dynamics in Nature and Society, 2014 In order to solve the existed problems of dynamic integrity measurement method, a dynamic integrity measurement model based on Memory Paging Mechanism is proposed in this paper.
Chaowen Chang +3 more
doaj +1 more source
Higher-order Rewriting for Executable Compiler Specifications [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 In this paper we outline how a simple compiler can be completely specified using higher order rewriting in all stages: parsing, analysis/optimization, and code emission, specifically using the crsx.sf.net system for a small declarative language called "X"
Kristoffer H. Rose
doaj +1 more source
Dynamic Analysis of ARM ELF Shared Libraries Using Static Binary Instrumentation
Труды Института системного программирования РАН, 2018 Dynamic program analysis is a prominent approach towards software quality control allowing to perform automatic profiling, defect detection and other activities during software development. In this paper we focus on static binary code instrumentation – a
M. K. Ermakov, S. P. Vartanov
doaj +1 more source
Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 In this work, we present an approach towards constructing executable specifications of existing filesystems and verifying their functional properties in a theorem proving environment. We detail an application of this approach to the FAT32 filesystem. We
Mihir Parang Mehta
doaj +1 more source
Pot: Deterministic transactional execution [PDF]
ACM Trans. Archit. Code Optim. 13, 4, Article 52 (December 2016), 2016 This paper presents Pot, a system that leverages the concept of preordered transactions to achieve deterministic multithreaded execution of programs that use Transactional Memory. Preordered transactions eliminate the root cause of nondeterminism in transactional execution: they provide the illusion of executing in a deterministic serial order, unlike ...
arxiv +1 more source
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2021 Regulatory agencies publish tax-compliance content written in natural language intended for human consumption. There has been very little work on automated methods for interpreting this content and for generating executable calculations from it.
Esme Manandise +2 more
doaj +1 more source
Repositioning Tiered HotSpot Execution Performance Relative to the Interpreter [PDF]
arXiv, 2023 Although the advantages of just-in-time compilation over traditional interpretive execution are widely recognised, there needs to be more current research investigating and repositioning the performance differences between these two execution models relative to contemporary workloads. Specifically, there is a need to examine the performance differences
arxiv
Free Analysis and Visualization Programs for Electrochemical Impedance Spectroscopy Coded in Python
Electrochemistry, 2021 New programs for fitting using an equivalent circuit model and data visualization of electrochemical impedance spectroscopy were developed using Python and its open-source libraries.
Kiyoshi KOBAYASHI, Tohru S. SUZUKI
doaj +1 more source