Результати пошуку - "formal methods"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- 9
- УДК 004.4'24 8
- UDC 004.4'24 7
- алгебра алгоритмов 4
- алгебра алгоритмів 4
- UDC 519.85 3
- algebraic matching 3
- algorithm algebra 3
- automated software design 3
- behavior algebra 3
- meteorological forecasting 3
- software synthesis 3
- УДК 519.85 3
- Формальні методи програмування 3
- автоматизированное проектирование программ 3
- автоматизоване проектування програм 3
- метеорологическое прогнозирование 3
- метеорологічне прогнозування 3
- паралельні обчислення 3
- параллельные вычисления 3
- синтез програм 3
- синтез программ 3
- Software Model Transformation 2
- UDC 004.415.2.045 (076.5) 2
- UDC 51.681.3 2
- algebraic modeling 2
- artificial intelligence 2
- formal methods 2
- insertion modeling 2
- machine learning 2
-
41
Development and substantiation of algorithms based on semantic properties
Опубліковано 2025Отримати повний текст
Стаття -
42
-
43
To the issue of optimizing cloud computing based on their cost
Опубліковано 2021Отримати повний текст
Стаття -
44
Parallel software auto-tuning using statistical modeling and machine learning
Опубліковано 2018Отримати повний текст
Стаття -
45
Automated design of OpenCL programs based on algebra-algorithmic approach
Опубліковано 2019Отримати повний текст
Стаття -
46
-
47
Алгебраїчні шаблони вразливостей бінарного коду
Опубліковано в: Проблеми програмування (2020)Отримати повний текст
Стаття -
48
-
49
-
50
Formal and adaptive methods and software tools of parallel programming
Опубліковано 2018Отримати повний текст
Стаття -
51
Verification of programs: status, problems and experimental results. I
Опубліковано 2025Отримати повний текст
Стаття -
52
-
53
Improving performance of Python code using rewriting rules technique
Опубліковано 2020Отримати повний текст
Стаття -
54
A simple parsimony-based approach to assess ancestor-descendant relationships
Опубліковано в: Український ботанічний журнал (2017)Отримати повний текст
Стаття -
55
DS-theory as a prototype of the theory of applied algorithms
Опубліковано 2018Отримати повний текст
Стаття -
56
-
57
-
58
Сучасні концепції формалізації фінансової стратегії банку
Опубліковано в: Схід (2010)Отримати повний текст
Стаття -
59
-
60
Математичні моделі рухомих об’єктів
Опубліковано в: Реєстрація, зберігання і обробка даних (2012)Отримати повний текст
Стаття