Автоматизована система розпаралелювання послідовних програм для паралельних обчислювачів з розподіленою пам'яттю
Дослідження проблеми розпаралелювання послідовних програм, побудова алгебраїчної моделі і доведення її дедуктивної еквівалентності. Реалізація системи автоматизованого розпаралелювання 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Виявлення особливостей застосування 3D-моделювання у сучасній дизайн-освіті. З’ясування переваг і недоліків комп’ютерних програм для тривимірного моделювання, які застосовуються в дизайн-освіті, проблеми, які можуть виникати під час освоєння програм.
статья, добавлен 30.03.2023Розробка ігрових програм для мобільних платформ. Дослідження інструментарію реалізації ігрових програм для ОС Android з використанням Android Studio на прикладі розробки програми "Скарби нації". Можливості Android Studio для розробки ігрових додатків.
статья, добавлен 22.07.2024Розробка та рекомендації з практичної реалізації моделей, алгоритмів управління матеріальними, інвестиційними, інформаційними, трудовими та інтелектуальними потоками. Вдосконалення ресурсного забезпечення науково-дослідних програм моніторингу довкілля.
автореферат, добавлен 14.09.2014Розробка емуляції роботи командного процесора операційної системи, що вміщує точку входу в програму, головну "суперпетлю" (нескінченний інтерактивний цикл очікування дії користувача), модулі команд split, mem, join, dir та реагує на команди exit і help.
курсовая работа, добавлен 02.04.2010Java - об'єктно-орієнтована мова програмування. Її якості: безпека, надійність, інтерактивність, незалежність від архітектури, інтерпретація та висока продуктивність. Програмування мовою Java. Синтаксис та конструкції. Автоматичне керування пам'яттю.
дипломная работа, добавлен 19.06.2010Огляд розробки теорій послідовних схем. Абстрактні автомати як математичні моделі цифрового пристрою та їх поширені типи - Мілі, Мура, комбінаційні схеми. Методи синтезу абстрактних автоматів і процесів побудови їх графів у стані переходів і виходів.
реферат, добавлен 25.10.2012Аналіз програмного забезпечення. Список вимог до програмної системи. Побудова схеми реляційної бази даних в 3-й нормальній формі. Опис захисту системи інформації. Аналіз дослідної експлуатації і можливих застосувань. Опис фізичної моделі бази даних.
дипломная работа, добавлен 20.06.2012Задачі і функції автоматизованого робочого місця; їх класифікація та типи. Завдання та обов'язки фахівця з ведення реєстру власників іменних цінних паперів. Наведення прикладів щодо використання окремих програм для проведення операцій з цінними паперами.
курсовая работа, добавлен 12.11.2013BIOS як набір програм введення-виведення, взаємодія операційної системи і прикладних програм з різними пристроями як комп'ютера. Програма тестування при включенні живлення комп'ютера POST. Управління чіпсетом та компонентами і ресурсами системної плати.
курсовая работа, добавлен 04.06.2013Автоматизована система обліку "Aхім" як синтез серверної та клієнтської частини, що утворюють повноцінну систему для обліку та контролю магазином. Веб-інтерфейс програми. Приклад створення (create) таблиці "users" та головні особливості заповнення її.
статья, добавлен 16.02.2022Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.
автореферат, добавлен 30.07.2014Поняття та сутність інформаційної системи. Інфологічне моделювання предметної області, створення логічної моделі. Характеристика система управління базами даних. Реалізація логічної моделі у середовищі Microsoft Access. Генерація схеми бази даних.
курсовая работа, добавлен 20.07.2014Метод Эйлера як найбільш простий чисельний метод рішення систем звичайних диференціальних рівнянь. Метод Ейлера з півкроком. Чисельне відшукання розв’язку задачі Коші методом Рунге-Кутта. Складання програм обчислень диференціальних рівнянь мовою С++.
курсовая работа, добавлен 23.09.2017Об’єктно-орієнтоване програмування. Ієрархія класів у програмі. Створення форм MDI. Реалізація графічних елементів програми. Збереження даних. Запис і читання з файлу. Реалізація програми мовою С# з використанням об’єктно-орієнтованого програмування.
курсовая работа, добавлен 02.06.2020Система обробки наукових даних. Borland C++ Builder - засіб швидкої розробки програм. середовище розробки C++ Builder. Основні прийоми проектування користувацького інтерфейсу програми для обробки візитних карток з можливістю її графічної інтерпретації.
курсовая работа, добавлен 15.09.2008Розробка формалізованого опису алгоритму роботи Е-мережевого переходу та планувальника подій у термінах алгебри взаємодіючих послідовно-паралельних процесів. Реалізація системи імітаційного моделювання на основі прогресивних інформаційних технологій.
автореферат, добавлен 30.10.2015Побудова логічної структури бази даних на основі ER-моделі. Автоматичні коригування інформації у концепціях інформаційної системи. Засоби автоматизації управління порядком. Реалізація сукупності показників засобами прикладного програмного забезпечення.
курсовая работа, добавлен 04.10.2015