In a previous work, Orthogonal Polyhedra (OP) were proposed as geometric bounds in CSG. Primitives in the CSG model were approximated by their respective bounding boxes. The polyhedrical bound for the CSG object was obtained by applying the corresponding Boolean Algebra to those boxes. Also in that paper, a specific and very concise model for representing and handling OP was presented: the Extr...

A project is any endeavor involving planned action, for example, developing a new product or constructing a dam. [CE1] Major factors for a project to be successful are applying performance measurement and feedback tool. One such well-known performance measurement tool to control the project execution is earned value management (EVM). EVM uses the fundamental principle that trends in the past ca...

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...

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...

BACKGROUND Noninvasive techniques to evaluate arterial stiffness include noninvasive radial artery pulse contour analysis. Diastolic pulse contour analysis provides a separate assessment of large (C1) and small artery (C2) elasticity. Analysis of the systolic pulse contour identifies two pressure peaks (P1 and P2) that relate to incident and reflected waves. This study aimed to compare indices ...

Two viscous stabilization methods, namely the spectral vanishing viscosity (SVV) technique and the entropy viscosity method (EVM), are applied to flows of interest in geophysics. First, following a study restricted to one space dimension [17], the spectral element approximation of the shallow water equations is stabilized using the EVM. Our recent advances are here carefully described. Second, ...