Interprocedural static slicing of binary executables
Understanding program slicing as a technique for automatically decomposing programs by analyzing its control and data flow. Control flow analysis of binary executables and its problems. Interprocedural slicing using SDG and experimental results.
Подобные документы
Theoretical aspects of the development of digital platform for engineering controlling business. Digital platform as part of the global economy. Conceptual apparatus for the research. Problems of product exchange between the city and the rural settlement.
дипломная работа, добавлен 14.12.2019Basic Notions of Systems and Signals. State-space Models. Process Modeling for Control Purposes. Input–output Models and Realization Theory. Controllability and Observability of LTI Systems. Stability and The Lyapunov Method. State Feedback Controllers.
учебное пособие, добавлен 25.11.2013The structure of an information security program. Creation and implementation of policies and standards. Activity of federal sentencing guidelines for criminal convictions. System and network access control. Conducting a business impact analysis.
книга, добавлен 08.03.2014Создание модели в стандарте IDEF0. Диаграммы потоков данных (Data Flow Diagramming) и методологии IDEF3 (Workflow Diagramming). Создание модели данных с помощью AllFusion Erwin Data Modeler 4.1. Информационная модель в нотации. Модели в нотации языка UML.
курсовая работа, добавлен 29.11.2016A problem of binary pseudo random sequences creation of cryptographic security system for sequences of maximal length, with static characteristics. The questions of Galois and Fibonacci of creation primitive matrices random size over the simple field.
статья, добавлен 22.12.2016Definition of information security. Methods and means of information protection. Access Control - information protection regulation of the use of all resources of IP and IT. Protection of data and programs from unauthorized access, copying, modification.
реферат, добавлен 04.04.2016Study of method of the adaptive shaping of flows of network traffic and method of tuning of the control systems with an indirect feedback. Analysis of algorithm of multivariable adaptation of shaper to changing the set of parameters of input traffic.
статья, добавлен 27.12.2016The choice of technologies for application development as an stage. The importance of the correct selection of a combination of technologies in ensuring comfortable work in the future at all stages of the program's existence. Scalable technology stack.
статья, добавлен 11.07.2022Analysis of data aggregated preferences. The ranking of the elements as separate and static elements. Evaluation of the algorithms, assumptions, weight and shifting implicit preferences. The essence of ranking elements as a function of their attributes.
дипломная работа, добавлен 30.08.2016Diagrammatic: state transition networks, JSD diagrams, flow charts. Textual: formal grammars, production rules, CSP. Graphical notations, state-transition and Petri nets, state charts flow charts. The procedure for the use state charts in UML, STN.
презентация, добавлен 28.12.2013TCP/IP (Transmission Control Protocol/Internet Protocol) - средство для обмена информацией между компьютерами, объединенными в сеть. Программное обеспечение для TCP/IP и архитектура. Краткое описание протоколов семейства с расшифровкой аббревиатур.
статья, добавлен 23.11.2009Data warehouse base theory. The description of Extract Transform Load processes. Introduction into OpenStreetMap, base knowledge. Extract Transform Load process planning. Extracting and transformation data. Analysis of the developed data warehouse.
практическая работа, добавлен 13.02.2016The opportunities of the GeoGebra dynamic geometry environment. Capabilities of the system for creating drawings, tables of experimental data and their application in conducting research work. The examples of solving some elementary geometry problems.
статья, добавлен 25.05.2017International recommendations on Using error control coding at different network layers. The complexity of decoding in the channel with independent errors. Providing security of data in a network with the help of coding methods. Public-key cryptography.
книга, добавлен 08.03.2014Диаграммы потоков данных (Data Flow Diagrams – DFD) как иерархия функциональных процессов. Модель процесса в нотации DFD, построенная с использованием понятия "хранилище данных". Подготовка к созданию модели данных организации. Выделение бизнес-процессов.
контрольная работа, добавлен 10.12.2016Схема моделирования бизнес-процессов (потоков информации) предприятия. Понятие об уровне декомпозиции диаграммы, входящих и выходящих стрелках, стрелках управления. Количественный анализ и определение коэффициента сбалансированности диаграмм IDEF0 и DFD.
презентация, добавлен 27.12.2013Find and analysis a way for data protection when a person uses e-platforms. Based on the General Data Protection Regulation, the measure for the data protection is assumed to comply when data systems go along with technical and organizational safeguards.
статья, добавлен 13.08.2023Methods, tools and applications of Data Mining. Basic concepts of data warehouses and the place of Data Mining in their architecture. The process of data analysis using this technology, its stages. Analytical software market, product data capabilities.
статья, добавлен 30.10.2020Excel program and its help in working with medical data. Adapting to the needs of a medical trainee creating and using a clinical trial database. Beginning of the medical examination. Create your draft of a spreadsheet in Excel. Freezing Window Panes.
статья, добавлен 28.11.2020Диаграммы потоков данных DFD (Data Flow Diagrams). Методология объектного проектирования и анализа. Построение диаграммы вариантов использования (прецедентов). Хранилище данных и построение диаграммы состояний, компонентов и размещения (развёртывания).
курсовая работа, добавлен 15.11.2015Разработка проекта автоматизированной системы управления при помощи программного пакета "supervisory control and data acquisition". Выбор языка программирования в интегрированной информационной базе для управления автоматизированным производством.
дипломная работа, добавлен 15.01.2014Geometrical form of normal wear of die's working surface. Measuring system on base of threecoordinate machine-tool with numerical program control. Profile of natural wear of die is described by polynomial of third order with high degree of authenticity.
статья, добавлен 14.09.2016Questionnaires are the tools uses in lexical typology with collect data for low-resourced languages, for which there are no large corpora or detailed dictionaries. Algorithm for automatically collect visual stimuli for lexico-typological research.
дипломная работа, добавлен 04.12.2019Data Flow Diagram как диаграмма потоков данных, стандарт бизнес моделирования для описания существующих на предприятиях потоков данных. Пример составления схемы потоков данных. Общая схема потоков данных предметной области, потоков данных подсистем.
лабораторная работа, добавлен 03.02.2022История создания механического калькулятора Блеза Паскаля. Характеристика и специфика третьего поколения компьютеров. Изобретение суперкомпьютера, инновационные исследования Сеймур Крей. Деятельность компании Control Data, выпуск новой продукции.
контрольная работа, добавлен 31.10.2017