Сортировать по:
| Выпуск | Название | |
| Том 30, № 6 (2018) | О задаче эффективного управления вычислительной инфраструктурой | Аннотация PDF (Rus) похожие документы |
| Д. А. Грушин, Н. Н. Кузюрин | ||
| "... : коротких, долгих, интерактивных, пакетных, и задач с различным приоритетом. Планировщик кластера решает ..." | ||
| Том 30, № 4 (2018) | Способы сегментации медицинских изображений | Аннотация похожие документы |
| С. А. Мусатян, А. В. Ломакин, С. Ю. Сартасов, Л. К. Попыванов, И. Б. Монахов, А. С. Чижова | ||
| "... , связанных с человеческим фактором. Несмотря на то, что некоторые из методов решения задач могут быть ..." | ||
| Том 21 (2011) | Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, М. С. Акопян, С. С. Гайсарян | ||
| "... SPMD программ с явным обменом сообщениями, написанных на языке Java с обращениями к библиотеке MPI, и ..." | ||
| Том 28, № 1 (2016) | Тестирование системы автоматов с буферизацией сообщений | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... тестовых воздействий порядка произведения чисел состояний автоматов компонентов, а с учётом гипотезы о ..." | ||
| Том 28, № 1 (2016) | Система автоматов: композиция по графу связей | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... моделируются конечными автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом ..." | ||
| Том 28, № 1 (2016) | Система автоматов: условия детерминизма и тестирование | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом сообщениями по симплексным ..." | ||
| Том 28, № 1 (2016) | Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов | Аннотация PDF (Rus) похожие документы |
| К. С. Кузьмина, И. К. Марчевский | ||
| "... формуле, полученной с помощью разложения выражения для конвективной скорости в ряд Тейлора. Влияние ..." | ||
| Том 28, № 3 (2016) | Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений | Аннотация похожие документы |
| П. П. Олейник, С. М. Салибекян | ||
| "... первым автором, реализован с помощью иерархии классов, состав и структура которых детально описана в ..." | ||
| Том 28, № 3 (2016) | Генерация динамических ключей и подписей с зависимостью от времени | Аннотация похожие документы |
| А. С. Кирьянцев, И. А. Стефанова | ||
| "... подписей для сообщений с зависимостью от времени начала взаимодействия двух абонентов. В предлагаемом ..." | ||
| Том 28, № 3 (2016) | Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... основе журналов событий информационных систем с сервис-ориентированной архитектурой (SOA). Диаграммы ..." | ||
| Том 28, № 3 (2016) | Применение MapReduce для проверки соответствия моделей процессов и логов событий | Аннотация похожие документы |
| И. С. Шугуров, А. А. Мицюк | ||
| "... соответствия на основе выравниваний является не слишком эффективной с точки зрения потребления памяти и времени ..." | ||
| Том 28, № 3 (2016) | Метод представления мнений экспертов в виде Z-чисел | Аннотация похожие документы |
| Е. А. Глуходед, С. И. Сметанин | ||
| "... играет важную роль. Мы часто работаем с неполной информацией, основанной на опыте и оценках различных ..." | ||
| Том 28, № 3 (2016) | Система деанонимизации пользователей теневого интернета | Аннотация похожие документы |
| С. М. Авдошин, А. В. Лазаренко | ||
| "... Tor с целью успешной деанонимизации пользователей. Описан эксперимент использования website ..." | ||
| Том 28, № 4 (2016) | Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций | Аннотация похожие документы |
| А. С. Камкин, А. М. Коцыняк | ||
| "... управления памятью микропроцессоров с архитектурой MIPS64. Предлагаемое средство базируется на среде ..." | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков | ||
| "... итеративного динамического анализа с целью покрытия наибольшего числа путей выполнения программы. Для такого ..." | ||
| Том 30, № 4 (2018) | К синтезу адаптивных различающих последовательностей для конечных автоматов | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, Н. В. Евтушенко | ||
| "... Конечные автоматы широко используются при построении проверяющих тестов для управляющих систем с ..." | ||
| Том 27, № 1 (2015) | Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... формате ELF для архитектуры ARM. Предлагаемый метод включает возможности настройки инструментации с ..." | ||
| Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация похожие документы |
| В. В. Никифоров, С. Н. Баранов | ||
| "... тестировать с помощью соответствующего набора автоматических тестов. Такой набор тестов для тестирования ..." | ||
| Том 29, № 4 (2017) | Смешанная задача китайского почтальона | Аннотация похожие документы |
| М. К. Горденко, С. М. Авдошин | ||
| "... основном связаны с определением оптимального набора путей в мультиграфе. Задача китайского почтальона (CPP ..." | ||
| Том 29, № 4 (2017) | Метрическая задача коммивояжера: экспериментальное исследование Парето-оптимальных алгоритмов | Аннотация похожие документы |
| С. М. Авдошин, Е. Н. Береснева | ||
| "... работы и точности решения в ходе экспериментального исследования. В связи с тем, что задача коммивояжера ..." | ||
| Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... исполнения, представленных в виде журналов событий, систем с сервис-ориентированной архитектурой (СОА). В то ..." | ||
| Том 29, № 4 (2017) | Cтохастические методы анализа комплексных программно-аппаратных систем | Аннотация похожие документы |
| А. А. Карнов, С. В. Зеленов | ||
| "... инструмент должен работать - язык моделирования AADL с библиотекой Error Model Annex, набор инструментов ..." | ||
| Том 29, № 1 (2017) | Обзор подходов к моделированию памяти в инструментах статической верификации | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин | ||
| "... -Борната, модель с регионами и полная модель памяти для теории интерпретируемых множеств элементов списков ..." | ||
| Том 29, № 2 (2017) | Размер памяти для хранения упорядоченного корневого графа | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... совпадение номеров соответствующих вершин. Графы рассматриваются с точностью до слабого изоморфизма. Показано ..." | ||
| Том 27, № 3 (2015) | Языковой сервис FRIS для расширенной поддержки Fortran в Microsoft Visual Studio | Аннотация PDF (Rus) похожие документы |
| И. С. Раткевич | ||
| Том 26, № 1 (2014) | Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища | Аннотация PDF (Rus) похожие документы |
| С. С. Гайсарян, Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, С. С. Саргсян | ||
| "... распространять приложения в промежуточном представлении LLVM. Описывается модификация компонентов LLVM с целью ..." | ||
| Том 28, № 5 (2016) | Ускорение оптимизации программ во время связывания | Аннотация PDF (Rus) похожие документы |
| К. Ю. Долгорукова, С. В. Аришин | ||
| "... метод представляет собой работу исключительно на аннотациях, что позволяет работать с минимально ..." | ||
| Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, Е. М. Новиков | ||
| Том 29, № 3 (2017) | Объектно-ориентированный каркас для программной реализации приложений теории расписаний | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, В. А. Семенов | ||
| "... Статья адресована вопросам программной реализации моделей, методов и приложений теории расписаний с ..." | ||
| Том 29, № 4 (2017) | Автоматизированная генерация типовых контрактов для языка Ruby | Аннотация похожие документы |
| Н. Ю. Вьюгинов, В. С. Фондаратов | ||
| "... исполнение строковых выражений. Даже в языках с динамической типизацией информация о типах важна, так как она ..." | ||
| Том 29, № 2 (2017) | Общий подход к решению задач на графах коллективом автоматов | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... считаются полуроботами, т.е. размер их памяти может расти вместе с ростом числа n вершин и числа m рёбер ..." | ||
| Том 29, № 2 (2017) | Математическая формализация задач проектного планирования в расширенной постановке | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, В. А. Семенов | ||
| Том 30, № 1 (2018) | О возможностях автоматного описания параллельной композиции временных автоматов | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, А. В. Лапутенко | ||
| "... композиции для двух моделей временных автоматов, а именно, для автоматов с таймаутами и автоматов с ..." | ||
| Том 30, № 1 (2018) | Методы деанонимизации пользователей биткоин | Аннотация похожие документы |
| С. М. Авдошин, А. В. Лазаренко | ||
| Том 30, № 2 (2018) | Синтаксический анализ графов с использованием конъюнктивных грамматик | Аннотация PDF (Rus) похожие документы |
| Р. Ш. Азимов, С. В. Григорьев | ||
| "... , статическом анализе кода и др. При этом оказывается необходимо вычислять запросы к большим графам с целью ..." | ||
| Том 30, № 2 (2018) | Проблема отката в ориентированной распределенной системе | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... отображения: «быстрый» алгоритм с оценками T = O ( n ) и N = O ( n ) и «экономный» алгоритм с оценками T = O ..." | ||
| Том 30, № 3 (2018) | К построению модульной модели распределенного интеллекта | Аннотация PDF (Rus) похожие документы |
| Ю. Л. Словохотов, И. С. Неретин | ||
| Том 30, № 3 (2018) | Варианты задач китайского почтальона и их решения через преобразование в задачи маршрутизации | Аннотация похожие документы |
| М. К. Горденко, С. М. Авдошин | ||
| Том 30, № 3 (2018) | Анализ математических постановок задачи маршрутизации с ограничением по грузоподъемности и методов их решения | Аннотация похожие документы |
| Е. Н. Береснева, С. М. Авдошин | ||
| "... заключается в нахождении множества оптимальных замкнутых маршрутов с целью развозки товаров клиентам ..." | ||
| Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| "... процессора. Разработанная модель позволяет оценивать время выполнения параллельной программы с явными ..." | ||
| Том 23 (2012) | О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью | Аннотация PDF (Rus) похожие документы |
| С. Н. Жук | ||
| "... Предложен онлайновый алгоритм распределения параллельных задач на группе кластеров с различными ..." | ||
| Том 20 (2011) | Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST | Аннотация PDF (Rus) похожие документы |
| С. В. Сыромятников | ||
| "... синтаксического дерева. В данной статье рассматриваются преимущества и недостатки данного подхода, в сравнении с ..." | ||
| Том 20 (2011) | Планирование строго периодических задач в системах реального времени | Аннотация PDF (Rus) похожие документы |
| С. В. Зеленов | ||
| "... производится с учетом того, чтобы за приемлемое время строилось как можно более оптимальное расписание ..." | ||
| Том 27, № 2 (2015) | Использование многопоточных процессов в среде ParJava | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| 133 - 176 из 274 результатов | << < 1 2 3 4 5 6 7 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
