Buchumschlag

Методы исследования свойств высокопроизводительных инфраструктур. Обзор

Представлен аналитический обзор современных методов верификации программного обеспечения параллельных и распределенных систем. Описаны методы верификации на основе исследования свойств конечных автоматов, сетей Петри и транзиционных систем. Представлено аналітичний огляд сучасних методів верифікації...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Управляющие системы и машины
Datum:	2015
Hauptverfasser:	Бойко, Ю.В., Глибовец, Н.Н., Ершов, С.В., Крывый, С.Л., Погорилый, С.Д., Ролик, А.И., Теленик, С.Ф., Куляс, А.И., Крак, Ю.В., Ясочка, М.В.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2015
Schlagworte:	Фундаментальные и прикладные проблемы информатики и информационных технологий
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/87174
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Методы исследования свойств высокопроизводительных инфраструктур. Обзор / Ю.В. Бойко, Н.Н. Глибовец, С.В. Ершов, С.Л. Крывый, С.Д. Погорилый, А.И. Ролик, С.Ф. Теленик, А.И. Куляс, Ю.В. Крак, М.В. Ясочка // Управляющие системы и машины. — 2015. — № 1. — С. 3–13. — Бібліогр.: 16 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Интеллектуальные информационные технологии — главный инструмент построения средств цифровой медицины
von: Файнзильберг, Л.С.
Veröffentlicht: (2018)

Упаковка эллипсов в прямоугольник минимальных размеров
von: Данилин, А.Н., et al.
Veröffentlicht: (2016)

Введение в класс трансдисциплинарных онтолого-управляемых систем исследовательского проектирования
von: Палагин, А.В.
Veröffentlicht: (2016)

Эволюционно-фрагментарный алгоритм поиска минимального множества аксиом
von: Кривцун, Е.В.
Veröffentlicht: (2016)

О применении грациозной разметки в MPLS-сетях
von: Семенюта, М.Ф., et al.
Veröffentlicht: (2018)

Доведення збіжності алгоритмів комбінаторної оптимізації з використанням підкласів розв’язних задач
von: Тимофієва, Н.К.
Veröffentlicht: (2016)

Про симетрію комбінаторних множин
von: Тимофієва, Н.К.
Veröffentlicht: (2017)

Obtaining the Local Extremum in the Problem of Covering the Fields by the Circles of Variable Radius
von: Komyak, V.V., et al.
Veröffentlicht: (2016)

О квадратной суммарной разметке некоторых графов
von: Шерман, З.А.
Veröffentlicht: (2016)

Восстановление сигналов, полученных косвенными измерениями, на основе усеченного сингулярного разложения и случайного проецирования
von: Ревунова, Е.Г.
Veröffentlicht: (2016)

A Simple Numeric Set-Theoretical Method of the Logic Differential Calculus
von: Rytsar, B.Ye.
Veröffentlicht: (2016)

The Modern State and Perspectives of Clastering Methods Development for High Dimension Data Analysis
von: Babichev, S.
Veröffentlicht: (2015)

Развитие элементной базы и соответствующих архитектурно-структурных решений для систем высокопроизводительных вычислений
von: Яковлев, Ю.С., et al.
Veröffentlicht: (2013)

Изучение сохранности плазмидных штаммов Escherichia coli после инкубации с криопротекторами и охлаждения до –196 °С
von: Панасенко, Ю.В., et al.
Veröffentlicht: (2005)

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

Обзор и классификация методов стеганоанализа
von: Кошкина, Н.В.
Veröffentlicht: (2015)

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

Проблемы создания компьютерных систем с применением наноэлементной базы
von: Палагин, А.В., et al.
Veröffentlicht: (2017)

Экспериментальное определение пороговых концентраций криопротекторных повреждений криоконсервируемых биообъектов
von: Осецкий, А.И., et al.
Veröffentlicht: (2005)

Обобщенный итерационный алгоритм метода группового учета аргументов
von: Степашко, В.С., et al.
Veröffentlicht: (2013)

Особенности алгоритмов самообучения и кластеризации
von: Васильев, В.И., et al.
Veröffentlicht: (2011)

Оценка эффективности технологии криоконсервирования ооцитов и эмбрионов млекопитающих
von: Горбунов, Л.В., et al.
Veröffentlicht: (2005)

О построении конечномерных математических моделей для двумерных процессов магнитной гидродинамики с использованием метода Петрова–Галеркина
von: Сальников, Н.Н., et al.
Veröffentlicht: (2014)

Виявлення пошкоджень сперматозоїдів птиці під час низькотемпературного консервування
von: Бичко, С.В., et al.
Veröffentlicht: (2005)

Жизнеспособность пыльцы плодовых культур после низкотемпературного хранения и криоконсервации
von: Вержук, В.К., et al.
Veröffentlicht: (2005)

Криосохранение семян редкой орхидеи умеренных широт
von: Никишина, Т.В., et al.
Veröffentlicht: (2005)

Скрининг биологически активных веществ в зависимости от технологических параметров криогенного фракционирования плаценты
von: Шабунин, С.В., et al.
Veröffentlicht: (2005)

Регуляция чувствительности эритроцитов к постгипертоническому лизису
von: Мелихова, С.В., et al.
Veröffentlicht: (2005)

Роль гетерогенности состава липидного бислоя во взаимодействии с ним криопротекторов
von: Дюбко, Т.С.
Veröffentlicht: (2005)

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

Компьютерная электрокардиография до и после академика Н.М. Амосова
von: Файнзильберг, Л.С.
Veröffentlicht: (2013)

Опыт хранения аспорогенных анаэробных бактерий при температуре жидкого азота
von: Высеканцев, И.П., et al.
Veröffentlicht: (2005)

Об одной задаче многономенклатурной модели теории запасов генов
von: Пепеляева, Т.В., et al.
Veröffentlicht: (2015)

Информационная технология для автоматического чтения по губам украинской речи
von: Крак, Ю.В., et al.
Veröffentlicht: (2009)

Исследование РНК штаммов вируса диареи, подвергнутых воздействию низких температур
von: Стегний, М.Ю.
Veröffentlicht: (2005)

Мониторинг водных ресурсов на основе интеграции разнородных данных и высокопроизводительных вычислений
von: Кравченко, А.Н., et al.
Veröffentlicht: (2008)

Белково-пептидный состав водно-солевого экстракта неоплодотворенной икры лягушки Rana ridibunda в зависимости от способов его получения
von: Тыныныка, Л.Н., et al.
Veröffentlicht: (2005)

Влияние состава среды регидратации и ионофора нигерицина на уровень постгипертонического лизиса эритроцитов человека
von: Олейник, О.А., et al.
Veröffentlicht: (2005)

Влияние ацетазоламида на транспорт ионов водорода и чувствительность эритроцитов человека к гипертоническому криогемолизу
von: Писаренко, Н.А., et al.
Veröffentlicht: (2005)

Термоденатурация микросомальных белков в присутствии глицерина, 1,2-пропандиола и диметилсульфоксида
von: Зинченко, А.В., et al.
Veröffentlicht: (2005)