Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных

dc.contributor.author	Акуловский, В.Г.
dc.date.accessioned	2008-12-15T13:21:46Z
dc.date.available	2008-12-15T13:21:46Z
dc.date.issued	2008
dc.identifier.citation	Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных / В.Г. Акуловский // Проблеми програмування. — 2008. — № 4. — С. 84-93. — Бібліогр.: 5 назв. — рос.	en_US
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/2604
dc.description.abstract	Предложены подходы к контролю корректности алгоритмов на основе анализа специфицируемых данных и подходы к оптимизации последовательных алгоритмов в результате преобразования потоков данных.--------------	en_US
dc.description.abstract	Запропоновано підходи до контролю коректності алгоритмів на підставі аналізу даних, що специфікуються і підходи до оптимізації послідовних алгоритмів у результаті перетворення потоків даних.------------	en_US
dc.description.abstract	The approaches to the control of a correctness of algorithms, over the analysis of the data which are specified also approaches to optimization of consecutive algorithms as a result of transformation of streams of the data are offered.	en_US
dc.language.iso	ru	en_US
dc.publisher	Інститут програмних систем НАН України	en_US
dc.subject	Інструментальні засоби і середовища програмування	en_US
dc.title	Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных	en_US
dc.title.alternative	Деякі підходи до контролю й перетворення алгоритмів на основі аналізу даних, що специфікуються	en_US
dc.title.alternative	Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных
dc.type	Article	en_US
dc.status	published earlier	en_US
dc.identifier.udc	519.683