Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных
|
|
| Creator |
Акуловский В.Г.
|
|
| Subject |
Інструментальні засоби і середовища програмування
|
|
| Description |
Предложены подходы к контролю корректности алгоритмов на основе анализа специфицируемых данных и подходы к оптимизации последовательных алгоритмов в результате преобразования потоков данных.--------------
Запропоновано підходи до контролю коректності алгоритмів на підставі аналізу даних, що специфікуються і підходи до оптимізації послідовних алгоритмів у результаті перетворення потоків даних.------------ 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. |
|
| Date |
2008-12-15T13:21:46Z
2008-12-15T13:21:46Z 2008 |
|
| Type |
Article
|
|
| Identifier |
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных / В.Г. Акуловский // Проблеми програмування. — 2008. — № 4. — С. 84-93. — Бібліогр.: 5 назв. — рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/2604 519.683 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|