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

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

Предложены подходы к контролю корректности алгоритмов на основе анализа специфицируемых данных и подходы к оптимизации последовательных алгоритмов в результате преобразования потоков данных.--------------...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2008
Автор:	Акуловский, В.Г.
Формат:	Стаття
Мова:	Russian
Опубліковано:	Інститут програмних систем НАН України 2008
Теми:	Інструментальні засоби і середовища програмування
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	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

Схожі ресурси

Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных
за авторством: Акуловский, В.Г.
Опубліковано: (2008)

Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2015)

Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2015)

Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)

Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)

Трансформация произвольных текстовых данных в XML-пред¬ставление по шаблону на основе регулярных выражений
за авторством: Пантелеймонов, А.А.
Опубліковано: (2006)

Трансформация произвольных текстовых данных в XML-пред¬ставление по шаблону на основе регулярных выражений
за авторством: Пантелеймонов, А.А.
Опубліковано: (2006)

О применении машинного обучения для проектирования адаптивних программ сортировки в алгебре алгоритмов
за авторством: Яценко, Е.А.
Опубліковано: (2011)

О применении машинного обучения для проектирования адаптивних программ сортировки в алгебре алгоритмов
за авторством: Яценко, Е.А.
Опубліковано: (2011)

Применение XML-представлений для интеграции данных в промысловой геофизике
за авторством: Тульчинский, В.Г., та інші
Опубліковано: (2010)

Применение XML-представлений для интеграции данных в промысловой геофизике
за авторством: Тульчинский, В.Г., та інші
Опубліковано: (2010)

Об одном подходе к проектированию алгебраических типов данных
за авторством: Песчаненко, В.С.
Опубліковано: (2006)

Об одном подходе к проектированию алгебраических типов данных
за авторством: Песчаненко, В.С.
Опубліковано: (2006)

Средства кодогенерации для взаимодействия с базой данных через объекты
за авторством: Лихацкий, И.А.
Опубліковано: (2012)

Средства кодогенерации для взаимодействия с базой данных через объекты
за авторством: Лихацкий, И.А.
Опубліковано: (2012)

Система поддержки пользователя на основе экспертной системы
за авторством: Пригожев, А.С., та інші
Опубліковано: (2008)

Система поддержки пользователя на основе экспертной системы
за авторством: Пригожев, А.С., та інші
Опубліковано: (2008)

Программа проверки орфографии (spellchecker) на основе распределенных представлений
за авторством: Омельченко, Р.С.
Опубліковано: (2013)

Программа проверки орфографии (spellchecker) на основе распределенных представлений
за авторством: Омельченко, Р.С.
Опубліковано: (2013)

Программно-агентная среда для поддержки совместного обучения на основе платформы Microsoft.Net
за авторством: Воног, С.Н., та інші
Опубліковано: (2006)

Программно-агентная среда для поддержки совместного обучения на основе платформы Microsoft.Net
за авторством: Воног, С.Н., та інші
Опубліковано: (2006)

Система автоматизації проектування цифрових фільтрів зображень
за авторством: Жереб, К.А., та інші
Опубліковано: (2010)

Система автоматизації проектування цифрових фільтрів зображень
за авторством: Жереб, К.А., та інші
Опубліковано: (2010)

Еволюція та "природний відбір" базових концепцій мов програмування: на прикладах мов C, C++, Java та C#
за авторством: Колодницький, М.М.
Опубліковано: (2004)

Low-power architecture for CIL-code hardware processor
за авторством: Chapyzhenka, A., та інші
Опубліковано: (2005)

Розробка синтаксичного аналізатора мови програмування PL/I для реінженірингу блок-схем алгоритмів
за авторством: Фісун, М.Т., та інші
Опубліковано: (2006)

Концепції та моделі інтеграції об’єктів метатехнології в середовищі Metacase
за авторством: Зінькович, В.М., та інші
Опубліковано: (2006)

О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2006)

Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования
за авторством: Ластовченко, М.М., та інші
Опубліковано: (2006)

Особенности языка VHDL для программирования кристаллов ПЛИС
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2006)

О алгоритме перевода документов msc в сети Петри
за авторством: Чугаенко, А.В., та інші
Опубліковано: (2008)

A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems
за авторством: Hudak, S., та інші
Опубліковано: (2008)

Средства синтеза параллельных mpi-программ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)

Засоби автоматизації генерації електронних документів в системах організаційного управління
за авторством: Хмелюк, В.С., та інші
Опубліковано: (2008)

Особенности реализации многослойного сценария распределенного поиска оптимальных решений
за авторством: Галаган, Т.Н., та інші
Опубліковано: (2008)

Разработка инструментальных средств для проверки формальных моделей
за авторством: Колчин, А.В.
Опубліковано: (2008)

Задачи повышения производительности запросов в программной системе
за авторством: Федоров, И.В.
Опубліковано: (2008)

Экономичный интерпретатор для узлов сенсорной сети
за авторством: Рагозин, Д.В.
Опубліковано: (2006)

Модель перевірки компонентів та їх композиції у компонентну систему
за авторством: Рожнов, А.М.
Опубліковано: (2006)

Метод об'єктно-компонентного проектування програмних систем
за авторством: Грищенко, В.М.
Опубліковано: (2007)