Поиск


Сортировать по:     
 
Выпуск Название
 
Том 21, № 6 (2014) Инкрементальный подход к технологии создания тестов для индустриальных проектов Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский
"... technology are full automation design of test scenarios and significant reducing of test explosion ..."
 
Том 23, № 6 (2016) Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... Extended Finite State Machines (EFSMs) are widely used when deriving tests for checking functional ..."
 
Том 24, № 4 (2017) Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко
"... constraints, and this motivates the adaptation of existing Finite State Machine (FSM)- based test derivation ..."
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... The automated test generation has received a lot of attention in the last decades as it is one ..."
 
Том 22, № 1 (2015) Метод логистической функции для нахождения аналитических решений нелинейных дифференциальных уравнений Аннотация  похожие документы
Николай Алексеевич Кудряшов
"... differential equation, Painlev´e test, exact solution ..."
 
Том 18, № 4 (2011) Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов Аннотация  PDF (Rus)  похожие документы
Сергей Николаевич Баранов, Всеволод Павлович Котляров
"... successfully, the executable code of the application and the respective test code are generated from the model ..."
 
Том 20, № 4 (2013) Программно-конфигурируемые сети как этап эволюции сетевых технологий Аннотация  PDF (Rus)  похожие документы
Артем Александрович Красотин, Игорь Вадимович Алексеев
"... networking and gives an account of possible stages of development of this technology in the context of other ..."
 
Том 19, № 6 (2012) Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов Аннотация  PDF (Rus)  похожие документы
Александр Валентинович Колчин, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко, Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров
"... In this paper we propose an approach to efficient automating test technology for industrial ..."
 
Том 20, № 6 (2013) Автоматизация создания верифицированных тестовых сценариев на основе гидов Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Александр Адольфович Летичевский
"... This paper presents an overview of technology of the automated generation of test scenarios based ..."
 
Том 17, № 4 (2010) Генерация тестовых данных на основе формального анализа данных конфигурации проекта Аннотация  PDF (Rus)  похожие документы
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын
"... This article discusses a problem of test data preparation for functional testing with a dened level ..."
 
Том 24, № 4 (2017) О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар
"... traffic on the interfaces of interest on the number of active cores, CPU frequency and test type ..."
 
Том 22, № 2 (2015) Эффективность доступа к данным в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Антонов, В. С. Рублев
"... . For the elucidation of the most effective way of the appeal to DIM DBMS the study of various query technologies ..."
 
Том 24, № 6 (2017) К критериям оценки безопасности нулевых ссылок при инициализации объекта Аннотация  похожие документы
Александр Валентинович Когтенков
"... тестов для сравнения решений этой проблемы. Наконец, она демонстрирует применение этих тестов к ..."
 
Том 22, № 2 (2015) Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый
"... for this purpose. Three types of CPU loads are considered including two artificial tests and background system load ..."
 
Том 25, № 2 (2018) Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам Аннотация  PDF (Rus)  похожие документы
Татьяна Рудольфовна Шмелёва
"... -and-forward and cut-through switching technologies. It is shown that the grids performance is approximately ..."
 
Том 23, № 6 (2016) Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки Аннотация  PDF (Rus)  похожие документы
Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов
"... methods for semantic relation extraction. We developed a test bench that allow to test well-known ..."
 
Том 26, № 1 (2019) Построение бортовых сетей реального времени на основе технологии ПКС Аннотация  PDF (Rus)  похожие документы
Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова
"... technology (similar to those used in AFDX and FC-AE-ASMRT) in an SDN supporting OpenFlow 1.3 protocol ..."
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация  PDF (Rus)  похожие документы
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
"... tests reveal that our kernel monitor does not significatly slow down the processing of the operating ..."
 
Том 24, № 2 (2017) Дедубликация в системе резервного копирования с хранением информации в базе данных Аннотация  PDF (Rus)  похожие документы
Сергей Максимович Таранин
"... a single file. The main advantage of using this technology is a significant saving of disk space. However ..."
 
Том 17, № 4 (2010) Безопасное тестирование симуляции систем с отказами и разрушением Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... and sucient conditions for the existense of complete test suite are discussed. The practical algo- rithm ..."
 
Том 23, № 6 (2016) Имитационное моделирование для анализа выполнимости приложений реального времени Аннотация  PDF (Rus)  похожие документы
С. Н. Баранов, В. В. Никифоров
"... on a multi-core platform is described. The application structure is specified through a simple formalized ..."
 
Том 20, № 2 (2013) Технологии и алгоритмы для создания дополненной реальности Аннотация  PDF (Rus)  похожие документы
Иван Александрович Благовещенский, Николай Андреевич Демьянков
"... This article is about the Augmented Reality technology itself and its current implementations ..."
 
Том 17, № 2 (2010) Облачные вычисления в Интернете: краткий экскурс в Центр компьютерного моделирования Аннотация  PDF (Rus)  похожие документы
Г. А. Тарнавский
 
Том 14, № 2 (2007) Модель сальтаторного проведения возбуждения по разветвляющемуся нервному волокну Аннотация  PDF (Rus)  похожие документы
С. Е. Ануфриенко, А. С. Мац
"... We propose a model which demonstrates the process of nerve impulse conduction through the forked ..."
 
