Сортировать по:
| Выпуск | Название | |
| Том 28, № 2 (2016) | Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS | Аннотация похожие документы |
| С. Тул, П. Г. Ларсен | ||
| "... физические объекты и взаимодействующие с ними. Анализ процессов в таких системах является сложной задачей из ..." | ||
| Том 26, № 4 (2014) | Предисловие | PDF (Rus) похожие документы |
| С. Д. Кузнецов | ||
| Том 26, № 6 (2014) | Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов | Аннотация PDF (Rus) похожие документы |
| М. С. Форостьянова | ||
| "... В статье предложен подход к тестированию программных реализаций телекоммуникационных протоколов на ..." | ||
| Том 27, № 6 (2015) | Динамическая оптимизация нагрузки на вычислительных узлах частных, публичных и гибридных облаков | Аннотация PDF (Rus) похожие документы |
| А. С. Чадин | ||
| "... Данная система предназначена для автоматизированного распределения нагрузки в кластере путем ..." | ||
| Том 20 (2011) | Использование префиксного дерева для хранения и поиска строк во внешней памяти | Аннотация PDF (Rus) похожие документы |
| И. С. Таранов | ||
| "... . Мы также сравниваем нашу реализацию с существующей реализацией B-дерева. В работе показано, что в ..." | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| "... Тестирование аппаратуры - это процесс, нацеленный на обнаружение неисправностей, внесенных в ..." | ||
| Том 28, № 1 (2016) | Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью | Аннотация PDF (Rus) похожие документы |
| В. В. Пузикова | ||
| "... использованием моделей турбулентности Смагоринского, Спаларта - Аллмараса, , и SST в рамках RANS, LES и DES ..." | ||
| Том 29, № 1 (2017) | Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей | Аннотация PDF (Rus) похожие документы |
| В. В. Пузикова | ||
| "... неньютоновских вязкоупругих напряжений. Нормальные неньютоновские напряжения вычисляются в центрах ячеек основной ..." | ||
| Том 28, № 5 (2016) | Поиск ошибок выхода за границы буфера в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
| В. В. Каушан | ||
| "... В статье рассматривается метод поиска ошибок выхода за границы буфера в рамках метода ..." | ||
| Том 21 (2011) | Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, М. С. Акопян, С. С. Гайсарян | ||
| "... В работе рассматриваются методы оценки времени выполнения модели параллельной программы на ..." | ||
| Том 29, № 5 (2017) | Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем | Аннотация PDF (Rus) похожие документы |
| В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов | ||
| "... разрядами в информационных векторах, занимающими соседние позиции в информационных векторах. Новые коды с ..." | ||
| Том 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) | Применение MapReduce для проверки соответствия моделей процессов и логов событий | Аннотация похожие документы |
| И. С. Шугуров, А. А. Мицюк | ||
| "... модифицированная версия алгоритма проверки соответствия на основе выравниваний с применением MapReduce. Так же в ..." | ||
| Том 28, № 3 (2016) | Метод представления мнений экспертов в виде Z-чисел | Аннотация похожие документы |
| Е. А. Глуходед, С. И. Сметанин | ||
| "... практической деятельности. В 2010 году профессор Лотфи Заде предложил концепцию Z -чисел, которая связана с ..." | ||
| Том 28, № 4 (2016) | Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций | Аннотация похожие документы |
| А. С. Камкин, А. М. Коцыняк | ||
| "... В данной работе описан инструмент автоматической генерации тестовых программ для подсистем ..." | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков | ||
| "... В статье рассматривается задача проведения динамического анализа программ на языке Java при ..." | ||
| Том 27, № 4 (2015) | Методы построения социо-демографических профилей пользователей сети Интернет | Аннотация PDF (Rus) похожие документы |
| А. Г. Гомзин, С. Д. Кузнецов | ||
| "... основано на использовании методов машинного обучения с учителем. В данной статье отдельно рассмотрен каждый ..." | ||
| Том 27, № 1 (2015) | Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... инструментационного кода в программу, модификация кода программы с целью осуществления передачи управления на ..." | ||
| Том 28, № 5 (2016) | Оптимизация читаемости тестов порождаемых при символьных вычислениях | Аннотация PDF (Rus) похожие документы |
| И. А. Якимов, А. С. Кузнецов | ||
| "... человеком. Представленный в данной работе метод позволяет улучшить читаемость тестов, автоматически ..." | ||
| Том 29, № 4 (2017) | Смешанная задача китайского почтальона | Аннотация похожие документы |
| М. К. Горденко, С. М. Авдошин | ||
| "... основном связаны с определением оптимального набора путей в мультиграфе. Задача китайского почтальона (CPP ..." | ||
| Том 29, № 4 (2017) | Метрическая задача коммивояжера: экспериментальное исследование Парето-оптимальных алгоритмов | Аннотация похожие документы |
| С. М. Авдошин, Е. Н. Береснева | ||
| "... работы и точности решения в ходе экспериментального исследования. В связи с тем, что задача коммивояжера ..." | ||
| Том 29, № 2 (2017) | Размер памяти для хранения упорядоченного корневого графа | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... В статье рассматривается размер памяти, необходимый и достаточный для хранения графа из класса ..." | ||
| Том 27, № 3 (2015) | Языковой сервис FRIS для расширенной поддержки Fortran в Microsoft Visual Studio | Аннотация PDF (Rus) похожие документы |
| И. С. Раткевич | ||
| "... В данной статье рассматриваются вопросы построения языкового сервиса для расширенной поддержки ..." | ||
| Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| "... В работе описывается расширение модели параллельной SPMD программы возможностью использования ..." | ||
| Том 23 (2012) | О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью | Аннотация PDF (Rus) похожие документы |
| С. Н. Жук | ||
| "... Предложен онлайновый алгоритм распределения параллельных задач на группе кластеров с различными ..." | ||
| 121 - 150 из 407 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
