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

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Управляющие системы и машины
Дата:	2015
Автори:	Бойко, Ю.В., Глибовец, Н.Н., Ершов, С.В., Крывый, С.Л., Погорилый, С.Д., Ролик, А.И., Теленик, С.Ф., Куляс, А.И., Крак, Ю.В., Ясочка, М.В.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2015
Теми:	Фундаментальные и прикладные проблемы информатики и информационных технологий
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/87174
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Методы исследования свойств высокопроизводительных инфраструктур. Обзор / Ю.В. Бойко, Н.Н. Глибовец, С.В. Ершов, С.Л. Крывый, С.Д. Погорилый, А.И. Ролик, С.Ф. Теленик, А.И. Куляс, Ю.В. Крак, М.В. Ясочка // Управляющие системы и машины. — 2015. — № 1. — С. 3–13. — Бібліогр.: 16 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

Упаковка эллипсов в прямоугольник минимальных размеров
за авторством: Данилин, А.Н., та інші
Опубліковано: (2016)

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

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

О применении грациозной разметки в MPLS-сетях
за авторством: Семенюта, М.Ф., та інші
Опубліковано: (2018)

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

Про симетрію комбінаторних множин
за авторством: Тимофієва, Н.К.
Опубліковано: (2017)

Obtaining the Local Extremum in the Problem of Covering the Fields by the Circles of Variable Radius
за авторством: Komyak, V.V., та інші
Опубліковано: (2016)

О квадратной суммарной разметке некоторых графов
за авторством: Шерман, З.А.
Опубліковано: (2016)

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

A Simple Numeric Set-Theoretical Method of the Logic Differential Calculus
за авторством: Rytsar, B.Ye.
Опубліковано: (2016)

The Modern State and Perspectives of Clastering Methods Development for High Dimension Data Analysis
за авторством: Babichev, S.
Опубліковано: (2015)

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

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

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

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

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

Нанокомпьютер: перспективы создания. Обзор
за авторством: Белик, В.К., та інші
Опубліковано: (2013)

Экспериментальное определение пороговых концентраций криопротекторных повреждений криоконсервируемых биообъектов
за авторством: Осецкий, А.И., та інші
Опубліковано: (2005)

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

Особенности алгоритмов самообучения и кластеризации
за авторством: Васильев, В.И., та інші
Опубліковано: (2011)

Оценка эффективности технологии криоконсервирования ооцитов и эмбрионов млекопитающих
за авторством: Горбунов, Л.В., та інші
Опубліковано: (2005)

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

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

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

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

Криосохранение семян редкой орхидеи умеренных широт
за авторством: Никишина, Т.В., та інші
Опубліковано: (2005)

Скрининг биологически активных веществ в зависимости от технологических параметров криогенного фракционирования плаценты
за авторством: Шабунин, С.В., та інші
Опубліковано: (2005)

Регуляция чувствительности эритроцитов к постгипертоническому лизису
за авторством: Мелихова, С.В., та інші
Опубліковано: (2005)

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

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

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

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

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

Влияние ацетазоламида на транспорт ионов водорода и чувствительность эритроцитов человека к гипертоническому криогемолизу
за авторством: Писаренко, Н.А., та інші
Опубліковано: (2005)

Термоденатурация микросомальных белков в присутствии глицерина, 1,2-пропандиола и диметилсульфоксида
за авторством: Зинченко, А.В., та інші
Опубліковано: (2005)

Достижения и перспективы развития криобиологии и криомедицины в Украине
за авторством: Грищенко, В.И.
Опубліковано: (2005)

Обнаружение закономерностей сходства, равенства и порядка
за авторством: Васильев, В.И.
Опубліковано: (2009)

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

Постановки та математичні моделі проблем оптимізації маршрутів літальних апаратів з динамічними депо
за авторством: Горбулін, В.П., та інші
Опубліковано: (2019)