Зображення обкладинки

Теорія обчислень: від гарантованих оцінок похибок до сучасних комп'ютерних технологій

У статті простежено шлях розвитку теорії обчислень: від аналізу точності та ефективності обчислювальних алгоритмів, тестування їх якості, побудови оптимальних алгоритмів, пошуку резервів оптимізації обчислень до побудови сучасних комп'ютерних технологій розв'язання задач прикладної та обчи...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Вісник НАН України
Дата:	2020
Автори:	Сергієнко, І.В., Задірака, В.К., Швідченко, І.В.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Видавничий дім "Академперіодика" НАН України 2020
Теми:	Статті та огляди
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/169846
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Теорія обчислень: від гарантованих оцінок похибок до сучасних комп'ютерних технологій / І.В. Сергієнко, В.К. Задірака, І.В. Швідченко // Вісник Національної академії наук України. — 2020. — № 1. — С. 56-61. — Бібліогр.: 8 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Використання похибки заокруглення в сучасних комп’ютерних технологіях
за авторством: Задірака, В.К., та інші
Опубліковано: (2021)

Про деякі способи підвищення точності комп’ютерних обчислень
за авторством: Хіміч, О.М., та інші
Опубліковано: (2017)

Про деякі способи підвищення точності комп’ютерних обчислень
за авторством: Хіміч, Олександр Миколайович, та інші
Опубліковано: (2017)

АНАЛІЗ ТЕНДЕНЦІЙ РОЗВИТКУ СУЧАСНИХ КОМП’ЮТЕРНИХ СИСТЕМ
за авторством: Мартинюк, Т. Б., та інші
Опубліковано: (2017)

Використання структур сучасних комп’ютерних систем для реалізації систем обробки знань
за авторством: Кургаєв, О.П., та інші
Опубліковано: (2012)

Удосконалення системи управління в КРУ Чернігівської області за допомогою сучасних комп'ютерних технологій
за авторством: Олійченко, І., та інші
Опубліковано: (1999)

Технологічне передбачення інформаційно-комп’ютерних технологій зв’язку
за авторством: Savastiyanov, V. V.
Опубліковано: (2019)

Моделювання НЕ-факторів — основа інтелектуалізації комп’ютерних технологій
за авторством: Valkman, Yu. R., та інші
Опубліковано: (2018)

НЕЙРОМЕРЕЖЕВИЙ МЕТОД ІДЕНТИФІКАЦІЇ КОМП'ЮТЕРНИХ АТАК
за авторством: Комар, М. П.
Опубліковано: (2013)

Відмовостійкість програмного забезпечення гарантоздатних комп’ютерних систем
за авторством: Єфімова, Т.І., та інші
Опубліковано: (2009)

Наукова тематика міжнародних математичних форумів з питань оптимізації обчислень
за авторством: Сергієнко, І.В., та інші
Опубліковано: (2017)

Міжнародний науковий симпозіум «Питання оптимізації обчислень (ПОО-XLVІ)»
за авторством: Сергієнко, І.В., та інші
Опубліковано: (2020)

Основні засоби захисту локальних комп'ютерних мереж
за авторством: Нікулін, С.О.
Опубліковано: (2009)

Оцінка рівня конфіденційності гарантоздатних комп’ютерних систем
за авторством: Сеспедес Гарсія, Н.В.
Опубліковано: (2014)

Назви комп’ютерних вірусів у сучасній українській комп’ютерній субмові
за авторством: Бондарчук, Л.
Опубліковано: (2011)

Ефективність використання комп’ютерних систем бухгалтерського обліку на підприємствах
за авторством: Скопень, М.М., та інші
Опубліковано: (2011)

Моделювання і візуалізація засобами Processing комп'ютерних мереж
за авторством: Пасічник, В.В., та інші
Опубліковано: (2013)

Евіденціальна парадигма та обробка комп’ютерних математичних знань
за авторством: Асельдеров, З.М., та інші
Опубліковано: (2004)

