Search Results - "Trudy Instituta sistemnogo programmirovaniâ" :: K.UTB vyhledávací portál

Loading…

Computing Transition Priorities for Live Petri Nets

by Serebrennikov, K.G.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.10.2019)

Get full text

Journal Article

Loading…

Self-transformation of trees with a bounded degree of vertices to minimize or maximize the Wiener index

by Burdonov, I.B.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.10.2019)

Get full text

Journal Article

Loading…

Application of Fuzzy DEMATEL approach in analyzing mobile application issues

by Pandey, M., Litoriya, R., Pandey, P.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.10.2019)

Get full text

Journal Article

Loading…

Designing classes’ interfaces for neural network graph model

by Karpov, Yu.L., Volkova, I.A., Vylitok, A.A., Karpov, L.E., Smetanin, Yu.G.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.10.2019)

Get full text

Journal Article

Loading…

Test environment for verification of multi-processor memory subsystem unit

by Lebedev, D.A., Petrochenkov, M.V.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.09.2019)

Get full text

Journal Article

Loading…

C# parser for extracting cryptographic protocols structure from source code

by Pisarev, I.A., Babenko, L.K.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.09.2019)

Get full text

Journal Article

Loading…

An Exploration of Approaches to Instruction Pipeline Implementation for Cycle-Accurate Simulators of «Elbrus»

by Poroshin, P.A., Meshkov, A.N.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.09.2019)

Get full text

Journal Article

Loading…

Tolerant parsing using modified LR(1) and LL(1) algorithms with embedded “Any” symbol

by Goloveshkin, A.V.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.09.2019)

Get full text

Journal Article

Loading…

Vulnerabilities Detection via Static Taint Analysis

by Shimchik, N.V., Ignatyev, V.N.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.09.2019)

Get full text

Journal Article

Loading…

Constructive heuristics for Capacitated Vehicle Routing Problem: a comparative study

by Avdoshin, S.M., Beresneva, E.N.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.09.2019)

Get full text

Journal Article

Loading…

«Life» in Tensor: Implementing Cellular Automata on Graphics Adapters

by Shalyapina, N.A., Gromov, M.L.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.09.2019)

Get full text

Journal Article

Loading…

SQLite RDBMS Extension for Data Indexing Using B-tree Modifications

by Rigin, A.M., Shershakov, S.A.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.09.2019)

Get full text

Journal Article

Loading…

Extracting Assertions for Conflicts in HDL Descriptions

by Kamkin, A.S., Lebedev, M.S., Smolov, S.A.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.09.2019)

Get full text

Journal Article

Loading…

Approach to test program development for multilevel verification

by Frolov, P.V.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.09.2019)

Get full text

Journal Article

Loading…

Digital Modelling of Production Engineering for Metalworking Machine Shops

by Kotlyarov, V.P., Maslakov, A.P., Tolstoles, A.A.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.09.2019)

Get full text

Journal Article

Loading…

Overview of the Languages for Safe Smart Contract Programming

by Tyurin, A.V., Tyuluandin, I.V., Maltsev, V.S., Kirilenko, I.A., Berezun, D.A.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.09.2019)

Get full text

Journal Article

Loading…

Modeling Nonlinear Stabilization System on Clusters with Intel Xeon Phi Coprocessors

by Melnichuk, D.V.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.09.2019)

Get full text

Journal Article

Loading…

Standalone verification of IOMMU with virtualization supporting

by Petrykin, A.A., Stotland, I.A., Meshkov, A.N.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.09.2019)

Get full text

Journal Article

Loading…

Reputation Systems in E-commerce: Comparative Analysis and Perspectives to Model Uncertainty Inherent in Them

by Nosovskiy, M.M., Degtiarev, K.Y.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.09.2019)

Get full text

Journal Article

Loading…

Graphic DSL for Mobile Development

by Gudiev, A.V., Grazhevskaya, A.S.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.09.2019)

Get full text

Journal Article

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database