Search
Now showing items 451-460 of 476
Оценки числа отказов и сбоев процессорных модулей матричных спецпроцессоров на активных интервалах применения
(ХАІ, 2009)
Предлагаются модели оценок числа отказавших и подверженных сбоям процессорных модулей
высокоинтегрированных матричных спецпроцессоров (МСП) на активных интервалах применения
по назначению.
Метод планирования мультимедийных задач в операционных системах реального времени для платформ на основе многоядерных процессоров
(ХАІ, 2009)
Рассматриваются особенности архитектуры многоядерных процессоров, новые требования к
программному обеспечению, использующих все преимущества систем с параллельными вычислениями.
Проведен анализ проблемы планирования ...
Оценка качества интерфейсов медицинских систем: модель и элементы методики
(ХАІ, 2009)
Анализируются стандарты качества программного обеспечения и модели качества пользовательских
интерфейсов. Рассматривается классификация методов оценки сложных интерфейсов. Исследуется
методика метрической оценки качества ...
Анализ моделей представления требований к программному обеспечению при их профилировании
(ХАІ, 2009)
Рассмотрены модели формального представления требований в контексте разработки метода профилирования требований программного обеспечения.
Задачи разработки адаптивного компьютерного средства обучения SQL
(ХАІ, 2009)
Приведен анализ существующих адаптивных компьютерных средств обучения профессиональным
умениям в разных предметных областях с точки зрения воплощенных в них функций и педагогических
принципов.
Формальная верификация динамически модифицируемых моделей рабочих потоков Windows Workflow Foundation
(ХАІ, 2009)
Рассматривается механизм верификации рабочих потоков приложений, построенных по спецификации Windows Workflow Foundation и способных изменять бизнес-логику на этапе выполнения.
Оценка диверсности программного обеспечения с использованием косвенных метрик
(ХАІ, 2009)
Проведен анализ прямых и косвенных метрик диверсности программного обеспечения. Сформулирована гипотеза об использовании косвенных метрик для оценки диверсности.
Формирование топологических отношений между геометрическими объектами цифровой лесной карты на основе анализа планарного графа
(ХАІ, 2009)
Рассмотрены элементы анализа правильного планарного графа, включающие формирование полигонов
на основе ребер графа, диагностику точечных и линейных шарниров. Вводится понятие простого
связного графа как элементарной ...
Method of realization of arithmetic operations on the basis of the use of modulyarnoy number system
(ХАІ, 2009)
In this article we consider two arithmetic operation realizations in modular arithmetics, based on the ring shift
principle. The method of binary position and remainder encoding has proved to be very efficient comparing ...
Моделирование гарантоспособных сервис-ориентированных архитектур при атаках с использованием уязвимостей
(ХАІ, 2009)
Предложена имитационная модель многоверсионной сервис-ориентированной архитектуры, функционирующей при воздействии внешних агрессивных факторов – сетевых атак. Рассмотрены принципы и
методика проведения эксперимента с ...