Suchergebnisse - Mamedov, T.A.
- Treffer 1 - 4 von 4
-
1
A method of tuning programs on .Net platform with rewriting rules von Mamedov, T.A., Doroshenko, А.Yu.
Veröffentlicht 2019Volltext
Artikel -
2
Static analysis of .NET programs using rewriting rules von Mamedov, T.A., Doroshenko, А.Yu., Shevchenko, R.S.
Veröffentlicht 2020Volltext
Artikel -
3
Propositional logics of partial predicates with composition of predicate complement von Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.
Veröffentlicht 2019Volltext
Artikel -
4
Parametrical method of low-frequency harmonics suppression in rectifier’s output voltage under supply voltage unbalances (Mathematical model, study and industrial application) von Ali Zada, P., Tuncay, N., Ozturk, B., Kivanc, C., Mamedov, H.A., Abdullaev, S.A.
Veröffentlicht in Математичне та комп'ютерне моделювання. Серія: Технічні науки (2016)Volltext
Artikel
Suchwerkzeuge:
Ähnliche Schlagworte
: логіка
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
автотюнинг
автотюнінг
анализ ресурсопотребления
анализатор
аналіз ресурсоспоживання
вимірювання швидкодії
генератор термов
генератор термів
измерение быстродействия
клеточный автомат игра «Жизнь»
клітинний автомат гра життя