АППАРАТНОЕ УСКОРЕНИЕ РЕШЕНИЯ ЗАДАЧ ВЫПОЛНИМОСТИ ДЛЯ ПОСТРОЕНИЯ ТЕСТОВ ЦИФРОВЫХ СХЕМ

dc.contributor.author	Скатков, А.В., д-р техн. наук, проф., Севастопольский национальный технический университет
dc.contributor.author	Борисевич, А.В., аспирант, Севастопольский национальный технический университет
dc.date.accessioned	2009-07-20T07:00:15Z
dc.date.available	2009-07-20T07:00:15Z
dc.date.issued	2008
dc.identifier.citation	Вестник СевГТУ.- Вып.93.- С.9-15	en
dc.identifier.uri	http://hdl.handle.net/123456789/110
dc.description	Информатика. Дискретная математика	en
dc.description.abstract	Предложена структура аппаратного средства, реализующего алгоритм стохастического локального поиска WalkSAT для решения задач выполнимости, отличающаяся эффективным использованием трассировочных и логических ресурсов больших программируемых интегральных схем.	en
dc.publisher	Севастопольский национальный технический университет	en
dc.title	АППАРАТНОЕ УСКОРЕНИЕ РЕШЕНИЯ ЗАДАЧ ВЫПОЛНИМОСТИ ДЛЯ ПОСТРОЕНИЯ ТЕСТОВ ЦИФРОВЫХ СХЕМ	en
dc.type	Book chapter	en