Проблеми програмування. 2012 (2-3) АРХІВ (Всі випуски) 
 | Проблеми програмування
2012. Вип. 2-3 |
- Титул.
- Зміст.
- Крывый С. Л., Бибиков Д. С. Итеративный подход к анализу естественно-языковых текстов: логический аспект. - C. 10-17.
- Вінник В. Ю., Парфірова Т. С. Ациклічність та замкненість макрокомпозицій. - C. 18-24.
- Лукьянова Е. А. О структурних элементах компонентной сети Петри. - C. 25-32.
- Шкільняк С. С. Секвенційні числення композиційно-номінотивних логік квазіарних предикатів. - C. 33-43.
- Россада Т. В., Шкільняк С. С. Композиційно-номінативні логіки з непрямим іменуванням. - C. 44-49.
- Лавріщева К. М. Базові основи індустрії програм,обчислень і даних. - C. 50-62.
- Провотар А. А., Провотар О. А. Аспекты моделирования в системе Гомеопат. - C. 63-67.
- Редько В. Н., Редько И. В., Гришко В. Н. Дефинитологические основания сущностной платформы. - C. 68-76.
- Лавренюк А. М., Лавренюк С. І. Один підхід до вирішення проблеми універсального використання мови програмування OPENCL на різних GPU. - C. 77-84.
- Погорілий С. Д., Білоус Р. В. Особливості застосування генетичного алгоритму ба-лансування навантаження в мережі. - C. 85-92.
- Погорілий С. Д., Білоконь І. В. До задачі оптимізації завантаженості ресурсів обчислю-вального кластера з вузлами у вигляді віртуальних машин. - C. 93-101.
- Сальніков А. О. Система керування грід-завданнями віртуальної лабораторії, що ґрунтується на асинхронній обробці подій. - C. 102-110.
- Слюсар Є. А. Комплексна система тестування взаємодії ресурсів у національній грід-інфраструктурі. - C. 111-118.
- Марченко О. О., Кисенко В. К., Березань І. О. Оптимізація алгоритму побудови неві-д’ємної матричної факторизації у задачах обробки текстів природною мовою із вико-ристанням графічних процесорів. - C. 119-123.
- Стеняшин А. Ю. Обробка даних у гетерогенних мережах типа GRID. - C. 124-132.
- Минухин С. В., Знахур С. В. Имитационная модель и ее программная реализация планирования ресурсов грид-системы. - C. 133-142.
- Твердохліб Є. М., Перконос П. І. Побудова інтегрованої Е-інфраструктури підтримки наукових досліджень в грід-середовищі. - C. 143-149.
- Hrytsay V. P., Zakhariya L. M. Tete-a-tete project: software engineering tools supporting understanding. - C. 150-159.
- Tkachuk M. V., Gamzayev R. O., Mayr H. C., Bolshutkin V. O. Models and tools for effective-ness increase of requirements traceability in agile-software development. - C. 160-167.
- Чебанюк О. В., Чупринка В. І. Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення. - C. 168-173.
- Матвеева Л. Е., Гориславец Т. Н. Применение статистических моделей в инженерии качества процессов производства программных систем. - C. 174-181.
- Колесник А. Л. Підтримка процесу керування варіабельністю в сімействах програмних систем. - C. 182-191.
- Баценко Д. В. Метод калібрування моделі СОСОМО шляхом редукції основного рівняння. - C. 192-200.
- Колчин А. В. Оптимизация проверки выполнимости переходов при верификации формальных моделей. - C. 201-210.
- Шинкаренко В. И., Забула Г. В. Повышение временной эффективности структур данных в оперативной памяти на основе. - C. 211-218.
- Яценко Е. А. Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем. - C. 219-227.
- Максимець О. М. Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних. - C. 228-233.
- Акуловский В. Г. Алгебра для описания данных в композиционных схемах алгоритмов. - C. 234-240.
- Дорошенко А. Е., Иовчев В. А. Средства проектирования объектно-ориентированных программ на основе алгебры алгоритмики. - C. 241-250.
- Тимофеев В. Г. Задача проверки Т-выполнимости для логического языка VL1 системы VRS. - C. 251-259.
- Парасюк И. Н., Ершов С. В. Мультиагентные модели на основе нечеткой логики высшего типа для высокопроизводительной среды. - C. 260-269.
- Ильина Е. П., Синицын И. П., Слабоспицкая О. А., Яблокова Т. Л. Модели и методы аналитической поддержки принятия решений стратегического управления. - C. 270-280.
- Панченко Б. Е. К вопросу о модифицируемости и безаномальности схемы реляционной базы данных. - C. 281-288.
- Палагин А. В., Петренко Н. Г., Величко В. Ю., Малахов К. C., Тихонов Ю. Л. К вопросу разработки инструментального комплекса онтологического назначения. - C. 289-298.
- Панченко Т. В. Подання динамічних вимірів у OLAP-кубах. - C. 299-307.
- Сидорова Н. М. Формування готовності майбутніх бакалаврів з інженерії програмного забезпечення до професійної комунікації. - C. 308-314.
- Любченко В. В. Інформаційна технологія розробки та аналізу моделей предметних областей для їх вивчення. - C. 315-321.
- Задорожна Н. Т., Петрушко В. А., Тукало С. М. Особливості проектування інформаційної системи "Планування наукових досліджень в НАПН України". - C. 322-330.
- Резниченко В. А., Проскудина Г. Ю., Овдий О. М. Формальная модель научной публикации. - C. 331-347.
- Анісімов А. В., Марченко О. О., Никоненко А. О. UWN: Універсальна онтологічна база знань укранської мови. - C. 348-355.
- Мелащенко А. О., Скарлат О. С. Імплементація юридично правових електронних документів. - C. 356-362.
- Андон П. І., Бабенко Л. П. Проблеми і можливості програмування в середовищі SEMATIC WEB. - C. 363-373.
- Kussul O. M. Reputation-based secyrity for heterogtneous structurally complex systems. - C. 374-379.
- Лихацкий И. А. Средства кодогенерации для взаимодействия с базой данных через объекты. - C. 380-387.
- Дорошенко А. Ю., Жереб K. А., Туліка Є. М. Розпаралелювання програм на фортрані з використанням техніки переписувальних правил. - C. 388-397.
- Кривонос Ю. Г., Крак Ю. В., Бармак О. В., Єфімов Г. М. Формалізація жестоутворення за допомогою трьохмірної моделі людини для української жестової мови. - C. 398-405.
- Федоренко С. М., Чадюк А. В. Методологія аналізу статичних даних для реалізації перспективного планування в автоматизованій інформаційній системі "надання медико-соціальних та реабілітаційних послуг". - C. 407-413.
- Криковлюк Е. А., Пепеляев В. А., Сахнюк М. А. Особенности реализации процессов имитационного моделирования на основе методологи DATA FARMING. - C. 414-418.
- Чупринка І. В., Чебанюк О. В. Метод автоматичного проектування раціональних схем розкрою рулонних матеріалів на деталі взття. - C. 419-425.
- Іваненко П. А., Дорошенко А. Ю. Автоматична оптимізація виконання для задачі метеорологічного прогнозування. - C. 426-434.
- Хіміч О. М., Чистякова Т. В., Баранов А. Ю. Принципи створення інтелектуального інтерфейсу для розв’язування систем лінійних алгебраїчних рівнянь на комп’ютерах гібридної архітектури. - C. 435-442.
- Проворар О. І., Лапко О. В. Деякі підходи до обчислення умовної невизначеності. - C. 443-449.
- Андон П. І., Ігнатенко О. П. Потокові моделі мережі Інтернет за умов атак на відмову. - C. 450-459.
|
|
