Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... для решения многих задач, связанных с процессом проектирования и обеспечения качества программных и ..."
 
Том 28, № 4 (2016) Генерация функциональных тестов для HDL-описаний на основе проверки моделей Аннотация  похожие документы
М. С. Лебедев, С. А. Смолов
"... основе проверки моделей и результаты его сравнения с существующими решениями. В методе используется ..."
 
Том 29, № 4 (2017) Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Аннотация  похожие документы
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов
"... . Экспериментальное сравнение метода с существующими аналогами показало, что он строит более короткие тесты, однако ..."
 
Том 27, № 3 (2015) Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов Аннотация  PDF (Rus)  похожие документы
И. . Мельниченко, А. . Камкин, С. . Смолов
"... проведено его сравнение с другими подходами. Предлагаемый метод сочетает случайный обход графа состояний ..."
 
Том 26, № 1 (2014) Средства функциональной верификации микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов
 
1 - 5 из 5 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)