Results 151 to 160 of about 3,855 (180)

ByteSpector: A Verifying Disassembler for EVM Bytecode.

We present ByteSpector, a tool for constructing and verifying control flow graphs (CFGs) from Ethereum Virtual Machine (EVM) bytecode. CFGs play a crucial role in analyzing smart contract behavior, but resolving dynamic jumps and ensuring CFG correctness remain significant challenges.
openaire   +2 more sources

Оценка эффективности EVM-модели

Promyshlennoe i Grazhdanskoe Stroitel'stvo
В статье рассматривается EVM-модель и оценивается ее эффективность. В качестве синонима EVM-модели авторы применят термин "траектория освоения капитальных вложений". Для описания траектории (процедуры) финансирования проекта создания объекта капитального строительства предлагается использовать хорошо известную модель поступательного движения ...
openaire   +1 more source

Earned Value Management System (EVMS) Reliability: A Review of Existing EVMS Literature

Construction Research Congress 2020, 2020
Namho Cho, Mounir El Asmar, G. Edward Gibson, Vartenie Aramali   +3 more
openaire   +1 more source

EVM-Constrained and Mask-Compliant MIMO-OFDM Spectral Precoding

IEEE Transactions on Wireless Communications, 2021
Carlo Fischione, Gabor Fodor, Mats Bengtsson   +2 more
exaly  

Near field EVM estimation in OTA test

IEICE Communications Express, 2021
Hiroyuki Arai
exaly  

Kvantovomekhanicheskie evm

Uspekhi Fizicheskih Nauk, 1986
openaire   +1 more source

TxMirror: When the Dynamic EVM Stack Meets Transactions for Smart Contract Vulnerability Detection

Symmetry, 2023
Yuhang Zhang, Rongwei Yu
exaly  

The EVM

2017
openaire   +1 more source

Electronic Voting Machine as a Service on the Cloud—Azure for EVM (A4EVM)

Lecture Notes in Networks and Systems, 2023
Mohammad Equebal Hussain
exaly  

Effects of heat treatment on the damping of EVM/PLA blends modified with polyols

Polymer Testing, 2014
Xinyan Shi
exaly