Сортировать по:
Выпуск | Название | |
Том 29, № 3 (2017) | ADV_SPM - Формальные модели политики безопасности на практике | Аннотация PDF (Rus) похожие документы |
А. В. Хорошилов, И. В. Щепетков | ||
"... , решаемые этим семейством, и вопросы, которые возникают при попытке интерпретировать его требования. На ..." | ||
Том 30, № 1 (2018) | Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES | Аннотация PDF (Rus) похожие документы |
И. К. Марчевский, В. В. Пузикова | ||
"... (метода бисопряженных градиентов со стабилизацией) и метода FGMRES (гибкого метода обобщенных минимальных ..." | ||
Том 30, № 2 (2018) | Проблема отката в ориентированной распределенной системе | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... Для распределенной системы, в основе которой лежит ориентированный граф без кратных ребер и петель ..." | ||
Том 30, № 3 (2018) | К построению модульной модели распределенного интеллекта | Аннотация PDF (Rus) похожие документы |
Ю. Л. Словохотов, И. С. Неретин | ||
"... Описание и моделирование динамики мультиагентных социальных систем методами, заимствованными из ..." | ||
Том 30, № 4 (2018) | Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений | Аннотация похожие документы |
И. А. Адамович, Анд. В. Климов | ||
"... диалоговых средств. В данной статье описываются результаты разработки и реализации методов интерактивной ..." | ||
Том 30, № 3 (2018) | Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи | Аннотация похожие документы |
Д. А. Лебедев, И. А. Стотланд | ||
"... данных. Контроллеры сопряжения интерфейсов учувствуют в передаче и преобразовании данных между блоками ..." | ||
Том 28, № 1 (2016) | Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne | Аннотация PDF (Rus) похожие документы |
А. А. Цынаева, М. Н. Никитин | ||
"... Работа посвящена построению модели и численному исследованию течения в прямоугольном канале с ..." | ||
Том 28, № 1 (2016) | Высокопроизводительное численное моделирование стратифицированных течений около клина в OpenFOAM | Аннотация PDF (Rus) похожие документы |
Н. Ф. Димитриева, Ю. Д. Чашечкин | ||
"... неподвижного и движущегося клиновидного тела с прямыми и искривленными гранями. Расчеты, проведенные с ..." | ||
Том 28, № 1 (2016) | Свободное программное обеспечение для моделирования жидкости со свободной поверхностью | Аннотация PDF (Rus) похожие документы |
Е. В. Давыдова, В. Н. Корчагова | ||
"... класс задач механики сплошной среды и имеют большую практическую значимость. При моделировании таких ..." | ||
Том 28, № 3 (2016) | К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов | Аннотация PDF (Rus) похожие документы |
А. Д. Ермаков, Н. В. Евтушенко | ||
"... , каждое состояние детерминировано достижимо из любого другого состояния, и проверяемый автомат (автомат ..." | ||
Том 28, № 2 (2016) | Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей | Аннотация похожие документы |
Д. Д. Кожевников, Н. В. Красилич | ||
"... фундаментальные работы по мемристорам и мемристорным технологиям, рассмотрены различные физические реализации ..." | ||
Том 28, № 4 (2016) | Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению | Аннотация PDF (Rus) похожие документы |
В. Н. Юдин, Л. Е. Карпов | ||
"... математической модели, предложена модель поведения объектов, вовлеченных в вялотекущие процессы и подверженных ..." | ||
Том 30, № 4 (2018) | К синтезу адаптивных различающих последовательностей для конечных автоматов | Аннотация PDF (Rus) похожие документы |
А. С. Твардовский, Н. В. Евтушенко | ||
"... современных систем часто приходится учитывать опциональность неформальной спецификации, и соответственно ..." | ||
Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация похожие документы |
В. В. Никифоров, С. Н. Баранов | ||
"... тестирования и концепция плоских съем для эффективного выполнения тестирования встроенной ОС. Чтобы избежать ..." | ||
Том 29, № 4 (2017) | Метрическая задача коммивояжера: экспериментальное исследование Парето-оптимальных алгоритмов | Аннотация похожие документы |
С. М. Авдошин, Е. Н. Береснева | ||
"... Задача коммивояжера - одна из важнейших задач теории графов и комбинаторной оптимизации, суть ..." | ||
Том 25 (2013) | Автоматическое извлечение новых концептов предметно-специфичных терминов | Аннотация PDF (Rus) похожие документы |
Н. А. Астраханцев | ||
"... неформальным базам знаний, поскольку требует только вычисления семантической близости между концептами и ..." | ||
Том 25 (2013) | Поиск повторяющихся фрагментов исходного кода при автоматическом рефакторинге | Аннотация PDF (Rus) похожие документы |
Н. Г. Зельцер | ||
"... типа клонов описан способ их поиска. Приведены недостатки существующих инструментов и показано, что ..." | ||
Том 23 (2012) | Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight | Аннотация PDF (Rus) похожие документы |
Н. Л. Луговской | ||
Том 23 (2012) | О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью | Аннотация PDF (Rus) похожие документы |
С. Н. Жук | ||
"... производительностями процессоров и показано, что он гарантирует для любого потока задач построение расписания ..." | ||
Том 21 (2011) | Оценка Производительности Протокола Реализации Snapshot Isolation | Аннотация PDF (Rus) похожие документы |
Д. Н. Василик | ||
"... разработали простой прокол реализации SI для распределенных СУБД и реализовали его в Apache HBase ..." | ||
Том 18 (2010) | Прозрачный механизм удаленного обслуживания системных вызовов | Аннотация PDF (Rus) похожие документы |
П. Н. Яковенко | ||
"... модификации кода пользовательского приложения и операционной системы. Использование технологии аппаратной ..." | ||
Том 30, № 6 (2018) | Математическая модель процесса дегазации полимерного покрытия в условиях открытого космоса | Аннотация PDF (Rus) похожие документы |
Н. А. Полибина | ||
"... элемента конструкции и законе его изменения вследствие изменения ориентации космического аппарата по ..." | ||
Том 30, № 2 (2018) | Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении | Аннотация PDF (Rus) похожие документы |
А. Н. Авдеева, В. В. Пузикова | ||
"... гиперболическую и параболическую подзадачи. Для решения гиперболической подзадачи используется интегро ..." | ||
Том 29, № 4 (2017) | Автоматизированная генерация типовых контрактов для языка Ruby | Аннотация похожие документы |
Н. Ю. Вьюгинов, В. С. Фондаратов | ||
"... анализ усложняется специфическими возможностями языка, такими как динамическое создание методов и ..." | ||
Том 29, № 3 (2017) | Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов | Аннотация PDF (Rus) похожие документы |
Ю. А. Солоделов, Н. К. Горелиц | ||
"... появления JetOS и рассмотрены работы, ведущиеся по направлению создания ОСРВ. ОСРВ разрабатывается в ..." | ||
Том 30, № 1 (2018) | Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы | Аннотация похожие документы |
В. Н. Юдин, Л. Е. Карпов | ||
"... Неполностью описанные объекты могут встретиться в самых разных предметных областях и приложениях ..." | ||
Том 30, № 2 (2018) | Автоматизированная генерация декодеров машинных команд | Аннотация PDF (Rus) похожие документы |
Н. Ю. Фокина, М. А. Соловьев | ||
Том 30, № 3 (2018) | Анализ математических постановок задачи маршрутизации с ограничением по грузоподъемности и методов их решения | Аннотация похожие документы |
Е. Н. Береснева, С. М. Авдошин | ||
"... рассматривались динамические и стохастические подвиды задачи маршрутизации. Во второй части представлена впервые ..." | ||
Том 30, № 3 (2018) | Применение методов системного анализа к оцениванию работы учебных ассистентов | Аннотация похожие документы |
Е. Н. Береснева, М. К. Горденко | ||
"... применение soft- и hard-методов системного анализа. Методы системного анализа рассматриваются на примере ..." | ||
Том 27, № 1 (2015) | Применение временных рядов в задаче фоновой идентификации пользователей на основе анализа их работы с текстовыми данными | Аннотация PDF (Rus) похожие документы |
В. Ю. Королёв, А. Ю. Корчагин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв | ||
"... работе исследовались два различных подхода оценки отклонений: абсолютная оценка и оценка p-значения ..." | ||
91 - 120 из 235 результатов | << < 1 2 3 4 5 6 7 8 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)