Програмне забезпечення SERC для аналізу похибки оцінки надійності відмовостійких реконфігуровних багатопроцесорних систем
Розглядаються питання розрахунку імовірності безвідмовної роботи відмовостійких реконфігуровних багатопроцесорних систем. Дається коротке описання розробленого програмного забезпечення SERC (Statistical Experiments for Reliability Calculation), в якому реалізовано відомі та запропоновані модифікації...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2016 |
| Main Author: | Фесенюк, А.П. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2016
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/126435 |
| 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: | Програмне забезпечення SERC для аналізу похибки оцінки надійності відмовостійких реконфігуровних багатопроцесорних систем / А.П. Фесенюк // Проблеми програмування. — 2016. — № 4. — С. 48-57. — Бібліогр.: 14 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Вдосконалення прогнозу щільності залишкових дефектів програмних систем за допомогою байєсової мережі та дерева цінності
by: Слабоспицька, О.О.
Published: (2009)
by: Слабоспицька, О.О.
Published: (2009)
Подход к структурному тестированию программ с использованием генетического алгоритма
by: Слабоспицкая, О.А., et al.
Published: (2012)
by: Слабоспицкая, О.А., et al.
Published: (2012)
Оцінювання якості консолідованих даних
by: Шаховська, Н.Б.
Published: (2014)
by: Шаховська, Н.Б.
Published: (2014)
МОДЕЛЮВАННЯ НАДІЙНОСТІ СТРУКТУРОВАНОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
by: Трунов, Александр Николаевич, et al.
Published: (2008)
by: Трунов, Александр Николаевич, et al.
Published: (2008)
Дослідження інтелектуальних методів тестування програмного забезпечення
by: Kazimov, Tofig, et al.
Published: (2021)
by: Kazimov, Tofig, et al.
Published: (2021)
Оцінка надійності комплексу технічних засобів складних інформаційно-управляючих систем
by: Гришко, В.Ф., et al.
Published: (2009)
by: Гришко, В.Ф., et al.
Published: (2009)
Показники надійності кластерів високої доступності як резервованих систем із структурною надлишковістю
by: Буценко, Ю.П., et al.
Published: (2018)
by: Буценко, Ю.П., et al.
Published: (2018)
Аналіз методів і засобів підвищення якості та надійності систем медичної діагностики
by: Волкова, С.О., et al.
Published: (2008)
by: Волкова, С.О., et al.
Published: (2008)
Дослідження впливу коефіцієнта надмірності на показники надійності резервованих систем з дробовою кратністю
by: Козачук, О.Д.
Published: (2015)
by: Козачук, О.Д.
Published: (2015)
Використання методів та інструментів для забезпечення якості програмних систем
by: Shantyr, Anton
Published: (2025)
by: Shantyr, Anton
Published: (2025)
Верификация программ: состояние, проблемы, экспериментальные результаты. II
by: Максимец, А.Н.
Published: (2014)
by: Максимец, А.Н.
Published: (2014)
Верификация программ: состояние, проблемы, экспериментальные результаты. I
by: Максимец, А.Н.
Published: (2013)
by: Максимец, А.Н.
Published: (2013)
Математичні моделі надійності типових апертур фазованих антенних решіток, які враховують раптові та поступові відмови модулів надвисоких частот
by: Костановський, В.В.
Published: (2014)
by: Костановський, В.В.
Published: (2014)
Спеціалізоване програмне забезпечення для географічного аналізу та інвентаризації парникових газів
by: Любінський, Б.Б., et al.
Published: (2011)
by: Любінський, Б.Б., et al.
Published: (2011)
Рекурсивний метод частотно-фазового аналізу двохтонального частотно-маніпульованого сигналу
by: Безвербний, І.А.
Published: (2006)
by: Безвербний, І.А.
Published: (2006)
Відмовостійкість програмного забезпечення гарантоздатних комп’ютерних систем
by: Єфімова, Т.І., et al.
Published: (2009)
by: Єфімова, Т.І., et al.
Published: (2009)
Оптимізаційні задачі модернізації пропускних здатностей дуг відмовостійких мереж
by: Стецюк, П.І., et al.
Published: (2021)
by: Стецюк, П.І., et al.
Published: (2021)
Програмне забезпечення в нумізматичному дослідженні. Колекції
by: Хромова, І.
Published: (2015)
by: Хромова, І.
Published: (2015)
Паралельна розподілена система для аналізу потокових даних соціальних мереж
by: Дорошенко, А.Ю., et al.
Published: (2015)
by: Дорошенко, А.Ю., et al.
Published: (2015)
Алгоритм і програмне забезпечення для оцінки освоюваності позабалансових запасів нафти в малопродуктивних пластах
by: Лозинський, О.Є., et al.
Published: (2016)
by: Лозинський, О.Є., et al.
Published: (2016)
Моделювання забезпечення балансової надійності енергосистеми в умовах значних обсягів відновлюваної генерації
by: Nechaieva T.P.
Published: (2022)
by: Nechaieva T.P.
Published: (2022)
Визначення і формалізація основних показників гарантоздатності живучих комп'ютерних систем керування на основі ймовірнісно-фізичного підходу для їх проектної оцінки і прогнозування
by: Сербін, В.Г., et al.
Published: (2012)
by: Сербін, В.Г., et al.
Published: (2012)
ОЦІНЮВАННЯ НАДІЙНОСТІ СКЛАДНИХ СИСТЕМ В УМОВАХ НЕВИЗНАЧЕНОСТІ У КОНТЕКСТІ ЗАБЕЗПЕЧЕННЯ НАЦІОНАЛЬНОЇ СТІЙКОСТІ
by: Pyrozhkov , S., et al.
Published: (2023)
by: Pyrozhkov , S., et al.
Published: (2023)
Порівняння надійності термоелектричних генераторних модулів з різними схемами сполучення термоелементів
by: Gorskyi, Petrо
Published: (2022)
by: Gorskyi, Petrо
Published: (2022)
ІНФОРМАЦІЙНО-ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ ПОФІДЕРНОГО АНАЛІЗУ Й ОПТИМІЗАЦІЇ ВТРАТ ЕЛЕКТРОЕНЕРГІЇ У РОЗПОДІЛЬНИХ ЕЛЕКТРОМЕРЕЖАХ З РОЗОСЕРЕДЖЕНИМ ГЕНЕРУВАННЯМ
by: Кулик, В.В., et al.
Published: (2017)
by: Кулик, В.В., et al.
Published: (2017)
Методика і програмне забезпечення для оцінки прогнозованої економії теплової енергії за рахунок регулювання теплоспоживання будівель
by: Nikitin E.E., et al.
Published: (2003)
by: Nikitin E.E., et al.
Published: (2003)
ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ ДОСЛІДЖЕНЬ СТРУМИННИХ МЕТАНОВИХ ГАЗОВИДІЛЕНЬ АКУСТИЧНИМ МЕТОДОМ
by: Артемов, Ю. Г.
Published: (2023)
by: Артемов, Ю. Г.
Published: (2023)
Модель та програмне забезпечення для інерційного вимірювального пристрою
by: Безпалько, С.О., et al.
Published: (2022)
by: Безпалько, С.О., et al.
Published: (2022)
Рецензія на книгу "Вільне програмне забезпечення: український вибір"
by: Матов, О.Я.
Published: (2012)
by: Матов, О.Я.
Published: (2012)
Програмне забезпечення для управління безпечною експлуатацією парогенераторів АЕС
by: Заславський, В.А., et al.
Published: (2009)
by: Заславський, В.А., et al.
Published: (2009)
РЕГУЛЮВАННЯ НАПРУГИ В ЕЛЕКТРИЧНИХ МЕРЕЖАХ У ЗАДАЧАХ НАДІЙНОСТІ ЕЛЕКТРОПОСТАЧАННЯ ТА ЕНЕРГОЗБЕРЕЖЕННЯ
by: Грабко , В.В., et al.
Published: (2012)
by: Грабко , В.В., et al.
Published: (2012)
Теоретико-ігровий аналіз планувальників у багатопроцесорних системах. Імітаційна модель
by: Ігнатенко, О.П., et al.
Published: (2018)
by: Ігнатенко, О.П., et al.
Published: (2018)
Про одну модель оптимального розподілу ресурсів у багатопроцесорних середовищах
by: Дорошенко, А.Ю., et al.
Published: (2011)
by: Дорошенко, А.Ю., et al.
Published: (2011)
Оцінки похибки методу усереднення для імпульсних коливних систем
by: Самойленко, А.М., et al.
Published: (2003)
by: Самойленко, А.М., et al.
Published: (2003)
СУЧАСНІ РІШЕННЯ ЗАБЕЗПЕЧЕННЯ ОЦІНКИ ТА КОНТРОЛЮ БЕЗПЕКИ ПОСТАЧАННЯ ЕЛЕКТРИЧНОЇ ЕНЕРГІЇ
by: Pryshchepa, Yaroslav, et al.
Published: (2024)
by: Pryshchepa, Yaroslav, et al.
Published: (2024)
ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ З ВПРАВАМИ ДЛЯ ТЕРАПІЇ ДІТЕЙ З ДИСЛАЛІЄЮ
by: Schipor, O. A., et al.
Published: (2013)
by: Schipor, O. A., et al.
Published: (2013)
Спеціалізоване програмне забезпечення для моделювання динамічної консолідації віртуальних машин
by: Жаріков, Е.В., et al.
Published: (2022)
by: Жаріков, Е.В., et al.
Published: (2022)
Здатнiсть псевдокiльцевих тестiв виявляти динамiчнi одиночнi несправностi у словоорiєнтованiй пам’ятi
by: Gritcov, S. S., et al.
Published: (2018)
by: Gritcov, S. S., et al.
Published: (2018)
СТАТИЧНІ МЕТРИКИ СИСТЕМИ АВТОМАТИЗОВАНОГО ТЕСТУВАННЯ КОРИСТУВАЦЬКИХ ІНТЕРФЕЙСІВ
by: Ремінний, О. А.
Published: (2014)
by: Ремінний, О. А.
Published: (2014)
Оцінка похибки заокруглення алгоритму обчислення первинної оцінки спектральної щільності
by: Коломис, Олена Миколаївна
Published: (2017)
by: Коломис, Олена Миколаївна
Published: (2017)
Similar Items
-
Вдосконалення прогнозу щільності залишкових дефектів програмних систем за допомогою байєсової мережі та дерева цінності
by: Слабоспицька, О.О.
Published: (2009) -
Подход к структурному тестированию программ с использованием генетического алгоритма
by: Слабоспицкая, О.А., et al.
Published: (2012) -
Оцінювання якості консолідованих даних
by: Шаховська, Н.Б.
Published: (2014) -
МОДЕЛЮВАННЯ НАДІЙНОСТІ СТРУКТУРОВАНОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
by: Трунов, Александр Николаевич, et al.
Published: (2008) -
Дослідження інтелектуальних методів тестування програмного забезпечення
by: Kazimov, Tofig, et al.
Published: (2021)