A method of tuning programs on .Net platform with rewriting rules
Saved in:
| Date: | 2019 |
|---|---|
| Main Authors: | T. A. Mamedov, Yu. Doroshenko |
| Format: | Article |
| Language: | English |
| Published: |
2019
|
| Series: | Problems in programming |
| Online Access: | http://jnas.nbuv.gov.ua/article/UJRN-0001000723 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Institution
Library portal of National Academy of Sciences of Ukraine | LibNASSimilar Items
A method of tuning programs on .Net platform with rewriting rules
by: Mamedov, T.A., et al.
Published: (2019)
by: Mamedov, T.A., et al.
Published: (2019)
Static analysis of .NET programs using rewriting rules
by: H. A. Mamedov, et al.
Published: (2020)
by: H. A. Mamedov, et al.
Published: (2020)
Static analysis of .NET programs using rewriting rules
by: Mamedov, T.A., et al.
Published: (2020)
by: Mamedov, T.A., et al.
Published: (2020)
Automated design of programs for .NET platform using Task Parallel Library
by: Yu. Doroshenko, et al.
Published: (2020)
by: Yu. Doroshenko, et al.
Published: (2020)
Automated design of programs for .NET platform using Task Parallel Library
by: Doroshenko, А.Yu., et al.
Published: (2020)
by: Doroshenko, А.Yu., et al.
Published: (2020)
Bregman extragradient method with monotone rule of step size tuning
by: S. V. Denisov, et al.
Published: (2019)
by: S. V. Denisov, et al.
Published: (2019)
Validation of correctness of autotuning code transformations with rewriting rules technique
by: P. A. Ivanenko
Published: (2020)
by: P. A. Ivanenko
Published: (2020)
Improving performance of Python code using rewriting rules technique
by: K. A. Zhereb
Published: (2020)
by: K. A. Zhereb
Published: (2020)
Validation of correctness of autotuning code transformations with rewriting rules technique
by: Ivanenko, P.A.
Published: (2020)
by: Ivanenko, P.A.
Published: (2020)
Improving performance of Python code using rewriting rules technique
by: Zhereb, K.A.
Published: (2020)
by: Zhereb, K.A.
Published: (2020)
Optimization of auto-tuning of programs using neural networks
by: Doroshenko, А.Yu., et al.
Published: (2018)
by: Doroshenko, А.Yu., et al.
Published: (2018)
Rewrite and rewriting as a kind of plagiarism
by: O. Ryzhko
Published: (2015)
by: O. Ryzhko
Published: (2015)
-calculus as a realistic formalization of a class of rewriting systems
by: Shevchenko, R.S., et al.
Published: (2025)
by: Shevchenko, R.S., et al.
Published: (2025)
The applying of PARSS.NET system with Docker containers and Google Cloud Platform for distributed cloud computing
by: A. V. Anisimov, et al.
Published: (2018)
by: A. V. Anisimov, et al.
Published: (2018)
The Non-Deterministic Strategy of Rewriting
by: A. A. Letichevsky, et al.
Published: (2013)
by: A. A. Letichevsky, et al.
Published: (2013)
The Non-Deterministic Strategy of Rewriting
by: Letichevsky, A.A., et al.
Published: (2013)
by: Letichevsky, A.A., et al.
Published: (2013)
Musical Tune and the Tune in the Theory of Philology
by: V. Ljubetskaja
Published: (2014)
by: V. Ljubetskaja
Published: (2014)
Approach to interconnection support between Java and MS.NET programming environments
by: Ostrovskii, A.V.
Published: (2025)
by: Ostrovskii, A.V.
Published: (2025)
Cem evi – rewriting tradition
by: M. Godzińska
Published: (2014)
by: M. Godzińska
Published: (2014)
TermWare-3 – term rewriting system, based on context-term calculus
by: R. S. Shevchenko, et al.
Published: (2019)
by: R. S. Shevchenko, et al.
Published: (2019)
TermWare3 – term rewriting system, based on context-term calculus
by: Shevchenko, R.S., et al.
Published: (2019)
by: Shevchenko, R.S., et al.
Published: (2019)
Simple non-deterministic rewriting in verification
by: Letichevsky, A., et al.
Published: (2010)
by: Letichevsky, A., et al.
Published: (2010)
Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
by: Yu. Doroshenko, et al.
Published: (2020)
by: Yu. Doroshenko, et al.
Published: (2020)
Ontological and algebra-algorithmic tools for automated design of parallel programs for cloud platforms
by: A. E. Doroshenko, et al.
Published: (2017)
by: A. E. Doroshenko, et al.
Published: (2017)
Context term calculus for rewriting systems
by: P. C. Shevchenko
Published: (2018)
by: P. C. Shevchenko
Published: (2018)
Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
by: Doroshenko, А.Yu., et al.
Published: (2020)
by: Doroshenko, А.Yu., et al.
Published: (2020)
Context term calculus for rewriting systems
by: Shevchenko, R.S.
Published: (2018)
by: Shevchenko, R.S.
Published: (2018)
The scenario analysis platform as a methodological base of the nathional foresight program of Ukraine
by: Zgurovsky, M.Z.
Published: (2003)
by: Zgurovsky, M.Z.
Published: (2003)
From Translation to Rewriting at Marguerite Yourcenar for a Poetic Palimpsest of Creation
by: H. Abdelouahed
Published: (2021)
by: H. Abdelouahed
Published: (2021)
The use of the petri net method in the simulation modeling of mitochondrial swelling
by: Yu. V. Danylovych, et al.
Published: (2016)
by: Yu. V. Danylovych, et al.
Published: (2016)
Parallel software auto-tuning using statistical modeling and machine learning
by: Yu. Doroshenko, et al.
Published: (2018)
by: Yu. Doroshenko, et al.
Published: (2018)
Parallel software auto-tuning using statistical modeling and machine learning
by: Doroshenko, А.Yu., et al.
Published: (2018)
by: Doroshenko, А.Yu., et al.
Published: (2018)
Monte Carlo and molecular dynamics studies for the colour rewritable films
by: Okajima, H., et al.
Published: (2001)
by: Okajima, H., et al.
Published: (2001)
Relaxation tunings of monatomic layers on the surface
by: A. S. Dolgov, et al.
Published: (2009)
by: A. S. Dolgov, et al.
Published: (2009)
Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens
by: D. K. Glomozda, et al.
Published: (2018)
by: D. K. Glomozda, et al.
Published: (2018)
CALCULATION OF COMPENSATING SUSCEPTANCE FOR A THREE-WIRE NET
by: Sirotin, Iu. A.
Published: (2014)
by: Sirotin, Iu. A.
Published: (2014)
Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
by: Yatsenko, O.A.
Published: (2025)
by: Yatsenko, O.A.
Published: (2025)
Net Flow of Budgetary Means: Evaluation Methods and Socio-Economic Importance
by: V. V. Konovchenko
Published: (2020)
by: V. V. Konovchenko
Published: (2020)
The Method Of Detection Of Bot-Net On Based Distributed And Self-Organization Systems
by: O. S. Savenko
Published: (2018)
by: O. S. Savenko
Published: (2018)
Sound culture of speech of the journalists for children's programs: TV platform of Ternopil
by: O. Kushnir
Published: (2018)
by: O. Kushnir
Published: (2018)
Similar Items
-
A method of tuning programs on .Net platform with rewriting rules
by: Mamedov, T.A., et al.
Published: (2019) -
Static analysis of .NET programs using rewriting rules
by: H. A. Mamedov, et al.
Published: (2020) -
Static analysis of .NET programs using rewriting rules
by: Mamedov, T.A., et al.
Published: (2020) -
Automated design of programs for .NET platform using Task Parallel Library
by: Yu. Doroshenko, et al.
Published: (2020) -
Automated design of programs for .NET platform using Task Parallel Library
by: Doroshenko, А.Yu., et al.
Published: (2020)