Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных
Предложены подходы к контролю корректности алгоритмов на основе анализа специфицируемых данных и подходы к оптимизации последовательных алгоритмов в результате преобразования потоков данных.-------------- Запропоновано підходи до контролю коректності алгоритмів на підставі аналізу даних, що специфі...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/2604 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных / В.Г. Акуловский // Проблеми програмування. — 2008. — № 4. — С. 84-93. — Бібліогр.: 5 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-2604 |
|---|---|
| record_format |
dspace |
| spelling |
Акуловский, В.Г. 2008-12-15T13:21:46Z 2008-12-15T13:21:46Z 2008 Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных / В.Г. Акуловский // Проблеми програмування. — 2008. — № 4. — С. 84-93. — Бібліогр.: 5 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/2604 519.683 Предложены подходы к контролю корректности алгоритмов на основе анализа специфицируемых данных и подходы к оптимизации последовательных алгоритмов в результате преобразования потоков данных.-------------- Запропоновано підходи до контролю коректності алгоритмів на підставі аналізу даних, що специфікуються і підходи до оптимізації послідовних алгоритмів у результаті перетворення потоків даних.------------ 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. ru Інститут програмних систем НАН України Інструментальні засоби і середовища програмування Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных Деякі підходи до контролю й перетворення алгоритмів на основі аналізу даних, що специфікуються Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных |
| spellingShingle |
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных Акуловский, В.Г. Інструментальні засоби і середовища програмування |
| title_short |
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных |
| title_full |
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных |
| title_fullStr |
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных |
| title_full_unstemmed |
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных |
| title_sort |
некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных |
| author |
Акуловский, В.Г. |
| author_facet |
Акуловский, В.Г. |
| topic |
Інструментальні засоби і середовища програмування |
| topic_facet |
Інструментальні засоби і середовища програмування |
| publishDate |
2008 |
| language |
Russian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Деякі підходи до контролю й перетворення алгоритмів на основі аналізу даних, що специфікуються Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных |
| 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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/2604 |
| citation_txt |
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных / В.Г. Акуловский // Проблеми програмування. — 2008. — № 4. — С. 84-93. — Бібліогр.: 5 назв. — рос. |
| work_keys_str_mv |
AT akulovskiivg nekotoryepodhodykkontrolûipreobrazovaniûalgoritmovnaosnoveanalizaspecificiruemyhdannyh AT akulovskiivg deâkípídhodidokontrolûiperetvorennâalgoritmívnaosnovíanalízudanihŝospecifíkuûtʹsâ |
| first_indexed |
2025-12-07T16:39:56Z |
| last_indexed |
2025-12-07T16:39:56Z |
| _version_ |
1850868337436786688 |