Зображення обкладинки

О реализации вычислений в задачах анализа программ, определенных над векторными пространствами

В даній роботі розглянуті основні вимоги користувача до програмної системи, яка автоматично генерує програмні інваріанти для визначеного класу програм. Аналізуються також методи реалізації основних алгоритмів такої системи. В настоящей работе рассмотрены основные пользовательские требования...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2004
Автор:	Львов, С.М.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут програмних систем НАН України 2004
Теми:	Формальные методы в программировании
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/2288
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	О реализации вычислений в задачах анализа программ, определенных над векторными пространствами / С.М. Львов // Проблеми програмування. — 2004. — N 2,3. — С. 95-101. — Бібліогр.: 6 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри
за авторством: Матвеева, Л.Е.
Опубліковано: (2004)

Реализация алгоритма преобразования неординарной сети Петри в ординарную
за авторством: Усатюк, О.В., та інші
Опубліковано: (2004)

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

Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
за авторством: Bača, J., та інші
Опубліковано: (2004)

Нечіткий трансформаційний підхід до розробки програмних систем
за авторством: Сергієнко, І.В., та інші
Опубліковано: (2004)

Об алгоритмах представления транзиционных систем с помощью бинарных диаграмм решений
за авторством: Багрий, Р.О.
Опубліковано: (2004)

Синтез автомата, специфицированного множеством дизъюнктов
за авторством: Чеботарев, А.Н.
Опубліковано: (2003)

Анализ линейно определенных итеративных циклов
за авторством: Львов, M.C.
Опубліковано: (2016)

О вычислении свертки экспоненциальных распределений
за авторством: Кузнецов, Н.Ю., та інші
Опубліковано: (2013)

О технологиях построения и обработки математических моделей программ
за авторством: Львов, С.М.
Опубліковано: (2007)

Реализация вычислений в алгебрах числовых множеств в математических системах учебного назначения
за авторством: Львов, М.С.
Опубліковано: (2010)

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

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

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

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

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

Интерпретатор методов потокового анализа программ в специализированном банке знаний о преобразованиях программ
за авторством: Князева, М.А., та інші
Опубліковано: (2008)

Алгоритм построения диаграммы двоичного выбора для системы полностью определенных булевых функций
за авторством: Бибило, П.Н., та інші
Опубліковано: (2009)

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

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

Синтез ДНК в интактных митохондриях кукурузы, обработанных бактериальными векторными плазмидами серии pBR
за авторством: Константинов, Ю.М., та інші
Опубліковано: (1989)

Перемешивающие свойства операций, определенных на множестве N-мерных векторов над простым конечным полем
за авторством: Ковальчук, Л.В., та інші
Опубліковано: (2014)

Эргодические свойства линейных процессов в задачах математического моделирования и статистического анализа случайных сигналов
за авторством: Фриз, М.Е., та інші
Опубліковано: (2010)

О задачах управления динамикой неполно определенных трехмерных упругих тел. I. Случай непрерывно заданного желаемого состояния
за авторством: Стоян, В.А.
Опубліковано: (2017)

О задачах управления динамикой неполно определенных трехмерных упругих тел. II. Случай дискретно заданного желаемого состояния
за авторством: Стоян, В.А.
Опубліковано: (2017)

Организация распределенных вычислений на базе GRID-технологии
за авторством: Алекперов, Р.К.
Опубліковано: (2011)

Эффективность реализации целевых программ по совершенствованию первичной медико-санитарной помощи
за авторством: Абрамова, С.В., та інші
Опубліковано: (2009)

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

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

Пакет программ для анализа последовательностей биополимеров: GenBee
за авторством: Бродский, Л.И., та інші
Опубліковано: (1991)

О кубических операторах, определенных па конечномерных симплексах
за авторством: Розиков, У.А., та інші
Опубліковано: (2004)

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

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

Основы рекуррентно-параллельных вычислений в комбинаторном алгоритме CОМВІ МГУА
за авторством: Ефименко, С.Н., та інші
Опубліковано: (2014)

Метод оценивания неопределенности экспертных оценок парных сравнений при вычислении весов альтернатив решений
за авторством: Недашковская, Н.И.
Опубліковано: (2015)

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

Использование технологии CUDA для ускорения вычислений в задачах химической кинетики
за авторством: Сарсембаев, М.C., та інші
Опубліковано: (2020)

Интеллектуальная рабочая станция ИНПАРКОМ – средство автоматического исследования и создания программ параллельных вычислений научно-технических задач
за авторством: Молчанов, И.Н., та інші
Опубліковано: (2010)

О сложности анализа автоматов над конечным кольцом
за авторством: Скобелев, В.В., та інші
Опубліковано: (2010)

О возможности реализации TG-CVI-процессов при пониженных температурах
за авторством: Гурин, И.В.
Опубліковано: (2015)