Автоматизована система розпаралелювання послідовних програм для паралельних обчислювачів з розподіленою пам'яттю
Дослідження проблеми розпаралелювання послідовних програм, побудова алгебраїчної моделі і доведення її дедуктивної еквівалентності. Реалізація системи автоматизованого розпаралелювання delta, що транслює програму розширеною мовою C у MPI-програму мовою C.
Подобные документы
- Роль і місце комп’ютерних графічних технологій у процесі підготовки майбутніх фахівців з дизайну. Необхідність педагогічної доцільності їх застосування як засобу навчання та об’єкту вивчення. Процес розробки системи графічних комп’ютерних програм. 
 автореферат, добавлен 27.08.2013
- Дослідження методів обчислюваності програм, які узагальнюють традиційні підходи до неї. Описання класів обчислюваних функцій і композицій над номінативними даними різних рівнів абстракції і загальності, побудування алгебраїчних представлень таких класів. 
 автореферат, добавлен 19.04.2014
- Носії інформації, їхній склад та характеристика. Види проектування автоматизованих систем обробки облікової інформації. Роль бухгалтерського обліку в інформаційній системі управління підприємством. Робота в середовищі пакету прикладних програм. 
 контрольная работа, добавлен 19.09.2009
- Необхідність упровадження в лабораторіях автоматизації технічного документообігу з урахуванням вимог ДСТУ ISO\IEC 17025 на прикладі розробленої програмної реалізації. Блок-схема системи обігу зразків автоматизованої інформаційної системи "Лабораторія". 
 статья, добавлен 08.02.2017
- Сучасні досягнення у розв'язанні проблеми комп’ютерного перекладу з української словесної мови на українську жестову. Правила обходу дерева синтаксичного розбору речень українською мовою для синтезу речень жестовою мовою. Основні правила перекладу. 
 статья, добавлен 19.02.2016
- 81. Моделювання не рекурсивних цифрових фільтрів (НРЦФ) засобами бібліотеки Simulink в середовищі MATLABІмітаційне моделювання не рекурсивних цифрових фільтрів та дослідження їх характеристик. Створення моделі фільтра в середовищі Simulink програм MATLAB. Побудова карти нулів і полюсів, імпульсної характеристики за допомогою Digital Filter Design. 
 лабораторная работа, добавлен 05.02.2015
- Оперативна пам'ять як важливий ресурс обчислювальної машини. Управління пам'яттю, типи адрес, свопінг. Оверлейні структури програм. Методи розподілу пам'яті з використанням дискового простору. Ієрархія запам'ятовуючих пристроїв, принцип кешування даних. 
 контрольная работа, добавлен 29.12.2013
- Процеси, пов’язані зі створенням комп’ютерних програм. Вироблення навиків практичного використання інтегрованих середовищ програмування з метою створення, виконання та відлагодження програм на мові Cі. Визначення інженерії програмного забезпечення. 
 лабораторная работа, добавлен 12.11.2022
- Розробка емуляції роботи командного процесора операційної системи, що вміщує точку входу в програму, головну "суперпетлю" (нескінченний інтерактивний цикл очікування дії користувача), модулі команд split, mem, join, dir та реагує на команди exit і help. 
 курсовая работа, добавлен 02.04.2010
- Виявлення особливостей застосування 3D-моделювання у сучасній дизайн-освіті. З’ясування переваг і недоліків комп’ютерних програм для тривимірного моделювання, які застосовуються в дизайн-освіті, проблеми, які можуть виникати під час освоєння програм. 
 статья, добавлен 30.03.2023
- Розробка ігрових програм для мобільних платформ. Дослідження інструментарію реалізації ігрових програм для ОС Android з використанням Android Studio на прикладі розробки програми "Скарби нації". Можливості Android Studio для розробки ігрових додатків. 
 статья, добавлен 22.07.2024
