Результати пошуку - Mamedov, T.A.
- Показ 1 - 4 результатів із 4
-
1
A method of tuning programs on .Net platform with rewriting rules за авторством Mamedov, T.A., Doroshenko, А.Yu.
Опубліковано 2019Отримати повний текст
Стаття -
2
Static analysis of .NET programs using rewriting rules за авторством Mamedov, T.A., Doroshenko, А.Yu., Shevchenko, R.S.
Опубліковано 2020Отримати повний текст
Стаття -
3
Propositional logics of partial predicates with composition of predicate complement за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.
Опубліковано 2019Отримати повний текст
Стаття -
4
Parametrical method of low-frequency harmonics suppression in rectifier’s output voltage under supply voltage unbalances (Mathematical model, study and industrial application) за авторством Ali Zada, P., Tuncay, N., Ozturk, B., Kivanc, C., Mamedov, H.A., Abdullaev, S.A.
Опубліковано в: Математичне та комп'ютерне моделювання. Серія: Технічні науки (2016)Отримати повний текст
Стаття
Інструменти для пошуку:
Пов'язані теми
: логіка
TermWare
UDC 004.4'24
UDC 004.42:510.69
UDC 004.4’24
analysis of resource consumption
analyzer
autotuning
cellular automaton «Conway's Game of Life»
logic
logical consequence
partial predicate
rewriting rules
sequent сalculus
speed measurement
terms generator
УДК 004.4'24
УДК 004.42:510.69
УДК 004.4’24
автотюнинг
автотюнінг
анализ ресурсопотребления
анализатор
аналіз ресурсоспоживання
вимірювання швидкодії
генератор термов
генератор термів
измерение быстродействия
клеточный автомат игра «Жизнь»
клітинний автомат гра життя