Сортировать по:
| Выпуск | Название | |
| Том 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) похожие документы |
| И. С. Раткевич | ||
| Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| "... процессора. Разработанная модель позволяет оценивать время выполнения параллельной программы с явными ..." | ||
| Том 23 (2012) | О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью | Аннотация PDF (Rus) похожие документы |
| С. Н. Жук | ||
| "... Предложен онлайновый алгоритм распределения параллельных задач на группе кластеров с различными ..." | ||
| Том 20 (2011) | Транзакционные параллельные СУБД: новая волна | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов | ||
| "... соображений свойства ACID частично ослабляются (но совсем не в связи с "теоремой" CAP). ..." | ||
| Том 20 (2011) | Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST | Аннотация PDF (Rus) похожие документы |
| С. В. Сыромятников | ||
| "... синтаксического дерева. В данной статье рассматриваются преимущества и недостатки данного подхода, в сравнении с ..." | ||
| Том 20 (2011) | Планирование строго периодических задач в системах реального времени | Аннотация PDF (Rus) похожие документы |
| С. В. Зеленов | ||
| "... производится с учетом того, чтобы за приемлемое время строилось как можно более оптимальное расписание ..." | ||
| Том 27, № 2 (2015) | Использование многопоточных процессов в среде ParJava | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| Том 18 (2010) | Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин | ||
| Том 18 (2010) | Технология создания гетерогенных трасс, их анализа и генерации из них отчётов | Аннотация PDF (Rus) похожие документы |
| С. Г. Грошев | ||
| Том 21 (2011) | Разработка параллельной СУБД на основе PostgreSQL | Аннотация PDF (Rus) похожие документы |
| К. С. Пан | ||
| "... PargreSQL для многопроцессорных вычислительных систем с распределенной памятью. PargreSQL основана на СУБД с ..." | ||
| Том 19 (2010) | Год эпохи перемен в технологии баз данных | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов | ||
| "... экспериментами с несколькими новыми архитектурами, предназначенными для поддержки приложений потоковых данных ..." | ||
| Том 19 (2010) | MapReduce: внутри, снаружи или сбоку от параллельных СУБД? | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов | ||
| "... коммуникационной инфраструктуры новой параллельной СУБД и применяется автономно в симбиотическом единстве с ..." | ||
| Том 30, № 6 (2018) | Конфигурационная сборка варианта ядра Linux для прикладных систем | Аннотация PDF (Rus) похожие документы |
| С. В. Козин | ||
| "... правильности их идентификации и связей с другими элементами. Затем по этим моделям проводится конфигурирование ..." | ||
| Том 28, № 5 (2016) | Ускорение оптимизации программ во время связывания | Аннотация PDF (Rus) похожие документы |
| К. Ю. Долгорукова, С. В. Аришин | ||
| "... метод представляет собой работу исключительно на аннотациях, что позволяет работать с минимально ..." | ||
| Том 29, № 6 (2017) | Поиск недостающих вызовов библиотечных функций с использованием машинного обучения | Аннотация 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 ..." | ||
| Том 28, № 6 (2016) | Метод автоматического определения возраста пользователей с помощью социальных связей | Аннотация PDF (Rus) похожие документы |
| А. Г. Гомзин, С. Д. Кузнецов | ||
| "... предоставляют пользователям возможность заполнять свои профили, которые могут включать в себя возраст. В связи с ..." | ||
| Том 30, № 3 (2018) | К построению модульной модели распределенного интеллекта | Аннотация PDF (Rus) похожие документы |
| Ю. Л. Словохотов, И. С. Неретин | ||
| 61 - 90 из 205 результатов | << < 1 2 3 4 5 6 7 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
