Сортировать по:
Выпуск | Название | |
Том 22 (2012) | Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в полосу | Аннотация PDF (Rus) похожие документы |
М. А. Трушников | ||
Том 22 (2012) | Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала | Аннотация PDF (Rus) похожие документы |
А. В. Шокуров | ||
Том 22 (2012) | О построении аппроксимирующих функций характеристик малого числа систем | Аннотация PDF (Rus) похожие документы |
Я. А. Хетагуров | ||
Том 21 (2011) | Оценка производительности программного обеспечения в виртуализованном окружении на основе атомарных тестов | Аннотация PDF (Rus) похожие документы |
П. А. Клеменков | ||
Том 21 (2011) | Обзор моделей данных объектно-ориентированных СУБД | Аннотация PDF (Rus) похожие документы |
А. М. Эльдарханов | ||
Том 27, № 2 (2015) | Моделирование и анализ поведения последовательных реагирующих программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров | ||
"... реагирующей программы можно рассматривать как порождающие элементы некоторой полугруппы, а результат ..." | ||
Том 18 (2010) | Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. С. Камкин | ||
Том 30, № 6 (2018) | Автоматический поиск фрагментов, содержащих биографическую информацию, в тексте на естественном языке | Аннотация PDF (Rus) похожие документы |
А. В. Глазкова | ||
"... работе проведено сравнение различных архитектур нейросетевых моделей, а также основных способов ..." | ||
Том 30, № 6 (2018) | Минимальный базис модуля сизигий старших членов | Аннотация PDF (Rus) похожие документы |
А. В. Шокуров | ||
Том 30, № 6 (2018) | Математическая модель процесса дегазации полимерного покрытия в условиях открытого космоса | Аннотация PDF (Rus) похожие документы |
Н. А. Полибина | ||
"... характеристики процесса дегазации исследуемого полимерного покрытия, а также сведения о температурном режиме ..." | ||
Том 28, № 5 (2016) | Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
Р. Р. Мулюков, А. Е. Бородин | ||
Том 28, № 5 (2016) | Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа | Аннотация PDF (Rus) похожие документы |
А. Ю. Герасимов, Л. В. Круглов | ||
Том 29, № 5 (2017) | Моделирование программно-аппаратных систем и анализ их безопасности | Аннотация PDF (Rus) похожие документы |
С. В. Зеленов, С. А. Зеленова | ||
Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
А. В. Козачок, Е. В. Кочетков | ||
"... средства, а также механизм взаимодействия элементов системы. Рассмотрен модельный пример реализации такой ..." | ||
Том 29, № 6 (2017) | Критерий существования бесконфликтного расписания для системы строго периодических задач | Аннотация PDF (Rus) похожие документы |
С. А. Зеленова, С. В. Зеленов | ||
Том 29, № 6 (2017) | Задачи оптимизации размещения контейнеров MPI-приложений на вычислительных кластерах | Аннотация PDF (Rus) похожие документы |
Д. А. Грушин, Н. Н. Кузюрин | ||
Том 30, № 2 (2018) | Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных | Аннотация PDF (Rus) похожие документы |
Р. А. Гилязев, Д. Ю. Турдаков | ||
"... разметке данных людей, а сам процесс является дорогостоящим и утомительным для аннотаторов. Для оптимизации ..." | ||
Том 30, № 2 (2018) | Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении | Аннотация PDF (Rus) похожие документы |
А. Н. Авдеева, В. В. Пузикова | ||
"... крови в артериях, а также изучение комплексного воздействия разнообразных факторов на характеристики ..." | ||
Том 29, № 2 (2017) | Общий подход к решению задач на графах коллективом автоматов | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... распараллеливания, в которой время срабатывания автомата считается нулевым, а ёмкость ребра неограниченной. Это ..." | ||
Том 29, № 3 (2017) | ADV_SPM - Формальные модели политики безопасности на практике | Аннотация PDF (Rus) похожие документы |
А. В. Хорошилов, И. В. Щепетков | ||
Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
А. В. Козачок, Е. В. Кочетков | ||
Том 29, № 3 (2017) | Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов | Аннотация PDF (Rus) похожие документы |
Ю. А. Солоделов, Н. К. Горелиц | ||
Том 29, № 3 (2017) | Обзор методов динамической компиляции запросов | Аннотация PDF (Rus) похожие документы |
Е. Ю. Шарыгин, Р. А. Бучацкий | ||
Том 30, № 1 (2018) | Методы деанонимизации пользователей биткоин | Аннотация похожие документы |
С. М. Авдошин, А. В. Лазаренко | ||
Том 30, № 2 (2018) | Обзор расширяемого протокола аутентификации и его методов | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, В. З. Шнитман | ||
"... предоставляющего эффективный механизм встраивания в него различных методов аутентификации, а также обзор собственно ..." | ||
Том 30, № 2 (2018) | Проблема отката в ориентированной распределенной системе | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... . Раздел 3 содержит основные определения и обозначения, а раздел 4 - постановку задачи. В разделе 5 ..." | ||
Том 30, № 2 (2018) | Преобразование типизированных функций в реляционную форму | Аннотация PDF (Rus) похожие документы |
П. А. Лозов, Д. Ю. Булычев | ||
"... преобразования типизированных функций в реляционную форму, а также доказательство его статической и динамической ..." | ||
Том 30, № 2 (2018) | Автоматизированная генерация декодеров машинных команд | Аннотация PDF (Rus) похожие документы |
Н. Ю. Фокина, М. А. Соловьев | ||
Том 30, № 3 (2018) | Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu | Аннотация похожие документы |
М. А. Абакумов, П. М. Довгалюк | ||
Том 30, № 3 (2018) | Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем | Аннотация похожие документы |
В. Ю. Чепцов, А. В. Хорошилов | ||
181 - 210 из 382 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)