- Розробка та рекомендації з практичної реалізації моделей, алгоритмів управління матеріальними, інвестиційними, інформаційними, трудовими та інтелектуальними потоками. Вдосконалення ресурсного забезпечення науково-дослідних програм моніторингу довкілля. 
 автореферат, добавлен 14.09.2014
- Java - об'єктно-орієнтована мова програмування. Її якості: безпека, надійність, інтерактивність, незалежність від архітектури, інтерпретація та висока продуктивність. Програмування мовою Java. Синтаксис та конструкції. Автоматичне керування пам'яттю. 
 дипломная работа, добавлен 19.06.2010
- Огляд розробки теорій послідовних схем. Абстрактні автомати як математичні моделі цифрового пристрою та їх поширені типи - Мілі, Мура, комбінаційні схеми. Методи синтезу абстрактних автоматів і процесів побудови їх графів у стані переходів і виходів. 
 реферат, добавлен 25.10.2012
- Аналіз програмного забезпечення. Список вимог до програмної системи. Побудова схеми реляційної бази даних в 3-й нормальній формі. Опис захисту системи інформації. Аналіз дослідної експлуатації і можливих застосувань. Опис фізичної моделі бази даних. 
 дипломная работа, добавлен 20.06.2012
- Задачі і функції автоматизованого робочого місця; їх класифікація та типи. Завдання та обов'язки фахівця з ведення реєстру власників іменних цінних паперів. Наведення прикладів щодо використання окремих програм для проведення операцій з цінними паперами. 
 курсовая работа, добавлен 12.11.2013
- BIOS як набір програм введення-виведення, взаємодія операційної системи і прикладних програм з різними пристроями як комп'ютера. Програма тестування при включенні живлення комп'ютера POST. Управління чіпсетом та компонентами і ресурсами системної плати. 
 курсовая работа, добавлен 04.06.2013
- Автоматизована система обліку "Aхім" як синтез серверної та клієнтської частини, що утворюють повноцінну систему для обліку та контролю магазином. Веб-інтерфейс програми. Приклад створення (create) таблиці "users" та головні особливості заповнення її. 
 статья, добавлен 16.02.2022
- Поняття та сутність інформаційної системи. Інфологічне моделювання предметної області, створення логічної моделі. Характеристика система управління базами даних. Реалізація логічної моделі у середовищі Microsoft Access. Генерація схеми бази даних. 
 курсовая работа, добавлен 20.07.2014
- Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування. 
 автореферат, добавлен 30.07.2014
- Метод Эйлера як найбільш простий чисельний метод рішення систем звичайних диференціальних рівнянь. Метод Ейлера з півкроком. Чисельне відшукання розв’язку задачі Коші методом Рунге-Кутта. Складання програм обчислень диференціальних рівнянь мовою С++. 
 курсовая работа, добавлен 23.09.2017
- Об’єктно-орієнтоване програмування. Ієрархія класів у програмі. Створення форм MDI. Реалізація графічних елементів програми. Збереження даних. Запис і читання з файлу. Реалізація програми мовою С# з використанням об’єктно-орієнтованого програмування. 
 курсовая работа, добавлен 02.06.2020
- Розробка формалізованого опису алгоритму роботи Е-мережевого переходу та планувальника подій у термінах алгебри взаємодіючих послідовно-паралельних процесів. Реалізація системи імітаційного моделювання на основі прогресивних інформаційних технологій. 
 автореферат, добавлен 30.10.2015
- Система обробки наукових даних. Borland C++ Builder - засіб швидкої розробки програм. середовище розробки C++ Builder. Основні прийоми проектування користувацького інтерфейсу програми для обробки візитних карток з можливістю її графічної інтерпретації. 
 курсовая работа, добавлен 15.09.2008
- Побудова логічної структури бази даних на основі ER-моделі. Автоматичні коригування інформації у концепціях інформаційної системи. Засоби автоматизації управління порядком. Реалізація сукупності показників засобами прикладного програмного забезпечення. 
 курсовая работа, добавлен 04.10.2015
