Вид документа : Однотомное издание Шифр издания : 10116 Автор(ы) : Черемисинов Д. И. Заглавие : Проектирование и анализ параллелизма в процессах и программах : Монография Выходные данные : Минск: Белорусская наука, 2011 Колич.характеристики :300 с Примечания : Книга находится в Премиум-версии ЭБС IPRbooks. ISBN, Цена 978-985-08-1285-8: Б.ц. УДК : 621.382 ББК : 30 Ключевые слова (''Своб.индексиров.''): верификация--дискретное устройство--микроэлектронное устройство--язык пралу Аннотация: В монографии обсуждается широкий круг вопросов, связанных с проектированием микроэлектронных устройств с программным управлением. Рассматриваются задачи и методы разработки программ и аппаратуры с использованием языка ПРАЛУ, область применения которого расширена задачами верификации. Описывается разработка программы для кластерного компьютера, решающей комбинаторно-сложные задачи. Книга адресована специалистам в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.