Евіденціальна парадигма та обробка комп’ютерних математичних знань
за авторством: Aselderov, Z. M., та інші
Опубліковано: (2019)

Структурний синтез комп’ютерних мереж з технологією MPLS
за авторством: Zaychenko, H. Yu., та інші
Опубліковано: (2019)

Розробка математичних моделей і комп’ютерних технологій для проведення віртуальних руйнівних випробувань оболонкових конструкцій
за авторством: Шевченко, Ю.М., та інші
Опубліковано: (2013)

ВІДДІЛ МАТЕМАТИЧНИХ МЕТОДІВ ДОСЛІДЖЕННЯ ТА ІНФОРМАЦІЙНО- КОМП'ЮТЕРНИХ ТЕХНОЛОГІЙ − 35 РОКІВ У СКЛАДІ ФТІМС НАН УКРАЇНИ
за авторством: Тарасевич, М. І., та інші
Опубліковано: (2018)

Розпаралелення процесу розв’язування задачі Коші у комп’ютерних мережах
за авторством: Квятковський, Б., та інші
Опубліковано: (2007)

Порівняльний аналіз ефективності використання дрібнозернистого та вкладеного паралелізму для збільшення пришвидшення паралельних обчислень у багатоядерних комп’ютерних системах
за авторством: Martell, Valerii, та інші
Опубліковано: (2022)

Питання оптимізації обчислень (XLVІІI науковий форум — Міжнародний науковий симпозіум, присвячений 100-річчю від дня народження академіка Віктора Глушкова)
за авторством: Сергієнко, І.В., та інші
Опубліковано: (2023)

ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ
за авторством: Бенидзе, Н. Н.
Опубліковано: (2021)

Стан і проблеми розвитку україномовної локалізації комп’ютерних програм
за авторством: Булаховський, К.
Опубліковано: (2010)

Середовище імітаційного моделювання конфліктних процесів у комп’ютерних мережах
за авторством: Ігнатенко, О.П., та інші
Опубліковано: (2009)

Аналіз статистичних характеристик комунікаційної інформації в комп’ютерних мережах
за авторством: Гнатушенко, В.В., та інші
Опубліковано: (2015)

Достовірність комп’ютерних розв’язків при дослідженні власних коливань
за авторством: Popov, Alexandr, та інші
Опубліковано: (2023)

Інструментарій мінімізації ризику захищеності в розподілених комп’ютерних системах
за авторством: Mukhin, V. Ye.
Опубліковано: (2010)

Якість обслуговування у комп’ютерних мережах на базі Internet
за авторством: Listopad, N. I., та інші
Опубліковано: (2019)

Математичне та програмне моделювання складних систем з використанням суперкомп’ютерних технологій
за авторством: Сергієнко, І.В.
Опубліковано: (2018)

Синтез комбінованого вирішального правила (ВП) у комп’ютерних системах медичної діагностики
за авторством: Поворознюк, А.І.
Опубліковано: (2010)

Деякі аспекти живучості складних гарантоздатних комп'ютерних систем критичних умов застосування
за авторством: Сербін, В.Г., та інші
Опубліковано: (2011)

Математичні моделі і методи аналізу комп’ютерних мереж керування електропостачанням залізниць
за авторством: Стасюк, О.І., та інші
Опубліковано: (2018)

Метод оцінювання довільних відповідей у комп'ютерних системах тестування знань
за авторством: Бадьоріна, Л.М.
Опубліковано: (2006)

Ідентифікація інформативних сигналів у проблемно-орієнтованих розподілених комп'ютерних системах
за авторством: Кулик, А.Я.
Опубліковано: (2010)

До питання про кількісні характеристики безвідмовності надлишкових комп'ютерних систем
за авторством: Федухин, А.В., та інші
Опубліковано: (2012)

Проблеми створення систем розпізнавання мовлення для різних комп’ютерних платформ
за авторством: Васильєва, Н.Б., та інші
Опубліковано: (2013)