Том 25, № 3 (2018) Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight Аннотация  похожие документы
Сергей Владимирович Моржов, Михаил Александрович Никитинский
"... application PreFirewall passed a number of tests. As a result of the stress testing, it was found ..."
 
Том 21, № 5 (2014) Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Фарков, Александр Иванович Легалов
"... and performance and accuracy tests were performed. ..."
 
Том 22, № 1 (2015) Использование информационных технологий и инфраструктур для агрегации научной информации. Опыт Канады, Нидерландов, Германии Аннотация  PDF (Rus)  похожие документы
Марат Рамилевич Биктимиров, Владимир Леонидович Глебский, Борис Вячеславович Долгов, Сергей Алексеевич Поликарпов
"... 125 Список литературы 1. The Global Information Technology Report 2014. The Networked Readiness ..."
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... We discuss some questions connected with the construction of a technology of analysing correctness ..."
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... Development (MDD) technologies. Benefits of this approach usage in the software development industry ..."
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов, С. И. Вовчок
"... generators and execution speed. Speed is achieved through distributed work and the fact that in any time ..."
 
Том 20, № 6 (2013) Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... a basic prototype; experiment results on a set of simple test BMC problems are satisfactory.   ..."
 
Том 20, № 6 (2013) О региональных случайных упаковках Аннотация  PDF (Rus)  похожие документы
Масахару Танемура
"... performing computer simulations, we obtain the areal packing density through statistical analysis. One ..."
 
Том 19, № 3 (2012) Синергетика — от прошлого к будущему Аннотация  PDF (Rus)  похожие документы
Георгий Геннадьевич Малинецкий
"... questions of the modern science and a number of key high technologies bounded with the future of the economy ..."
 
Том 25, № 4 (2018) О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» Аннотация  PDF (Rus)  похожие документы
Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый
"... The blockchain technology is based on the ”Proof-of-work” principles. The essence ..."
 
Том 23, № 5 (2016) О числовых характеристиках симплекса и их оценках Аннотация  PDF (Rus)  похожие документы
М. В. Невский, А. Ю. Ухалов
"... types of CPU loads are considered including two artificial tests and background system load. For each ..."
 
Том 20, № 4 (2013) Исследование ортогональности сигналов с вращением вектора поляризации Аннотация  PDF (Rus)  похожие документы
Юрий Евгеньевич Боровков, Александр Николаевич Кренев, Виктор Николаевич Муравьев, Александр Прокофьевич Омельчук
"... , rotation of the polarization vector, orthogonality test, plane of polarization, wave packet, integrated ..."
 
Том 22, № 5 (2015) Численное решение уравнения Пуассона в полярных координатах методом коллокаций и наименьших невязок Аннотация  PDF (Rus)  похожие документы
Е. В. Ворожцов, В. П. Шапеев
"... to the curvilinear ones. The method was verified on two test problems having exact analytic solutions. The examples ..."
 
Том 22, № 4 (2015) Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
А. Н. Носков, И. А. Манов
"...  is the technology of the future. The trend in communication systems constantly confirms this fact. However ..."
 
Том 23, № 2 (2016) Об эффективности минимизирующего подхода к оптимизации запросов Аннотация  PDF (Rus)  похожие документы
Н. А. Мендкович
"... term> AND ::= [ NOT ] test> test> ::=
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... as an executor module Tassadar as a part of bounded model checker Borealis. We tested Tassadar on two test sets ..."
 
Том 21, № 5 (2014) Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса Аннотация  PDF (Rus)  похожие документы
Василий Павлович Шапеев, Евгений Васильевич Ворожцов
"... computational formulas of the CLR method were verified on the exact analytic solution of a test problem ..."
 
Том 23, № 3 (2016) Численное моделирование процессов формирования полос адиабатического сдвига в композитах Аннотация  PDF (Rus)  похожие документы
Н. А. Кудряшов, Р. В. Муратов, П. Н. Рябов
"... тестовых задачах. Его работоспособность и эффективность подтверждена в результате проведенных тестов. С ..."
 
Том 20, № 6 (2013) Международная конференция “Геометрия, топология и и приложения” Аннотация  PDF (Rus)  похожие документы
Алексей Гарбер, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский
"... .G. Demidov Yaroslavl State University 2Institute of Science and Technology Austria, P.G. Demidov Yaroslavl ..."
 
Том 23, № 5 (2016) Численные методы решения задач Коши с контрастными структурами Аннотация  PDF (Rus)  похожие документы
А. А. Белов, Н. Н. Калиткин
"... . Задача (1) решается в квадратурах, что делает ее очень удобным тестом для численных расчетов: u(t) = − 2 ..."
 
Том 26, № 1 (2019) Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов
"... Nowadays new innovative approaches based on the technology of software defined networks (SDN ..."
 
Том 16, № 4 (2009) Математическое обоснование одного численного эксперимента Аннотация  PDF (Rus)  похожие документы
А. В. Дымов, П. Н. Нестеров
"... of radio waves through a complicated relief environment. ..."
 
