Preview

Информатика

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

Поиск


Сортировать по:     
 
Выпуск Название
 
№ 1(53) (2017) ОТОБРАЖЕНИЕ ЛОГИЧЕСКИХ СЕТЕЙ В ЗАДАННЫЙ ТЕХНОЛОГИЧЕСКИЙ БАЗИС Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... КМОП СБИС. Приводится описание структуры программы для решения этой задачи и форматов исходных данных ..."
 
№ 3(35) (2012) ГЕНЕРАЦИЯ ВЫПОЛНИМЫХ СПЕЦИФИКАЦИЙ ЦИФРОВЫХ СИСТЕМ ИЗ СТРУКТУРНЫХ ОПИСАНИЙ FPGA-ПРОЕКТОВ Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
 
Том 15, № 4 (2018) Использование языка ПРАЛУ для верификации цифровых устройств Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... верификации устанавливается сводимость (эквивалентность) спецификации устройства и модели уровня регистровых ..."
 
№ 1(5) (2005) МОРФИЗМЫ МОДЕЛЕЙ ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... , временная логика и язык ПРАЛУ. В результате анализа известных способов описания поведения вычислительных ..."
 
№ 3(7) (2005) РАБОТА С КЛАСТЕРНЫМ КОМПЬЮТЕРОМ ИЗ WINDOWS Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... выполнять задачи редактирования текста, компиляции программы и запуска программы на кластере. Достоинством ..."
 
№ 1(01) (2004) ОБ ИНТЕРПРЕТАЦИИ ВРЕМЕННОЙ ЛОГИКИ ПРИ СИМВОЛИЧЕСКОЙ ВЕРИФИКАЦИИ Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... , в которых выразительность и интуитивность CTL для интервальных событий не хуже, чем выразительность ..."
 
№ 3(03) (2004) ФОРМАЛЬНЫЕ МЕТОДЫ АНАЛИЗА ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... Анализируются понятия параллелизма и асинхронности – ключевые понятия, лежащие в основе современных ..."
 
№ 4 (2013) СИНТЕЗ КОМБИНАЦИОННЫХ СХЕМ В БАЗИСЕ БИБЛИОТЕЧНЫХ ЭЛЕМЕНТОВ КМОП СБИС С УЧЕТОМ ЭНЕРГОПОТРЕБЛЕНИЯ Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов, Л. Д. Черемисинова
"... СБИС, оптимизированных по критерию площади и среднему значению рассеиваемой мощности КМОП-микросхемы ..."
 
1 - 8 из 8 результатов

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

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