Искать
Отображаемые элементы 31-40 из 295
Серверное обслуживание геоинформационных систем
(ХАІ, 2010)
В работе показаны роль и возможности специализированных ГИС-серверов и специального программного обеспечения. Рассмотрены различные методы введения дифференциальных поправок с учетом пропускной способности каналов связи.
Компьютерное моделирование оптимальной системы угловой ориентации спутника
(ХАІ, 2010)
Рассмотрена технология математического и компьютерного моделирования оптимальной системы угловой ориентации спутника.
Экспресс-диагностика человека в тяжелом состоянии
(ХАІ, 2010)
В данной статье решается задача проведения экспресс-диагностики человека, находящегося в тяжелом состоянии, с последующим мониторингом.
Исследование сервисов спортивного программирования как многоверсионных проектов
(ХАІ, 2010)
Рассмотрена одна из проблем многоверсионных проектов, заключающаяся в сложности получения и анализа информации для их оценки диверсности.
Применение концепции Model-Based Testing для верификации систем на базе IP-ядер
(ХАІ, 2010)
Исследуется применение концепции Model-Based Testing на примере инструментального средства ForSyDe, основанного на формальном языке программирования Haskell, для разработки модели программы, созданной с помощью IP-ядра ...
Разработка и исследование базовых моделей отказоустойчивых Web-сервисов
(ХАІ, 2010)
Приведен аналитический обзор экспериментальных исследований в сфере построения отказоустойчивых систем Web-сервисов.
Принципи побудови волоконно-оптичної інтелектуальної мережі
(ХАІ, 2010)
Проведено аналіз існуючих методів побудови телекомунікаційних мереж. При побудові мережі запропоновано використовувати елементи інтелектуальності.
Event-B patterns for developing FPGA-BASED hardware
(ХАІ, 2010)
The paper describes the first step of methodology for designing dependable hardware which is based on field programmable gate array technology. This step means the development of patterns using Event-B language useful ...
Модели оценки надежности программных средств с учетом недетерминированного числа вторичных дефектов
(ХАІ, 2010)
Рассмотрены модифицированные модели оценки надежности программных средств Джелинского-Моранды и простая экспоненциальная модель, в которых учтены возможности внесения новых (вторичных) дефектов в процессе устранения ...
About static analysis of variables physical dimensions for critical-mission software
(ХАІ, 2010)
Some strong method of static code analysis, namely, analysis of physical dimensions of program variables is researched in the paper. The formal model to analyze the dimensions of variables is built.