Том 21, № 4 (2014) Эвристические алгоритмы для задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... .1). Эксперименты формировались из тестов двух типов: 1) 0.1-тесты – матрицы с десятичными элементами из интервала ..."
 
Том 21, № 6 (2014) Подход к автоматизации отладки поведенческих сценариев Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко
"... сочетает инструменты символьной верификации, генерации тестовых наборов и прогона тестов в едином ..."
 
Том 14, № 1 (2007) Синхронная модель автоматной программы Аннотация  PDF (Rus)  похожие документы
С. В. Кубасов, В. А. Соколов
"... . A formal automaton program model lets to use an existing technologies and tools of synchronous programs ..."
 
Том 19, № 4 (2012) Первая ярославская летняя школа по дискретной и вычислительной геометрии Аннотация  PDF (Rus)  похожие документы
Николай Долбилин, Г. Эдельсбруннер, Александр Иванов, Олег Мусин
"... and Technology Austria, P.G. Demidov Yaroslavl State University Moscow State University, P.G. Demidov Yaroslavl ..."
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
"... technology for many modern applications such as network virtualization, policy-based access control and many ..."
 
Том 23, № 6 (2016) От редактора специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Захаров
"... - ство BALM-II. Расширенные автоматы активно используются при построении тестов для программ- ного ..."
 
Том 21, № 6 (2014) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, В. А. Соколов
"... ограниченной проверки моделей для генерации тестов» предложен метод генерации модульных тестов для С-программ ..."
 
Том 18, № 2 (2011) Организация выполнения объектных запросов в динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич Рублев
"... technology DIM [2] is considered such that the computational complexity of the queries execution is as little ..."
 
Том 14, № 3 (2007) О вербальной модели диссертационной работы Аннотация  похожие документы
Ю. Г. Гущин
"... technology. ..."
 
Том 23, № 4 (2016) Резервное копирование с хранением в базе данных Аннотация  PDF (Rus)  похожие документы
С. М. Таранин
"... This paper presents an overview of some technologies that are used in modern backup systems. We ..."
 
Том 23, № 6 (2016) Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM Аннотация  PDF (Rus)  похожие документы
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
"... для решения широкого спектра задач. Они применяются для генерации тестовых сценариев [5, 6], форми ..."
 
Том 26, № 1 (2019) От главного редактора Аннотация  PDF (Rus)  похожие документы
Валерий Анатольевич Соколов
"... Network Technologies 2018” (MoNeTec-2018), which was held on October 25-26, 2018 in Moscow, in Skolkovo ..."
 
Том 19, № 1 (2012) Моделирование систем автоматического управления на основе полиномов Вольтерра Аннотация  PDF (Rus)  похожие документы
Светлана Витальевна Солодуша
"... of Volterra nonlinear systems of the first kind is developed. Numerical results for test examples ..."
 
Том 21, № 4 (2014) Разработка алгоритма измерения частоты пульса человека с помощью камеры мобильного телефона Аннотация  PDF (Rus)  похожие документы
Денис Александрович Лаурэ, Надеджа Станиславовна Лагутина, Илья Вячеславович Парамонов
"... пользователей приложения. После этого было решено собрать больше тесто- вых данных. На тестовом наборе из 50 ..."
 
Том 23, № 6 (2016) Формализм и языковые инструменты для описания семантики программных библиотек Аннотация  PDF (Rus)  похожие документы
В. М. Ицыксон
"... тести- рования. Для этого используется формализм Datalog, в терминах которого опреде- ляются функции ..."
 
Том 26, № 1 (2019) Иерархические периферийные вычисления Аннотация  PDF (Rus)  похожие документы
Руслан Леонидович Смелянский
"... , new mobile communication technologies, which today cannot be implemented without the usage of cloud ..."
 
Том 18, № 2 (2011) Разбиение железнодорожного состава на отдельные вагоны Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Малков, Геннадий Павлович Штерн, Иван Александрович Михайлов
"... different films to test the algorithm. ..."
 
Том 19, № 2 (2012) Потоки в обобщенных сетях со связанными дугами Аннотация  PDF (Rus)  похожие документы
Владимир Александрович Скороходов
"... the arcs are related in such a way that the total flow passing through the related arcs does not exceed ..."
 
Том 19, № 3 (2012) О порядке роста числа инъективных и сверхрастущих рюкзачных векторов Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин
"... with the super-increasing vectors through the knapsack maximal element increasing. ..."
 
Том 21, № 1 (2014) Уравнения движения твердого тела с двумя упругими стержнями Аннотация  PDF (Rus)  похожие документы
Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин
"... the axis passing through the mass center of a rigid body and perpendicular to the plane of the rods ..."
 
Том 14, № 4 (2007) Об одном из методов научного творчества Аннотация  PDF (Rus)  похожие документы
Ю. Г. Гущин
"... technology. ..."
 
Том 20, № 3 (2013) Преобразования задач оптимального управления Аннотация  PDF (Rus)  похожие документы
Анатолий Михайлович Цирлин
"... unchanged through equations of the system (invariant), by extension of the original problem and a transition ..."
 
1 - 75 из 172 результатов 1 2 3 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)