Сортировать по:
| Выпуск | Название | |
| Том 20 (2011) | Извлечение ключевых терминов из сообщений микроблогов с помощью Википедии | Аннотация PDF (Rus) похожие документы |
| А. В. Коршунов | ||
| "... информации, полученной путём анализа структуры и содержимого интернет-энциклопедии Википедия. Работа ..." | ||
| Том 22 (2012) | Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в полосу | Аннотация PDF (Rus) похожие документы |
| М. А. Трушников | ||
| Том 22 (2012) | Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала | Аннотация PDF (Rus) похожие документы |
| А. В. Шокуров | ||
| "... Сравниваются сложности задач нахождения решения системы алгебраических уравнений и базисов Гребнера ..." | ||
| Том 22 (2012) | О построении аппроксимирующих функций характеристик малого числа систем | Аннотация PDF (Rus) похожие документы |
| Я. А. Хетагуров | ||
| "... , устройств. Для получения уравнений ММ применяются линейные и гиперболические аппроксимирующие зависимости ..." | ||
| Том 21 (2011) | Оценка производительности программного обеспечения в виртуализованном окружении на основе атомарных тестов | Аннотация PDF (Rus) похожие документы |
| П. А. Клеменков | ||
| "... В настоящее время все больше растет интерес к использованию платформ виртуализации (VMWare, XEN и ..." | ||
| Том 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) похожие документы |
| С. В. Зеленов, С. А. Зеленова | ||
| "... -аппаратных систем AADL и его расширения Error Model Annex для описания требований безопасности проектируемой ..." | ||
| Том 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, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... исполнения программного кода и алгоритм построения модели программы, пригодной для проведения верификации и ..." | ||
| Том 29, № 3 (2017) | Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов | Аннотация PDF (Rus) похожие документы |
| Ю. А. Солоделов, Н. К. Горелиц | ||
| "... появления JetOS и рассмотрены работы, ведущиеся по направлению создания ОСРВ. ОСРВ разрабатывается в ..." | ||
| Том 29, № 3 (2017) | Обзор методов динамической компиляции запросов | Аннотация PDF (Rus) похожие документы |
| Е. Ю. Шарыгин, Р. А. Бучацкий | ||
| "... хранилищам и тем самым отводят традиционные для большинства систем обработки данных оптимизации подсистемы ..." | ||
| Том 30, № 1 (2018) | Методы деанонимизации пользователей биткоин | Аннотация похожие документы |
| С. М. Авдошин, А. В. Лазаренко | ||
| "... Bitcoin является самой популярной криптовалютой на планете. В основе Bitcoin лежат криптография и ..." | ||
| Том 30, № 2 (2018) | Обзор расширяемого протокола аутентификации и его методов | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, В. З. Шнитман | ||
| "... Authentication Protocol, EAP), специфицированного комитетом Internet Engineering Task Force, IETF, и ..." | ||
| Том 30, № 2 (2018) | Преобразование типизированных функций в реляционную форму | Аннотация PDF (Rus) похожие документы |
| П. А. Лозов, Д. Ю. Булычев | ||
| "... преобразования типизированных функций в реляционную форму, а также доказательство его статической и динамической ..." | ||
| Том 30, № 2 (2018) | Автоматизированная генерация декодеров машинных команд | Аннотация PDF (Rus) похожие документы |
| Н. Ю. Фокина, М. А. Соловьев | ||
| Том 28, № 6 (2016) | Метод автоматического определения возраста пользователей с помощью социальных связей | Аннотация PDF (Rus) похожие документы |
| А. Г. Гомзин, С. Д. Кузнецов | ||
| "... атрибутов пользователей. Явно указанные и предсказанные значения возраста используются в рекомендательных и ..." | ||
| Том 30, № 3 (2018) | Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu | Аннотация похожие документы |
| М. А. Абакумов, П. М. Довгалюк | ||
| "... При анализе программ на наличие уязвимостей и вредоносного кода бывают ситуации, в которых ..." | ||
| Том 30, № 3 (2018) | Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем | Аннотация похожие документы |
| В. Ю. Чепцов, А. В. Хорошилов | ||
| "... виртуальных машин, состоит в том, чтобы поместить всю операционную систему под гипервизор и создать внешний ..." | ||
| Том 30, № 3 (2018) | К проверке строго детерминированного поведения временных конечных автоматов | Аннотация похожие документы |
| Е. М. Винарский, В. А. Захаров | ||
| "... реального времени для входных и выходных сигналов указывается время их поступления и выдачи, а переходы ..." | ||
| 241 - 270 из 408 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
