Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK
Issue:5 (87)
Download PDF0 Kbyte
AUTOMATIC SEARCH OF LOCAL VARIABLES AND ARGUMENTS OF PROCEDURES IN EXECUTABLE CODE DURING COMPUTATIONAL PROCESS VERIFICATION STAGE
Annotation
General diagram of computational process engineering and analysis based on semi-graphical model is presented. Analysis of executable code is studied. Brief review of existing algorithms for restoring information about objects on stack is given. Some features, advantages and disadvantages of these algorithms are listed. Alternative approach that combines basic concepts described earlier, new solutions of existing problems and simplicity is described.
Keywords
Постоянный URL
Articles in current issue
- OPTICAL SOLITONS IN TWO-LEVEL ATOMS MEDIA
- DIELECTRIC OPTICAL NANOANTENNAS
- MODE CONTROL FOR SYSTEM OF COUPLED SPLIT-RING RESONATORS BY MEANS OF LIGHT
- BAND-GAP STRUCTURE ANALYSIS OF PHOTONIC CRYSTAL WITH MULTIPLE OPTICAL LAYERS LENGTHS FOR TERAHERTZ FREQUENCY RANGE
- OPTICAL AND OPTICAL ELECTRONIC SYSTEMS. OPTICAL TECHNOLOGIES LABORATORY SPECTROPHOTOMETER FOR VISIBLE SPECTRAL REGION
- SELECTION AND CALCULATION OF OPTOELECTRONIC SYSTEM ITEMS WITH OPTICAL EQUISIGNAL ZONE FOR VERTICAL TEMPERATURE GRADIENT MEASUREMENT OF THE AIR PATH
- DYNAMIC VISUAL ACUITY EXPERIMENTAL DETERMINATION
- PARAMETERS CALCULATION OF OPTICAL FILTER WITH ANGULAR SELECTIVE LIGHT TRANSMISSION
- CROSSTALK COMPUTER SIMULATION IN THE INFORMATION-MEASURING FIBER OPTICAL DEVICE
- OPTICAL CHARACTERISTICS DEFINITION OF OPTICAL TECHNOLOGY SURFACE ELEMENTS FOR THEIR OPTICAL CONNECTIONS
- APLANATIC MENISCUS OPTICAL ENGINEERING
- CHARACTERISTICS CHANGE OF UV LIGHT EMITTING DIODE CHIP-ON-BOARD ASSEMBLIES AT LONG WORKING TIME ON NOMINAL CURRENT
- HYDRAULIC DRIVE CONTROL SYSTEM WITH A STATIC NONLINEARITY COMPENSATION
- MATHEMATICAL MODEL AND SIMULATION ALGORITHM OF THE MULTI-TIERED MECHANICAL SYSTEM
- NON-LINEAR MASS-SPRING SYSTEM FOR LARGE SOFT TISSUE DEFORMATIONS MODELING
- DEPENDENCE OF THE PIEZOELECTRIC TRANSDUCER REACTANCE ON THE MECHANICAL PARAMETERS OF ITS LOAD
- ON DISTORTION ASSESSMENT OF IMAGES MASKING WITH M-MATRICES
- ADAPTIVE SKIN DETECTOR DEVELOPMENT
- ANAPHORIC RELATIONS IDENTIFICATION BY AUTOMATIC TEXT ANALYSIS
- SOFTWARE FOR ELEMENTARY PETRI NETS TOPOLOGY AND CLASSIFICATION STUDYING BY THEIR HOMOLOGY GROUPS CALCULATION
- AUTOMATIC SEARCH OF LOCAL VARIABLES AND ARGUMENTS OF PROCEDURES IN EXECUTABLE CODE DURING COMPUTATIONAL PROCESS VERIFICATION STAGE
- INFORMATION SYSTEMS INTEGRATION ON THE BASE OF LINKED DATA TECHNOLOGY
- HUMAN LOWER LIMBS INVESTIGATION DURING WALKING BY MEANS OF INERTIAL MOTION CAPTURE TECHNOLOGIES
- PHOTOCHEMICALLY INDUCED LUMINESCENCE POLARIZATION OF CdSe/ZnS QUANTUM RODS IN POROUS MATRIX
- THE EFFECT OF FULLERENE C60 ON THE MECHANICAL BEHAVIOR OF EPOXY RESIN
- WELDS QUALITY CONTROL DURING WELDING BY MEANS OF ACOUSTIC EMISSION
- VULNERABILITY ANALYSIS OF ROBOTIC SYSTEMS WITH SWARM INTELLIGENCE
- A METHOD FOR INTEGRATED ASSESSMENT AND ANALYSIS OF REGIONAL SOCIOECONOMIC SYSTEM GLOBAL SECURITY BASED ON COGNITIVE MODELING
- EXPERIMENTAL LEARNING METHOD OF SPRING PENDULUM DAMPED OSCILLATIONS ON AN INCLINED PLANE
- THE INFLUENCE OF COMPLEX FORMATION EFFECT BETWEEN POLYSILANE AND FULLERENE C60 ON THE ABSORBANCE SPECTRA AND OPTICAL LIMITING
- ON PROJECTILE AERODYNAMICS FOR A SLING
- URGENT COMPUTING FOR SCHEDULING AND DISPATCHING OF PUBLIC CONVEYANCES
- SIMULATION OF PROTEINS CONFORMATIONAL-BASED FEATURES FOR RATIONAL DRUG DESIGN BY CLAVIRE CLOUD ENVIRONMENT
- AUTOMATIC METHOD OF THE MOLECULAR MECHANICAL POTENTIALS DETERMINATION FOR COARSE-GRAINED REPRESENTATION OF THE MOLECULAR SYSTEM