Сортировать по:
Выпуск | Название | |
Том 28, № 4 (2016) | Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник | ||
"... В последние годы по мере увеличения производительности и роста объема оперативной и внешней памяти ..." | ||
Том 26, № 2 (2014) | Снижение неоднозначности в оценке состояния объекта при управлении по прецедентам | Аннотация PDF (Rus) похожие документы |
Л. Е. Карпов, В. Н. Юдин | ||
"... управления сложными объектами на основе прецедентов. В ситуации, когда трудно или невозможно получить точную ..." | ||
Том 26, № 5 (2014) | Оценка сложности крупноблочных облачных вычислений, использующих арифметику повышенной точности | Аннотация PDF (Rus) похожие документы |
С. С. Толстых, В. Е. Подольский | ||
"... В статье рассмотрены вопросы оценки сложности крупноблочных облачных вычислений с повышенной ..." | ||
Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) похожие документы |
Е. В. Пальчевский, А. Р. Халиков | ||
"... В данной статье рассматриваются техника написания кода, с помощью которой можно сэкономить время ..." | ||
Том 24 (2013) | Роль предыстории при оценке сложного объекта в управлении по прецедентам | Аннотация PDF (Rus) похожие документы |
Л. Е. Карпов, В. Н. Юдин | ||
"... управлению объектами по прецедентам, разработанного в рамках более ранних работ авторов, применительно к ..." | ||
Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков, А. В. Хорошилов | ||
"... позволяющих использовать для запросов естественные языки. В статье предлагается подход к выполнению запросов ..." | ||
Том 24 (2013) | Гибридный подход к построению систем поддержки решений | Аннотация PDF (Rus) похожие документы |
В. Н. Юдин, Л. Е. Карпов | ||
"... Системы поддержки принятия решений, в которых результаты вывода по правилам дополняют результаты ..." | ||
Том 19 (2010) | Многопараметрическое управление на основе прецедентов | Аннотация PDF (Rus) похожие документы |
Л. Е. Карпов, В. Н. Юдин | ||
"... взаимным влиянием воздействий в ситуациях, когда влияние внешних факторов может оказаться взаимозависимым и ..." | ||
Том 19 (2010) | Обмен данными в распределенной системе поддержки решений | Аннотация PDF (Rus) похожие документы |
Л. Е. Карпов, В. Н. Юдин | ||
"... опыта, накопленного другими пользователями в подобных системах. Рассматриваются два варианта обмена в ..." | ||
Том 29, № 6 (2017) | Мелкогранулярная рандомизация адресного пространства программы при запуске | Аннотация PDF (Rus) похожие документы |
А. Р. Нурмухаметов, Е. А. Жаботинский, Ш. Ф. Курмангалеев, С. С. Гайсарян, А. В. Вишняков | ||
"... атакующими. В данной работе предлагается метод защиты от атак такого типа, который называется ..." | ||
Том 30, № 5 (2018) | Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах | Аннотация PDF (Rus) похожие документы |
И. С. Алимова, Е. В. Тутубалина | ||
"... В данной работе представлено экспериментальное исследование эффективности ряда моделей нейронных ..." | ||
Том 28, № 6 (2016) | Динамическая компиляция SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
Р. А. Бучацкий, Е. Ю. Шарыгин, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник, Р. В. Баев | ||
"... В последние годы по мере увеличения производительности и роста объема оперативной и внешней памяти ..." | ||
Том 22 (2012) | Анализ типовых ошибок в драйверах операционной системы Linux | Аннотация PDF (Rus) похожие документы |
В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... соответствующие типовые ошибки автоматизированным образом. В данной статье предлагается методика выявления и ..." | ||
Том 20 (2011) | Архитектура Linux Driver Verification | Аннотация PDF (Rus) похожие документы |
В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед | ||
"... В настоящей статье исследуются требования к построению архитектуры открытой системы верификации ..." | ||
Том 26, № 1 (2014) | Тестирование операционных систем | Аннотация PDF (Rus) похожие документы |
Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев | ||
"... Работа операционной системы лежит в основе функционирования любой компьютерной системы. Сбои и ..." | ||
Том 26, № 1 (2014) | Рефакторинг в рамках программного проекта | Аннотация PDF (Rus) похожие документы |
С. В. Сыромятников, И. Е. Бронштейн, Н. Л. Луговской | ||
"... является неотъемлемой частью гибкой методологии разработки. Однако, до сих пор наблюдается недостаток в ..." | ||
Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... влияние на работу драйвера. В то же время, верификации драйвера в комбинации с исходным кодом сердцевины ..." | ||
Том 27, № 6 (2015) | Обработка больших объемов сырых астрономических данных с помощью модели вычислений MapReduce | Аннотация PDF (Rus) похожие документы |
С. В. Герасимов, А. В. Мещеряков, И. Ю. Колосов, Е. С. Глотов, И. С. Попов | ||
"... Экспоненциальный рост объемов, повышение качества данных в современных и будущих обзорах неба ..." | ||
Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... В работе рассмотрены методы и техники, используемые в современных инструментах статической ..." | ||
Том 19 (2010) | Восстановление формата данных | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, Ю. В. Маркин, В. А. Падарян, Е. И. Щетинин | ||
"... структуры полученного программой сетевого сообщения или считанного файла. В случае работы аналитика с ..." | ||
Том 24 (2013) | Разработка и реализация облачной системы для решения высокопроизводительных задач | Аннотация PDF (Rus) похожие документы |
А. О. Кудрявцев, В. К. Кошелев, А. О. Избышев, И. А. Дудина, Ш. Ф. Курмангалеев, А. И. Аветисян, В. П. Иванников, В. Е. Велихов, Е. А. Рябинкин | ||
"... В данной работе описаны основные проблемы, возникающие при переносе высокопроизводительных ..." | ||
Том 29, № 3 (2017) | Обзор задач и методов их решения в области классификации сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, Ю. В. Маркин, Е. Ф. Евстропов, Д. О. Обыденков | ||
"... В статье рассматривается задача классификации сетевого трафика: характеристики, используемые для её ..." | ||
Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
"... Ядро операционной системы (ОС) представляет собой критичную в отношении надежности и ..." | ||
Том 26, № 1 (2014) | Инструментальные средства проектирования систем интегрированной модульной авионики | Аннотация PDF (Rus) похожие документы |
Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко, А. В. Страх, А. А. Угненко, А. В. Хорошилов | ||
"... становится невозможным без привлечения средств автоматизации. В настоящее время в мире в этой области имеются ..." | ||
Том 28, № 3 (2016) | Инструменты математического сервиса MathPartner для выполнения параллельных вычислений на кластере | Аннотация PDF (Rus) похожие документы |
Е. А. Ильченко | ||
"... оперативную память. Такие объекты размещаются на жестком диске. В статье дается описание алгоритмов для тех ..." | ||
Том 27, № 4 (2015) | Обнаружение и оценка количества промахов когерентности на основе вероятностной модели | Аннотация PDF (Rus) похожие документы |
Е. А. Велесевич | ||
"... обновляют разные переменные, попадающие в одну строку кэша. В статье для оценки количества промахов ..." | ||
Том 29, № 2 (2017) | Развитие ядра операционной системы Linux | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков | ||
"... , исправленных в ядре, на основе анализа изменений, которые были сделаны в стабильных ветках ядра за последние 2 ..." | ||
Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков | ||
"... У большинства современных, повсеместно используемых операционных систем архитектура ядра в той или ..." | ||
Том 30, № 1 (2018) | Оптимизация доступа к страницам памяти в системах, использующих программную реализацию глобального страничного кеша | Аннотация PDF (Rus) похожие документы |
Е. И. Гусев | ||
"... В статье рассматривается способ обработки распределённых страниц в Oracle Real Application Clusters ..." | ||
Том 30, № 3 (2018) | Нотация криптографической стековой машины версии один | Аннотация похожие документы |
С. Е. Прокопьев | ||
"... декларативной и лаконичной), быть исполнимой и пройти процедуру формальной верификации в некоторой адекватной ..." | ||
31 - 60 из 344 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)