Buchumschlag

Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании

Gespeichert in:

Bibliographische Detailangaben
Datum:	2017
1. Verfasser:	Lvov, M.S.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2017
Schlagworte:
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/114
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
von: Львов, М.С.
Veröffentlicht: (2015)

Интерфейс в программировании
von: Лаврищева, Е.М.
Veröffentlicht: (2007)

Поиск неизвестных законов движения на основе экстремальной теории размерностей
von: Смольяков, Э.Р.
Veröffentlicht: (2011)

Об условиях сходимости метода эмпирических средних в стохастическом программировании
von: Кнопов, П.С., et al.
Veröffentlicht: (2018)

Как понять программу. Характеристический анализ современных подходов к пецификации программ
von: Бабенко, Л.П.
Veröffentlicht: (2012)

Особенности физических свойств и колоссальное магнитосопротивление манганитов
von: Локтев, В.М., et al.
Veröffentlicht: (2000)

Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем
von: Колчин, А.В., et al.
Veröffentlicht: (2015)

Реализация принятых решений
von: Крючковский, В.В., et al.
Veröffentlicht: (2011)

Представление физических явлений гиперслучайными моделями
von: Горбань, И.И.
Veröffentlicht: (2007)

Разработка способа коррекции программ загрузки
von: Большаков, В.И., et al.
Veröffentlicht: (2008)

Средства синтеза параллельных mpi-программ
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2008)

Инструментальные средства проектирования параллельных программ
von: Буза, М.К.
Veröffentlicht: (2010)

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

О физических параметрах скопления NGC 6823
von: Кузнецов, В.В., et al.
Veröffentlicht: (1992)

Наилучшая чебышевская аппроксимация функций одной и многих переменных
von: Каленчук-Порханова, А.А.
Veröffentlicht: (2009)

Верификация программ: состояние, проблемы, результаты. I
von: Крывый, С.Л., et al.
Veröffentlicht: (2013)

Средства сервисно-ориентированного программирования параллельных программ
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2009)

Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2007)

Исследование физических и технологических свойств солевых флюсов для ЭШП титана
von: Протоковилов, И.В., et al.
Veröffentlicht: (2015)

Линейная интерполяция функций многих переменных
von: Назаренко, Е.В., et al.
Veröffentlicht: (2010)

Метод кодирования наборов фрагмента переменных
von: Баркалов, А.А., et al.
Veröffentlicht: (2012)

Реализация инновационной и предпринимательской функций в деятельности ВУЗа
von: Журавлева, И.В.
Veröffentlicht: (2013)

Концепция кортежности и ее реализация для матричных кортежей
von: Донченко, В.С., et al.
Veröffentlicht: (2016)

Применение суперкомпьютеров СКИТ для разработки и выполнения параллельных геофизических программ
von: Тульчинский, В.Г., et al.
Veröffentlicht: (2009)

Рассеяние характеристик усталости сталей и его анализ с учетом циклических неупругих деформаций
von: Трощенко, В.Т., et al.
Veröffentlicht: (2007)

ННЦ “ХФТИ” – 80! Харьковская академия физических наук
von: Толок, В.Т.
Veröffentlicht: (2008)

Метод автоматической генерации автотюнеров для параллельных программ
von: Иваненко, П.А., et al.
Veröffentlicht: (2014)

Проверка эквивалентности программ с помощью двухленточных автоматов
von: Захаров, В.А.
Veröffentlicht: (2010)

Онтологические и алгеброалгоритмические средства автоматизации проектирования параллельных программ для «облачных» платформ
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2017)

Совершенствование и развитие магистерских программ по специальности “Социология”: круглый стол САУ
Veröffentlicht: (2008)

Модель воздушной среды и 3D реализация системы пеленгации
von: Поливцев, С.А., et al.
Veröffentlicht: (2012)

Модификация алгоритма Питерсона—Горенстейна—Цирлера и ее эффективная реализация
von: Фейзиев, Ф.Г.
Veröffentlicht: (2015)

Асимптотическое поведение функции Лебега двух переменных
von: Кузнецова, О.И.
Veröffentlicht: (1995)

Обнаружение и верификация оптико-переменных объектов на документах, удостоверяющих личность
von: Шумский, И.П., et al.
Veröffentlicht: (2012)

Оценивание кредитоспособности физических лиц с применением нечеткой логики
von: Рзаев, Р.Р., et al.
Veröffentlicht: (2017)

Измерение физических величин в непрогнозируемо изменяющихся статистических условиях
von: Горбань, И.И.
Veröffentlicht: (2015)

About one Approach for the Verification of Algebraic Computations
von: Lvov, M.S.
Veröffentlicht: (2025)

Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем
von: Федухин, А.В., et al.
Veröffentlicht: (2013)

Операционная реализация функции выходов микропрограммного автомата
von: Бабаков, Р.М., et al.
Veröffentlicht: (2017)

Экономическая реализация акционерной собственности в промышленности
von: Тараш, Л.И.
Veröffentlicht: (2005)