ISS Library

Subject: F. Theory of Computation

Number of items at this level: 22.

2010

Іваненко П.А. and Дорошенко А.Ю. and Суслова Л. and Черниш Р.І. (2010) АВТОМАТИЧНО НАЛАГОДЖУВАНИЙ ПАРАЛЕЛЬНИЙ АЛГОРИТМ ЧИСЕЛЬНОГО РОЗВ’ЯЗАННЯ БАГАТОВИМІРНОЇ ЗАДАЧІ МОДЕЛЮВАННЯ НАВКОЛИШНЬОГО СЕРЕДОВИЩА. In: УкрПРОГ, 25-27 травня 2010 р., м. Київ, Україна.

Богатырева Ю.А. (2010) МУЛЬТИМНОЖЕСТВА: ОБЗОР БИБЛИОГРАФИИ, ПОСТРОЕНИЕ РЕШЕТКИ МУЛЬТИМНОЖЕСТВ. In: УкрПРОГ, 25-27 травня 2010 р., м. Київ, Україна.

Дорошенко А.Е. and Жереб К.А. (2010) АЛГЕБРО-ДИНАМИЧЕСКИЕ МОДЕЛИ ДЛЯ РАСПАРАЛЛЕЛИВАНИЯ ПРОГРАММ. Проблеми програмування (1). pp. 39-55. ISSN 1727-4907

Назаренко Е.В. and Тульчинский В.Г. and Тульчинский П.Г. (2010) ОПТИМИЗАЦИЯ ОБРАБОТКИ БОЛЬШИХ МАСCИВОВ ДАННЫХ В КЛАСТЕРНЫХ СИСТЕМАХ. In: УкрПРОГ, 25-26 травня 2010 р., м. Київ, Україна.

Нікітченко М.С. and Іванов Є.В. (2010) СТАБІЛЬНІСТЬ ТА МОНОТОННІСТЬ ПРОГРАМ ЩОДО СТРУКТУРНИХ ТРАНСФОРМАЦІЙ ДАНИХ. In: УкрПРОГ, 25-27 травня 2010 р., м. Київ, Україна.

Провотар А.И. and Лапко А.В. (2010) О НЕКОТОРЫХ ПОДХОДАХ К ВЫЧИСЛЕНИЮ НЕОПРЕДЕЛЕННОСТЕЙ. In: УкрПРОГ, 25-27 травня 2010 р., м. Київ, Україна.

2008

Ромм Я.Е. and Виноградский В.В. (2008) ПРЕОБРАЗОВАНИЕ СОРТИРОВКИ ХОАРА В ПАРАЛЛЕЛЬНУЮ ФОРМУ НА ОСНОВЕ МАТРИЦ СРАВНЕНИЙ. In: УкрПРОГ, 27-29 травня 2006 р., м. Київ, Україна.

2007

Нікітченко М.С. and Шкільняк С.С. (2007) ІНТЕНСІОНАЛЬНО-ОРІЄНТОВАНИЙ ПІДХІД ДО ПОБУДОВИ ЛОГІЧНИХ СИСТЕМ. Проблеми програмування (2). pp. 15-40. ISSN 1727-4907

2006

Редько В.Н. and Редько И.В. and Гришко Н.В. (2006) ДЕСКРИПТИВНЫЕ СИСТЕМЫ: КОНЦЕПТУАЛЬНЫЙ БАЗИС. In: УкрПРОГ, 23-25 травня 2006 р., м. Київ, Україна.

Редько И.В. (2006) ДЕСКРИПТИВНЫЕ СРЕДЫ: ИНТЕГРАЦИОННЫЕ ОСНОВАНИЯ. Проблеми програмування (1). pp. 17-23. ISSN 1727-4907

Редько И.В. (2006) ИНТЕНСИОНАЛЬНЫЕ ОСНОВАНИЯ ДЕСКРИПТИВНЫХ СРЕД. In: УкрПРОГ, 23-25 травня 2006 р., м. Київ, Україна.

Тирчак Ю.М. and Черняк А.І. (2006) ПАРАЛЕЛЬНІ ОБЧИСЛЕННЯ ДЛЯ ЕФЕКТИВНОЇ РЕАЛІЗАЦІЇ ЧИСЕЛЬНОГО ПРОГНОЗУ ПОГОДИ. In: УкрПРОГ, 23-25 травня 2006 р., м. Київ, Україна.

Шинкаренко В.И. (2006) ФУНКЦИОНАЛЬНАЯ ЭФФЕКТИВНОСТЬ НЕЧЕТКО СПЕЦИФИЦИРОВАННЫХ АЛГОРИТМОВ. Проблеми програмування (1). pp. 24-33. ISSN 1727-4907

2005

Редько И.В. (2005) ПРАГМАТИЧЕСКИЕ ОСНОВАНИЯ ДЕСКРИПТИВНЫХ СРЕД. Проблеми програмування (3). pp. 3-25. ISSN 1727-4907

2004

Антонцева Марина Федоровна (2004) КОАЛГЕБРАИЧЕСКОЕ ИССЛЕДОВАНИЕ БИСИМУЛЯЦИОННЫХ ПАРАЛЛЕЛЬНЫХ ПРОЦЕССОВ. In: УкрПрог, 1-3 июня 2004 г., г. Киев, Украина.

Багрий Р.О. (2004) ОБ АЛГОРИТМАХ ПРЕДСТАВЛЕНИЯ ТРАНЗИЦИОННЫХ СИСТЕМ С ПОМОЩЬЮ БИНАРНЫХ ДИАГРАМ РЕШЕНИЙ. In: УкрПрог, 1-3 червня 2004 р., м. Київ, Україна.

Дубцов Р.С. (2004) ТЕОРЕТИКО-КАТЕГОРНАЯ ХАРАКТЕРИЗАЦИЯ РАЗВЕРТКИ ВРЕМЕННЫХ СЕТЕЙ ПЕТРИ. In: УкрПрог, 1-3 июня 2004 г., г. Киев, Украина.

Лопатина М.В. (2004) БУЛЕВА ОПТИМИЗАЦИЯ АЛГОРИТМОВ РЕШЕНИЯ СИСТЕМ ЛИНЕЙНЫХ ДИОФАНТОВЫХ УРАВНЕНИЙ. In: УкрПрог, 1-3 июня 2004 г., г. Киев, Украина.

Редько И.В. (2004) ЭКСПЛИКАТИВНЫЙ БАЗИС ИНТЕГРАЦИОННЫХ СРЕД. In: УкрПрог, 1-3 июня 2004 г., г. Киев, Украина.

Редько И.В. and Редько В.Н. and Гришко Н.В. (2004) ДЕСКРИПТОЛОГИЧЕСКАЯ СРЕДА ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ. In: УкрПрог, 1-3 июня 2004 г., г. Киев, Украина.

2003

Dimov I. and Farago I. and Zlatev Zahari (2003) PARALLEL COMPUTATIONS WITH LARGE-SCALE AIR POLLUTION MODELS. Проблеми програмування (3). pp. 44-52. ISSN 1727-4907

Дорошенко А.Е. and Цейтлин Г.Е. (2003) АЛГЕБРОАВТОМАТНЫЕ СПЕЦИФИКАЦИИ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ НАД ОБЩЕЙ И РАСПРЕДЕЛЕННОЙ ПАМЯТЬЮ. Проблеми програмування (3). pp. 5-21. ISSN 1727-4907

This list was generated on Thu Jul 24 01:05:34 2014 EEST.