Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- formal model
- формальна модель 3
- UDC 004.414.23+004.416.6+004.4’414+004.4’418 1
- UDC 681.3 1
- diagnostics 1
- expert system 1
- hypoxia therapy 1
- inferential mechanism 1
- legacy systems 1
- medicine 1
- parallel computing 1
- parallel computing on graphics processing units 1
- production rules 1
- the Rete algorithm 1
- translation 1
- «comparison-operation» procedure 1
- УДК 004.414.23+004.416.6+004.4’414+004.4’418 1
- УДК 681.3 1
- алгоритм Rete 1
- гіпокситерапія 1
- діагностика 1
- експертна система 1
- медицина 1
- механізм виведення 1
- паралельні обчислення 1
- паралельні обчислення на графічних процесорах 1
- параллельные вычисления 1
- параллельные вычисления на графических процессорах 1
- продукційні правила 1
- процедура «співставлення – спрацювання» 1
-
1
-
2
-
3
Generation of multipurpose formal models from legacy code
Опубліковано 2023Отримати повний текст
Стаття