Abstract The efficiency and the security of smart contracts are their two fundamental properties, but might come at odds: use optimizers to enhance may introduce bugs compromise security. Our focus is on (Ethereum Virtual Machine) block-optimizations , which jump-free blocks opcodes by eliminating, reordering even changing original opcodes. We reconcile providing verification technology formall...

In this paper, we compare three methods for deriving a priority vector in the theoretical framework of pairwise comparisons—the Geometric Mean Method (GMM), Eigenvalue (EVM) and Best–Worst (BWM)—with respect to two features: sensitivity order violation. As research method, apply One-Factor-At-a-Time (OFAT) analysis via Monte Carlo simulations; number compared objects ranges from 3 8, comparison...

In this paper, we present a novel predistortion method based on Fuzzy Wavelet Neural Networks (FWNN) to linearize the High Power Amplifier (HPA) for WiMAX (Worldwide interoperability for Microwave Access). To analyze and evaluate the proposal, we are considered the model of Traveling Wave Tube Amplifiers (TWTA), both memoryless and with memory. The simulation results show that the proposed sche...

Esterel is a synchronous, imperative language designed to specify deterministic control systems. However compilers and run time environments for Esterel are not available on low cost microprocessors and microcontrollers. We address this shortcoming by designing and implementing an Esterel Virtual Machine and compiler that will operate on a variety of low footprint target platforms. We will comp...

The main stages in the development of the Institute of Electronic Control Computers during fifty years of its existence are considered in this paper. The basic models of controlling computer systems, developed at the institute are presented. Creating and large-scale industrial production of smallcomputer system SM EVM have founded the technological base of automation control and information pro...