Buchumschlag

Realistic correct systems implementation

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2003
Hauptverfasser:	Goerigk, Wolfgang, Langmaack, Hans
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	Інститут програмних систем НАН України 2003
Schlagworte:	Теоретические и методологические основы программирования
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/1062
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Realistic correct systems implementation / Wolfgang Goerigk, Hans Langmaack // Проблеми програмування. — 2003. — N 1. — С. 3—30. — Бібліогр.: 64 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)

О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
von: Крывый, С.Л., et al.
Veröffentlicht: (2003)

Формальные модели компонентного программирования
von: Грищенко, В.Н.
Veröffentlicht: (2003)

Узагальнена композиційна модель символьної обробки
von: Винник, В.Ю.
Veröffentlicht: (2003)

Процесологічні середовища моделювання
von: Редько, И.В.
Veröffentlicht: (2003)

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)

Композиційні логіки номінативних даних
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)

Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)

Аксиоматические модели и методы проектирования языковых трансляторов
von: Парасюк, И.Н., et al.
Veröffentlicht: (2003)

О возможных основаниях немонотонного дедуктивного синтеза программ
von: Приходько, П.П.
Veröffentlicht: (2003)

Теоретико-категорная характеризация развертки временных сетей Петри
von: Дубцов, Р.С.
Veröffentlicht: (2004)

Концепція діалогових обчислень та деякі проблеми автоматизації програмування
von: Петрушенко, А.М., et al.
Veröffentlicht: (2004)

Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
von: Панченко, Т.В.
Veröffentlicht: (2004)

Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
von: Грибовская, Н.С.
Veröffentlicht: (2004)

Коалгебраическое исследование бисимуляционных паралельных процессов
von: Антонцева, М.Ф.
Veröffentlicht: (2004)

Композиційно-номінативні логіки предикатів над даними з неповною інформацією
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)

Экспликативный базис интеграционных сред
von: Редько, И.В.
Veröffentlicht: (2004)

Об одной геометрической модели временных параллельных процессов
von: Ошевская, Е.С,
Veröffentlicht: (2004)

REALISTIC CORRECT SYSTEMS IMPLEMENTATION
von: Goerigk, W.
Veröffentlicht: (2015)

Инсерционное моделирование
von: Летичевский, А.Ад.
Veröffentlicht: (2012)

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
von: Goerigk, W., et al.
Veröffentlicht: (2015)

The Conception and Application of PFL: a Process Functional Programming Language
von: Kollar, Jan
Veröffentlicht: (2004)

Система символьных вычислений для программирования динамических приложений
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2003)

Теоретические проблемы устойчивости броуновских дисперсных систем
von: Мищук, Н.А.
Veröffentlicht: (2011)

Расчет фильтрования суспензий через многослойную загрузку при линейной кинетике массообмена
von: Поляков, В.Л.
Veröffentlicht: (2008)

Влияние УФ-излучения на кинетику разложения катионных ПАВ озоном в водной среде
von: Гончарук, В.В., et al.
Veröffentlicht: (2007)

Инженерный расчет фильтрования суспензии через двухслойную загрузку при линейной кинетике массообмена
von: Поляков, В.Л.
Veröffentlicht: (2011)

Моделирование погружных фотореакторов с оптимальными параметрами УФ-излучения для водоочистки
von: Самсони-Тодоров, А.О., et al.
Veröffentlicht: (2013)

Динамика сорбции серной кислоты слабоосновными полиакриловыми анионитами, синтезированными на основе полиаминов
von: Мамченко, А.В., et al.
Veröffentlicht: (2008)

Влияние полиакриламида на поверхностные свойства растворов хлоридов алкилпиридиния при их извлечении
von: Стрельцова, Е.А., et al.
Veröffentlicht: (2008)

Фильтрование суспензии с убывающей скоростью при линейной кинетике массообмена
von: Поляков, В.Л.
Veröffentlicht: (2012)

Термодинамические характеристики воды, слабо связанной с поверхностью слоистых силикатов
von: Тарасевич, Ю.И.
Veröffentlicht: (2013)

Modern Poetic Translation: Realistic and Non-Realistic Tendencies
von: O. I. Hainicheru
Veröffentlicht: (1996)

Программно-технологический комплекс имитационного моделирования вероятностных технологических процессов
von: Максимей, И.В., et al.
Veröffentlicht: (2003)

Межмодельный подход к разработке естественно-языкового интерфейса с использованием методов нечеткой логики
von: Теленик, С.Ф., et al.
Veröffentlicht: (2004)

Технология анализа и синтеза предложений естественного языка в интегрированном интеллектуальном интерфейсе системы ИРМ
von: Булавенко, О.Н., et al.
Veröffentlicht: (2004)

Моделі агрегатування об'єктів навчального контенту на базі систем інформаційних технологій
von: Манако, А.Ф.
Veröffentlicht: (2004)

Застосування принципів ТЕІ до кодування текстових корпусних данних
von: Демська-Кульчицька, О.
Veröffentlicht: (2004)

Про один підхід побудови систем централізованих баз знань, які формуються методами навчання з підкріпленням
von: Глибовець, М.М., et al.
Veröffentlicht: (2004)