Сортировать по:
Выпуск | Название | |
Том 31, № 3 (2019) | Поиск конфликтов доступа к данным в HDL-описаниях | Аннотация похожие документы |
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов | ||
"... для инструмента проверки моделей nuXmv. Трансляция включает следующие этапы: 1) предварительная ..." | ||
Том 31, № 1 (2019) | К разработке открытого программного обеспечения для реконструкции CAD-моделей | Аннотация PDF (Rus) похожие документы |
Сергей Евгеньевич Сляднев, Вадим Евгеньевич Турлапов | ||
"... -моделей из дискретного представления. Кратко изложены принципы построения системы, ее архитектура и ..." | ||
Том 31, № 3 (2019) | Автономная верификация IOMMU с поддержкой виртуализации | Аннотация похожие документы |
Антон Алексеевич Петрыкин, Ирина Аркадьевна Стотланд, Алексей Николаевич Мешков | ||
"... проблема проверки трансляции виртуального адреса в физический с использованием двухуровневых таблиц ..." | ||
Том 31, № 5 (2019) | Компиляция модели памяти OCaml в Power | Аннотация PDF (Rus) похожие документы |
Егор Сергеевич Намаконов, Антон Викторович Подкопаев | ||
"... В настоящее время для языков программирования и процессоров активно разрабатываются модели памяти ..." | ||
Том 31, № 3 (2019) | Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы | Аннотация похожие документы |
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков | ||
"... моделей, их преимущества и недостатки. В статье представлен подход к построению автономного окружения для ..." | ||
Том 31, № 1 (2019) | Математическая модель, описывающая динамику воздушных потоков в турбинном спирометре | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Киселев, Алексей Владимирович Максимов, Сергей Дмитриевич Кургалин, Сергей Алексеевич Зуев | ||
"... основные соотношения рассматриваются в линейном приближении. Экспериментальная проверка модели проведена в ..." | ||
Том 31, № 2 (2019) | Предисловие к специальному выпуску «Продвинутые компьютерные методы: от теории к практике» | Аннотация похожие документы |
Андрей Николаевич Черных, Аллел Хаджали | ||
"... распространения контента, мягкие вычисления, модели параллельного программирования для многоядерных машин ..." | ||
1 - 7 из 7 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)