Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Проблеми програмування
→
Проблеми програмування, 2008
→
Проблеми програмування, 2008, № 2-3
→
Перегляд Проблеми програмування, 2008, № 2-3 за датою випуску

Перегляд Проблеми програмування, 2008, № 2-3 за датою випуску

Результати 1-20 з 101

Наступна сторінка

Алгеброалгоритмические аспекты полноты: абстракции, биология и экология

Цейтлин, Г.Е.; Захария, Л.М. (2008)

Проведен сопоставительный анализ алгебры алгоритмики и аналогичных направлений – алгебраической алгоритмики и порождающего (ментального) программирования. Отражены общность и специфика проблематики функциональной и ...
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний

Крывый, С.Л.; Волошин, С.В.; Маркова, Н.С. (2008)

Описывается подход к проверке противоречивости множества дизъюнктов в исчислении высказываний методом резолюций, основанный на модифицированном TSS-методе решения систем линейных однородных диофантовых уравнений. Алгоритм ...
Формализация: алгоритмический подход

Провотар, А.И. (2008)

Рассматриваются вопросы формализации задач из различных предметных областей. Предлагается алгоритмический подход к формализации.
Ontological models in OTSL

Anureev, I.S. (2008)

OTSL is a language of description of ontological transition systems. Ontological transition systems are formalism for description of semantics of computer systems that combines transition systems with ontological models. ...
Формування логіки внутрішньої міжрівневої взаємодії в багатоланковій системі

Бойко, Ю.В.; Погорілий, С.Д.; Коваленко, О.В. (2008)

Розглянуто інноваційну методологію побудови розподіленої багатоланкової системи через організацію зв’язування рівнів та проаналізовано її архітектурні особливості. Запропоновано використання дескрипторів для зв’язування ...
Некоторые подходы к эффективной реализации блочных матричных алгоритмов на MIMD – компьютерах

Баранов, И.А. (2008)

Исследуется реальная производительность процессорного элемента в зависимости от различных способов расположения данных в кэш памяти на примере умножения двух матриц (рассматривается алгоритми Фокса, Кеннона и wbgemm).
Розв’язання транспортної задачі на кластерних системах

Фальфушинський, В.В. (2008)

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

Тирчак, Ю.М.; Черниш, Р.І. (2008)

Розглядається методика створення паралельної програмної реалізації для ефективного чисельного розв’язування методом покоординатного розщеплення моделі, що застосовується для чисельного прогнозу погоди. Методика забезпечує ...
Interoperability Issues of Earth Observation Grid Systems

Shelestov, A.; Skakun, S.; Korbakov, M. (2008)

In this paper we review issues of Earth observation Grid systems integration. We describe different approaches for the solution of problems of certificate trust, data transfer, geospatial data access, task management, etc. ...
Ефективність двовимірних блочно-циклічних паралельних алгоритмів

Хіміч, О.М.; Полянко, В.В. (2008)

Досліджено прискорення двовимірних блочно-циклічних паралельних алгоритмів розв’язування систем лінійних алгебраїчних рівнянь та їх ефективна реалізація. Розглянуто у порівнянні різні способи розподілу даних по процесорам. ...
Распределённая платформа для управления ресурсами гетерогенного кластера

Дорошенко, А.Е.; Рухлис, К.А.; Мохница, А.С. (2008)

В связи с широким распространением в научной среде проектов на базе разнообразных Grid-платформ актуальной становится проблема их эффективного совместного использования. Существенным ограничением на этом пути является, в ...
Моделе-орієнтовний підхід до створення систем інтелектуального аналізу данних

Алєксєєнко, О.А. (2008)

Розглядається моделе-орієнтовний підхід до створення систем інтелектуального аналізу даних заснованих на Байєсівських мережах довіри. Запропоновано схему застосування даного підходу, з урахуванням всіх етапів, процесів, ...
Протоколи для інтеграції мобільних пристроїв із станціями надання послуг через бездротовий зв’язок

Яценко, К.І. (2008)

Запропоновано новий метод в області інформаційних технологій по наданню локальних послуг через безшовну інтеграцію мобільних пристроїв. Підхід базується на класі протоколів XDEP (XML data exchange protocol). Основним ...
К-значная логика в расширенной алгебре алгоритмов

Акуловский, В.Г. (2008)

Рассмотрена расширенная алгебра алгоритмов, построенная с использованием трехзначной логики. Показано, что существуют классы задач, для которых возможности приведенного алгебраического аппарата недостаточно эффективны, и ...
Моделе-орієнтовані методи побудови та оцінювaння програмних архітектур на основі нечітких графів

Парасюк, І.М.; Єршов, С.В. (2008)

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

Павлов, В.Л.; Жереб, К.А.; Дорошенко, А.Е.; Сергиенко, В.И. (2008)

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

Лавріщева, К.М.; Коваль, Г.І.; Коротун, Т.М. (2008)

Визначено напрямки розвитку інженерії якості програмних систем (ПС), які розробляються у новій парадигмі програмування – генеруюче програмування. Охарактеризовано актуальні проблеми забезпечення якості сімейств систем, що ...
Метод и средства редокументирования наследуемого программного обеспечения

Сидоров, Н.А.; Авраменко, Е.А. (2008)

Рассматривается метод редокументирования наследуемого программного обеспечения, ориентированный на технологию разработки. Предлагаются языки описания документов и представлений наследуемого программного обеспечения, ...
Цифровий підпис в групових середовищах

Іванов, І.Ю. (2008)

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

Редько, И.В. (2008)

Создается экзистенциальная платформа дескриптивных сред. На этой основе строятся модели информатико-технологических систем. Проводится прагматико-обусловленная типизация универсума компаундов. Вскрывается компаундная природа ...

Результати 1-20 з 101

Наступна сторінка

Пошук

Розширений пошук

Перегляд

Вся бібліотека
Колекція

Перегляд Проблеми програмування, 2008, № 2-3 за датою випуску

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2008, № 2-3 за датою випуску

Пошук

Перегляд

Вся бібліотека

Колекція

Мій обліковий запис