Зміст
15 відносини: Карл Адам Петрі, Комп'ютерна термінологія, Пі-числення, Паралельні обчислення, Петрі, Нагорода «Піонер комп'ютерної галузі», Теорія алгоритмів, Формальні методи, Мова моделювання, Моделювання у виробничих системах, Багатократна буферизація, Взаємне блокування, Граф-схема алгоритму, Генна регуляторна мережа, Дискретна математика.
Карл Адам Петрі
Карл Адам Петрі (Carl Adam Petri; 12 липня 1926 — 2 липня 2010) — німецький математик та дослідник в галузі інформатики.
Переглянути Мережі Петрі і Карл Адам Петрі
Комп'ютерна термінологія
---- # А Б В Г Ґ Д Е Є Ж З І Ї Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ю Я ---- ---- А Б В Г Ґ Д Е Є Ж З І Ї Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ю Я ---- Категорія:Списки Категорія:Комп'ютер Категорія:технічна термінологія.
Переглянути Мережі Петрі і Комп'ютерна термінологія
Пі-числення
В теорії комп'ютерних наук, π-числення є численням процесів, розроблене Робіном Мілнером (Robin Milner), Ійохімом Перроу (Joachim Parrow) та Девідом Волкером (David Walker) як розширення та розвиток роботи над численням процесів CCS (Calculus of Communicating Systems).
Переглянути Мережі Петрі і Пі-числення
Паралельні обчислення
масово паралельний суперкомп'ютер IBM Blue Gene/P Паралельні обчислення — це форма обчислень, в яких кілька дій проводяться одночасно.
Переглянути Мережі Петрі і Паралельні обчислення
Петрі
Петрі (Petri, Petrie, Petry, Petrey, похідне від латинського імені Petrus) — прізвище, ім'я або топонім.
Переглянути Мережі Петрі і Петрі
Нагорода «Піонер комп'ютерної галузі»
Піонер комп'ютерної галузі (Computer Pioneer Award: досл. переклад «Комп'ютерний піонер», зустр. також «Піонер комп'ютерної техніки» та «Піонер інформаційних технологій») — нагорода, що була заснована в 1981 році радою керуючих Комп'ютерного товариства IEEE (одне з найбільших товариств IEEE) для визнання та вшанування очевидних заслуг людей, які здійснили значний внесок в створення та функціонування комп'ютерної індустрії.
Переглянути Мережі Петрі і Нагорода «Піонер комп'ютерної галузі»
Теорія алгоритмів
Теорія алгоритмів (Theory of computation) — окремий розділ математики, що вивчає загальні властивості алгоритмів.
Переглянути Мережі Петрі і Теорія алгоритмів
Формальні методи
Формальні методи (Formal methods) — у комп'ютерних науках, побудовані на математиці методи написання специфікацій, розробки та перевірки (verification) програмного забезпечення та комп'ютерного обладнання.
Переглянути Мережі Петрі і Формальні методи
Мова моделювання
Мова моделювання — це будь-яка штучна мова, котра може використовуватися для вираження інформації (даних) або знань чи систем у структурі, й яка визначається послідовним набором правил.
Переглянути Мережі Петрі і Мова моделювання
Моделювання у виробничих системах
Моделювання в виробничих системах - це використання програмного забезпечення для створення комп'ютерних моделей виробничих систем, для їх аналізу та отримання важливої інформації.
Переглянути Мережі Петрі і Моделювання у виробничих системах
Багатократна буферизація
Swap Chain з трьома буферами; початкове визначення потрійної буферизації викидатиме кадр C як тільки кадр D завершиться, і почне промальовувати кадр E у буфер 1 без затримки.
Переглянути Мережі Петрі і Багатократна буферизація
Взаємне блокування
200px Взає́мне блокува́ння (Deadlock) — ситуація, коли кожен із групи процесів очікує на подію, яку може викликати лише інший процес з цієї групи.
Переглянути Мережі Петрі і Взаємне блокування
Граф-схема алгоритму
Очікувальна вершина алгоритму Граф-схема алгоритму (ГСА) — кінцевий зв'язний орієнтований граф G.
Переглянути Мережі Петрі і Граф-схема алгоритму
Генна регуляторна мережа
Структура генної регуляторної мережі Керування генною регуляторною мережею Генна регуляторна мережа (ГРМ) — це набір молекулярних регуляторів що взаємодіють один з одним, а також з іншими речовинами в клітині та керують рівнем гена експресії матричної рибонуклеїнової кислоти (мРНК) та білків.
Переглянути Мережі Петрі і Генна регуляторна мережа
Дискретна математика
Дискре́тна матема́тика — галузь математики, що вивчає властивості будь-яких дискретних структур.
Переглянути Мережі Петрі і Дискретна математика