An Overwiew of Evolution of Lexical Query Optimization Techniques

著者: N. A. Mendkovich, S. D. Kuznetsov
出版事項 2018-10-01

Search method for format string vulnerabilities

著者: I. A. Vakhrushev, V. V. Kaushan, V. A. Padaryan, A. N. Fedotov
出版事項 2018-10-01

Preface

著者: A. I. Avetisyan
出版事項 2018-10-01

Creating Test Data for Market Surveillance Systems with Embedded Machine Learning Algorithms

著者: O. Moskaleva, A. Gromova
出版事項 2018-10-01

Memristor-based Hardware Neural Networks Modelling Review and Framework Concept

著者: D. D. Kozhevnikov, N. V. Krasilich
出版事項 2018-10-01

Visual Parallel Programming as PaaS cloud service with Graph-Symbolic Programming Technology

著者: Darya Egorova, Victor Zhidchenko
出版事項 2018-10-01

Multiagent methods and tools of management in a service-oriented distributed computing environment

著者: I. Bychkov, G. Oparin, A. Feoktistov, V. Bogdanova, A. Pashinin
出版事項 2018-10-01

Towards Deductive Verification of C Programs with Shared Data

著者: M. U. Mandrykin, A. V. Khoroshilov
出版事項 2018-10-01

Linux Driver Verification Architecture

著者: V. S. Mutilin, E. M. Novikov, A. V. Strakh, A. V. Khoroshilov, P. E. Shved
出版事項 2018-10-01

К вопросу о генерации начальных данных, обеспечивающих заданную трассу SPMD-программы.

著者: С.С. Гайсарян, П.Н. Яковенко
出版事項 2004-01-01

О распознавании сложности аппроксимации булевых функций.

著者: Н.Н. Кузюрин, О.А. Прокопьев
出版事項 2004-01-01

Система классификации химических проб.

著者: Г.Т. Маракаева
出版事項 2007-01-01

Обучение передовым технологиям разработки ПО: проблемы и методы их решения.

著者: В.В. Кулямин, В. А. Омельченко, О. Л. Петренко
出版事項 2004-01-01

Методика автоматизированной проверки возвращаемых кодов ошибок при тестировании программных интерфейсов....

著者: К. А. Власов, А. С. Смачёв
出版事項 2007-01-01

Debugger for Real-Time OS: Challenges of Multiplatform Support

著者: A. N. Emelenko, K. A. Mallachiev, N. V. Pakulin
出版事項 2018-10-01

Mathematical modeling of polymeric cover outgassing process in open space conditions

著者: N. A. Polibina
出版事項 2019-02-01

Using unreachable code analysis in static analysis tool for finding defects in source code

著者: R. R. Mulyukov, A. E. Borodin
出版事項 2018-10-01

Instrumentation and optimization of transactional sections execution in multithreaded programs

著者: I. . Kulagin, M. . Kurnosov
出版事項 2018-10-01

Use of Multiple Features for Extracting Topics from News Clusters

著者: A. A. Alekseev, N. V. Loukachevitch
出版事項 2018-10-01

Mechanisms for functional testing of hardware models at different levels of abstraction

著者: A. S. Kamkin, M. M. Chupilko
出版事項 2018-10-01