Cover Image

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

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

Full description

Saved in:

Bibliographic Details
Date:	2004
Main Author:	Львов, С.М.
Format:	Article
Language:	Russian
Published:	Інститут програмних систем НАН України 2004
Subjects:	Формальные методы в программировании
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/2288
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:	О реализации вычислений в задачах анализа программ, определенных над векторными пространствами / С.М. Львов // Проблеми програмування. — 2004. — N 2,3. — С. 95-101. — Бібліогр.: 6 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

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

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

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

Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
by: Bača, J., et al.
Published: (2004)

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

Нечіткий трансформаційний підхід до розробки програмних систем
by: Сергієнко, І.В., et al.
Published: (2004)

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

Анализ линейно определенных итеративных циклов
by: Львов, M.C.
Published: (2016)

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

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

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

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

Интегральные модели в задачах анализа электрических цепей
by: Верлань, А.Ф., et al.
Published: (2016)

Метод трехмерной триангуляции в задачах кластерного анализа
by: Бусыгин, Б.С., et al.
Published: (2010)

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

Система символьных вычислений для программирования динамических приложений
by: Дорошенко, А.Е., et al.
Published: (2003)

Интерпретатор методов потокового анализа программ в специализированном банке знаний о преобразованиях программ
by: Князева, М.А., et al.
Published: (2008)

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

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

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

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

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

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

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

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

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

Построение оптимальных алгоритмов массовых вычислений в задачах цифровой фильтрации
by: Анисимов, А.В., et al.
Published: (2008)

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

Пакет программ для анализа последовательностей биополимеров: GenBee
by: Бродский, Л.И., et al.
Published: (1991)

Моделирование переноса загрязнений в атмосфере с использованием параллельных вычислений
by: Гладкий, А.В., et al.
Published: (2014)

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

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

О некоторых задачах анализа гибридных автоматов
by: Скобелев, В.В., et al.
Published: (2018)

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

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

Метод оценивания неопределенности экспертных оценок парных сравнений при вычислении весов альтернатив решений
by: Недашковская, Н.И.
Published: (2015)

Использование параллельных вычислений для моделирования технологических газоразрядных источников электронов
by: Мельник, И.В., et al.
Published: (2016)

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

О сложности анализа автоматов над конечным кольцом
by: Скобелев, В.В., et al.
Published: (2010)

Представления автоматов в локально определенных классах
by: Козловский, В.А., et al.
Published: (2008)