Results 71 to 80 of about 49,891 (172)

Faster Variational Execution with Transparent Bytecode Transformation [PDF]

arXiv, 2018
Variational execution is a novel dynamic analysis technique for exploring highly configurable systems and accurately tracking information flow. It is able to efficiently analyze many configurations by aggressively sharing redundancies of program executions.
arxiv  

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution [PDF]

ACM Transactions on Software Engineering and Methodology, 2020, 2019
Spectre attacks disclosed in early 2018 expose data leakage scenarios via cache side channels. Specifically, speculatively executed paths due to branch mis-prediction may bring secret data into the cache which are then exposed via cache side channels even after the speculative execution is squashed.
arxiv  

Examples of bookbinding executed by Robt. Rivière & Son [PDF]

, 1920

openalex   +1 more source

Experiments on the Laryngeal Nerves and Muscles of Respiration, etc., on a Criminal Executed by Hanging [PDF]

, 1875
W. W. Keen
openalex   +1 more source

TASE: Reducing latency of symbolic execution with transactional memory [PDF]

arXiv, 2019
We present the design and implementation of a tool called TASE that uses transactional memory to reduce the latency of symbolic-execution applications with small amounts of symbolic state. Execution paths are executed natively while operating on concrete values, and only when execution encounters symbolic values (or modeled functions) is native ...
arxiv  

Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis

Acta Informatica Pragensia, 2013
Program comprehension and reverse engineering are two large domains of computer science that have one common goal – analysis of existing programs and understanding their behaviour. In present, methods of source code analysis are well established and used
Dušan Kolář, Jakub Křoustek
doaj  

Treefix: Enabling Execution with a Tree of Prefixes [PDF]

arXiv
The ability to execute code is a prerequisite for various dynamic program analyses. Learning-guided execution has been proposed as an approach to enable the execution of arbitrary code snippets by letting a neural model predict likely values for any missing variables.
arxiv  

The anatomy, physiology, morphology and development of the blow-fly (Calliphora erythrocephala) A study in the comparative anatomy and morphology of insects; with plates and illustrations executed directly from the drawings of the author

, 1890
B. T. Lowne
openalex   +2 more sources

An executable Java software for visualizing networks [PDF]

Network Biology
An executable Java software, netGen, for visualizing networks was developed in present study. An interactive network can be visualized from the specified text or csv data file by using netGen.
WenJun Zhang
doaj  

AT BEAUMONT-380,000,000 POUNDS PER YEAR OF ETHYLENE ENGINEERED AND EXECUTED BY KELLOGG [PDF]

, 1962

openalex   +1 more source