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