Искать
Отображаемые элементы 31-40 из 47
Метод визуализации управляющих алгоритмов реального времени
(ХАІ, 2012)
Показано, что для повышения наглядности программного обеспечения, реализующего управляющий алгоритм, снижения трудоемкости процессов тестирования и отладки управляющих алгоритмов реального времени, а также возможности их ...
Прогнозирование вероятности скрытых дефектов критического ПО с заданной точностью
(ХАІ, 2014)
Для количественной оценки надежности и функциональной безопасности критических систем одной
из ключевых характеристик является прогноз вероятности скрытых дефектов. В статье представлен метод прогнозирования вероятности ...
Фактори надійності програмного забезпечення
(ХАІ, 2013)
Розглянуто основи класичного підходу до оцінювання ймовірності безпомилкової роботи програмних
систем. Запропоновано модель програмної системи, що складається з програмного забезпечення, як
чорної скрині, та системи ...
Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов
(ХАІ, 2008)
Информативность испытаний и подтверждение приемлемых уровней вероятности скрытых дефектов при
независимой верификации критического программного обеспечения обеспечивается с помощью адекватного профиля дефектов и калибровок ...
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
(ХАІ, 2006)
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС
количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов
программного обеспечения (ПО) ...
Экспериментальная оценка эффективности применения облачных вычислений в бизнес-приложениях операционной системы Android
(ХАІ, 2015)
Рассмотрено использование моделей сред реализации облачных вычислений в бизнес-приложениях для
мобильных устройств. Обоснован выбор облачной серверной инфраструктуры BaaS для мобильных
приложений. Определены особенности ...
Принцип адаптивного планирования задач в условиях автономной работы портативного компьютера
(ХАІ, 2015)
Рассмотрены принципы управления производительностью современных процессоров, в основе которых энергосберегающая технология динамического масштабирования напряжения и частоты процессора. Показано, что для эффективного ...
Сравнительный анализ качества пользовательских интерфейсов облачных текстовых редакторов Google Docs и Microsoft Office Word Web Apps
(ХАІ, 2016)
Рассмотрены подходы к оценке качества интерфейса пользователя. Разработан обобщенный алгоритм определения эффективности использования интерфейса облачных текстовых редакторов на
основе метода GOMS.
Планирование экспериментальных исследований зависимости энергопотребления от потребляемых ресурсов Веб-браузером в операционной системе Windows
(ХАІ, 2017)
Произведено планирование экспериментального исследования для определения зависимостей между
потребляемой веб-браузером энергией и различными существующими операциями, которые доступны
в библиотеках JavaScript и DHTML.
Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения
(ХАІ, 2007)
Предложена целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения (ПО): в процессе независимой верификации и квалификации ПО
ИУС критического применения.