Search Results - Mamedov, T.A.
- Showing 1 - 4 results of 4
-
1
A method of tuning programs on .Net platform with rewriting rules by Mamedov, T.A., Doroshenko, А.Yu.
Published 2019Get full text
Article -
2
Static analysis of .NET programs using rewriting rules by Mamedov, T.A., Doroshenko, А.Yu., Shevchenko, R.S.
Published 2020Get full text
Article -
3
-
4
Parametrical method of low-frequency harmonics suppression in rectifier’s output voltage under supply voltage unbalances (Mathematical model, study and industrial application) by Ali Zada, P., Tuncay, N., Ozturk, B., Kivanc, C., Mamedov, H.A., Abdullaev, S.A.
Published in Математичне та комп'ютерне моделювання. Серія: Технічні науки (2016)Get full text
Article
Search Tools:
Related Subjects
: логіка
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
автотюнинг
автотюнінг
анализ ресурсопотребления
анализатор
аналіз ресурсоспоживання
вимірювання швидкодії
генератор термов
генератор термів
измерение быстродействия
клеточный автомат игра «Жизнь»
клітинний автомат гра життя