Система символьных вычислений для программирования динамических приложений
Описана система символьных вычислений, предназначенная для встраивания в промышленные приложения с целью обеспечения их гибкости и настраиваемости соответственно изменяющимся требованиям и условиям функционирования. Предложен метод погружения настраиваемых программных систем в промышленные комплексы...
Збережено в:
| Дата: | 2003 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2003
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1334 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Система символьных вычислений для программирования динамических приложений/ А.Е. Дорошенко, Р.С. Шевченко // Проблеми програмування. — 2003. — N 4.— С. 24—33. —Бібліогр.: 21 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Формальные модели компонентного программирования
за авторством: Грищенко, В.Н.
Опубліковано: (2003)
за авторством: Грищенко, В.Н.
Опубліковано: (2003)
Система доказательного программирования
за авторством: Летичевский, А.А. (мл.), та інші
Опубліковано: (2012)
за авторством: Летичевский, А.А. (мл.), та інші
Опубліковано: (2012)
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)
The Conception and Application of PFL: a Process Functional Programming Language
за авторством: Kollar, Jan
Опубліковано: (2004)
за авторством: Kollar, Jan
Опубліковано: (2004)
Теоретико-категорная характеризация развертки временных сетей Петри
за авторством: Дубцов, Р.С.
Опубліковано: (2004)
за авторством: Дубцов, Р.С.
Опубліковано: (2004)
Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
за авторством: Bača, J., та інші
Опубліковано: (2003)
за авторством: Bača, J., та інші
Опубліковано: (2003)
Подход к созданию комплексной учебной программы для подготовки ИТ-менеджеров
за авторством: Лаврищева, Е.М., та інші
Опубліковано: (2004)
за авторством: Лаврищева, Е.М., та інші
Опубліковано: (2004)
Индексные структуры для быстрого поиска сходных символьных строк
за авторством: Рачковский, Д.А.
Опубліковано: (2019)
за авторством: Рачковский, Д.А.
Опубліковано: (2019)
Разработка високопараллельних приложений для графических ускорителей с использованием переписывающих правил
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)
Сжатие изображения текста на основе формирования и классификации вертикальных элементов строки в графическом словаре символьных данных
за авторством: Иванов, В.Г., та інші
Опубліковано: (2011)
за авторством: Иванов, В.Г., та інші
Опубліковано: (2011)
Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
за авторством: Грибовская, Н.С.
Опубліковано: (2004)
за авторством: Грибовская, Н.С.
Опубліковано: (2004)
Портал для завершения высшего образования в области информационных технологий
за авторством: Лидер, Д.А., та інші
Опубліковано: (2004)
за авторством: Лидер, Д.А., та інші
Опубліковано: (2004)
О вычислении свертки экспоненциальных распределений
за авторством: Кузнецов, Н.Ю., та інші
Опубліковано: (2013)
за авторством: Кузнецов, Н.Ю., та інші
Опубліковано: (2013)
Генерация символьных трасс в системе инсерционного моделирования
за авторством: Летичевский, А.А., та інші
Опубліковано: (2015)
за авторством: Летичевский, А.А., та інші
Опубліковано: (2015)
Синтезаторы речи с MS SAPI интерфейсом для скринридеров
за авторством: Юсим, Г.В.
Опубліковано: (2004)
за авторством: Юсим, Г.В.
Опубліковано: (2004)
Средства сервисно-ориентированного программирования параллельных программ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)
Метод резолюции для анализа устойчивости задач 0-1 программирования
за авторством: Михайлюк, В.А., та інші
Опубліковано: (2017)
за авторством: Михайлюк, В.А., та інші
Опубліковано: (2017)
Метод защиты базы данных на основе брандмауэра веб-приложений
за авторством: Хамдамов, Р.Х., та інші
Опубліковано: (2021)
за авторством: Хамдамов, Р.Х., та інші
Опубліковано: (2021)
Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ
за авторством: Яценко, Е.А., та інші
Опубліковано: (2004)
за авторством: Яценко, Е.А., та інші
Опубліковано: (2004)
Что такое алгебраическая алгоритмика?
за авторством: Цейтлин, Г.Е., та інші
Опубліковано: (2004)
за авторством: Цейтлин, Г.Е., та інші
Опубліковано: (2004)
Об одной геометрической модели временных параллельных процессов
за авторством: Ошевская, Е.С,
Опубліковано: (2004)
за авторством: Ошевская, Е.С,
Опубліковано: (2004)
Межмодельный подход к разработке естественно-языкового интерфейса с использованием методов нечеткой логики
за авторством: Теленик, С.Ф., та інші
Опубліковано: (2004)
за авторством: Теленик, С.Ф., та інші
Опубліковано: (2004)
Интеллектуальная система компьютерной математики для высокопроизводительных вычислений
за авторством: Химич, А.Н., та інші
Опубліковано: (2013)
за авторством: Химич, А.Н., та інші
Опубліковано: (2013)
Модели и алгоритмы многоцелевого линейного программирования
за авторством: Павлов, А.А.
Опубліковано: (2020)
за авторством: Павлов, А.А.
Опубліковано: (2020)
Oб экстремальной теории графов и символьных вычислениях
за авторством: Устименко, В.А.
Опубліковано: (2013)
за авторством: Устименко, В.А.
Опубліковано: (2013)
Программно-технологический комплекс имитационного моделирования вероятностных технологических процессов
за авторством: Максимей, И.В., та інші
Опубліковано: (2003)
за авторством: Максимей, И.В., та інші
Опубліковано: (2003)
О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
за авторством: Крывый, С.Л., та інші
Опубліковано: (2003)
за авторством: Крывый, С.Л., та інші
Опубліковано: (2003)
Использование параллельных вычислений для моделирования технологических газоразрядных источников электронов
за авторством: Мельник, И.В., та інші
Опубліковано: (2016)
за авторством: Мельник, И.В., та інші
Опубліковано: (2016)
Организация распределенных вычислений на базе GRID-технологии
за авторством: Алекперов, Р.К.
Опубліковано: (2011)
за авторством: Алекперов, Р.К.
Опубліковано: (2011)
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)
Композиційні логіки номінативних даних
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)
Композиційно-номінативні логіки предикатів над даними з неповною інформацією
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2004)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2004)
Дослідження та створення інструментальних засобів автоматизованої трансформації схем алгоритмів
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2004)
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2004)
Про один підхід побудови систем централізованих баз знань, які формуються методами навчання з підкріпленням
за авторством: Глибовець, М.М., та інші
Опубліковано: (2004)
за авторством: Глибовець, М.М., та інші
Опубліковано: (2004)
Детерминированный эквивалент и алгоритмы решения задачи fuzzy-линейного программирования
за авторством: Зак, Ю.А.
Опубліковано: (2011)
за авторством: Зак, Ю.А.
Опубліковано: (2011)
Концепція діалогових обчислень та деякі проблеми автоматизації програмування
за авторством: Петрушенко, А.М., та інші
Опубліковано: (2004)
за авторством: Петрушенко, А.М., та інші
Опубліковано: (2004)
Аксиоматические модели и методы проектирования языковых трансляторов
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2003)
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2003)
Моделі агрегатування об'єктів навчального контенту на базі систем інформаційних технологій
за авторством: Манако, А.Ф.
Опубліковано: (2004)
за авторством: Манако, А.Ф.
Опубліковано: (2004)
Структурированные семантические сети в распределенной разработке многоязыковых словарей
за авторством: Кульчицький, Б.Н., та інші
Опубліковано: (2004)
за авторством: Кульчицький, Б.Н., та інші
Опубліковано: (2004)
Системы Grid-вычислений — перспектива для научных исследований
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2005)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2005)