:facetid:toc:\"db/journals/pcs/pcs42.bht\"OK:facetid:toc:db/journals/pcs/pcs42.bhtSergei A. AbramovAnna A. RyabenkoDenis E. KhmelnovProcedures for searching local solutions of linear differential systems with infinite power series in the role of coefficients.Program. Comput. Softw.42255-642016Journal Articlesclosedjournals/pcs/AbramovRK1610.1134/S036176881602002Xhttps://doi.org/10.1134/S036176881602002Xhttps://dblp.org/rec/journals/pcs/AbramovRK16URL#3159719S. S. AdjemovNikolay V. KlenovM. V. TereshonokD. S. ChirovThe use of artificial neural networks for classification of signal sources in cognitive radio systems.Program. Comput. Softw.423121-1282016Journal Articlesclosedjournals/pcs/AdjemovKTC1610.1134/S0361768816030026https://doi.org/10.1134/S0361768816030026https://dblp.org/rec/journals/pcs/AdjemovKTC16URL#3159720Alexander B. BatkhinParameterization of the discriminant set of a polynomial.Program. Comput. Softw.42265-762016Journal Articlesclosedjournals/pcs/Batkhin1610.1134/S0361768816020031https://doi.org/10.1134/S0361768816020031https://dblp.org/rec/journals/pcs/Batkhin16URL#3159721A. A. BelevantsevE. A. VeselevichV. P. IvannikovAnalysis of entities in C and C++ programs and relations between them for program understanding.Program. Comput. Softw.42149-532016Journal Articlesclosedjournals/pcs/BelevantsevVI1610.1134/S0361768816010023https://doi.org/10.1134/S0361768816010023https://dblp.org/rec/journals/pcs/BelevantsevVI16URL#3159722O. A. ChetverinaAlternatives of profile-guided code optimizations for one-stage compilation.Program. Comput. Softw.42134-402016Journal Articlesclosedjournals/pcs/Chetverina1610.1134/S0361768816010035https://doi.org/10.1134/S0361768816010035https://dblp.org/rec/journals/pcs/Chetverina16URL#3159723Petr N. DevyaninVictor V. KulyaminAlexander K. PetrenkoAlexey V. KhoroshilovIlya V. ShchepetkovComparison of specification decomposition methods in Event-B.Program. Comput. Softw.424198-2052016Journal Articlesclosedjournals/pcs/DevyaninKPKS1610.1134/S0361768816040022https://doi.org/10.1134/S0361768816040022https://dblp.org/rec/journals/pcs/DevyaninKPKS16URL#3159724Leonid W. DworzanskiIrina A. LomazovaAutomatic construction of systems of distributed components from nested Petri nets models.Program. Comput. Softw.425292-3062016Journal Articlesclosedjournals/pcs/DworzanskiL1610.1134/S0361768816050029https://doi.org/10.1134/S0361768816050029https://dblp.org/rec/journals/pcs/DworzanskiL16URL#3159725Vasily Yu. EfimovK. A. BatuzovVartan A. PadaryanArutyun AvetisyanFeatures of the deterministic replay in the case of a minimum device set.Program. Comput. Softw.423174-1862016Journal Articlesclosedjournals/pcs/EfimovBPA1610.1134/S0361768816030038https://doi.org/10.1134/S0361768816030038https://dblp.org/rec/journals/pcs/EfimovBPA16URL#3159726Vladimir A. FrolovVladimir A. GalaktionovLow overhead path regeneration.Program. Comput. Softw.426382-3872016Journal Articlesclosedjournals/pcs/FrolovG1610.1134/S0361768816060025https://doi.org/10.1134/S0361768816060025https://dblp.org/rec/journals/pcs/FrolovG16URL#3159727Natalya Olegovna GaraninaElena A. SidorovaIgor S. AnureevConflict resolution in multi-agent systems with typed relations for ontology population.Program. Comput. Softw.424206-2152016Journal Articlesclosedjournals/pcs/GaraninaSA1610.1134/S0361768816040034https://doi.org/10.1134/S0361768816040034https://dblp.org/rec/journals/pcs/GaraninaSA16URL#3159728A. I. GetmanV. P. IvannikovYu. V. MarkinVartan A. PadaryanA. Yu. TikhonovData representation model for in-depth analysis of network traffic.Program. Comput. Softw.425316-3232016Journal Articlesclosedjournals/pcs/GetmanIMPT1610.1134/S0361768816050030https://doi.org/10.1134/S0361768816050030https://dblp.org/rec/journals/pcs/GetmanIMPT16URL#3159729Valeri P. Il'inI. N. SkopinAbout performance and intellectuality of supercomputer modeling.Program. Comput. Softw.4215-162016Journal Articlesclosedjournals/pcs/IlinS1610.1134/S0361768816010047https://doi.org/10.1134/S0361768816010047https://dblp.org/rec/journals/pcs/IlinS16URL#3159730V. P. KozyrevEstimation of the execution time in real-time systems.Program. Comput. Softw.42141-482016Journal Articlesclosedjournals/pcs/Kozyrev1610.1134/S0361768816010059https://doi.org/10.1134/S0361768816010059https://dblp.org/rec/journals/pcs/Kozyrev16URL#3159731Alexander P. KryukovAndrey P. DemichevStanislav P. PolyakovWeb platforms for scientific research.Program. Comput. Softw.423129-1412016Journal Articlesclosedjournals/pcs/KryukovDP1610.1134/S036176881603004Xhttps://doi.org/10.1134/S036176881603004Xhttps://dblp.org/rec/journals/pcs/KryukovDP16URL#3159732Dmitry S. KulyabovUsing two types of computer algebra systems to solve maxwell optics problems.Program. Comput. Softw.42277-832016Journal Articlesclosedjournals/pcs/Kulyabov1610.1134/S0361768816020043https://doi.org/10.1134/S0361768816020043https://dblp.org/rec/journals/pcs/Kulyabov16URL#3159733Alexey A. KytmanovAlexey V. ShchuplevTatyana V. ZykovaAlgorithm for construction of volume forms on toric varieties starting from a convex integer polytope.Program. Comput. Softw.42299-1062016Journal Articlesclosedjournals/pcs/KytmanovSZ1610.1134/S0361768816020055https://doi.org/10.1134/S0361768816020055https://dblp.org/rec/journals/pcs/KytmanovSZ16URL#3159734P. A. LebedevEvaluation of expression templates in C++14.Program. Comput. Softw.423142-1542016Journal Articlesclosedjournals/pcs/Lebedev1610.1134/S0361768816030051https://doi.org/10.1134/S0361768816030051https://dblp.org/rec/journals/pcs/Lebedev16URL#3159735Dmitry V. LucivDmitrij V. KoznovHamid Abdul BasitAndrey N. TerekhovOn fuzzy repetitions detection in documentation reuse.Program. Comput. Softw.424216-2242016Journal Articlesclosedjournals/pcs/LucivKBT1610.1134/S0361768816040046https://doi.org/10.1134/S0361768816040046https://dblp.org/rec/journals/pcs/LucivKBT16URL#3159736Mikhail U. MandrykinAlexey V. KhoroshilovRegion analysis for deductive verification of C programs.Program. Comput. Softw.425257-2782016Journal Articlesclosedjournals/pcs/MandrykinK1610.1134/S0361768816050042https://doi.org/10.1134/S0361768816050042https://dblp.org/rec/journals/pcs/MandrykinK16URL#3159737Mikhail U. MandrykinAlexey V. KhoroshilovTowards deductive verification of C programs with shared data.Program. Comput. Softw.425324-3322016Journal Articlesclosedjournals/pcs/MandrykinK16a10.1134/S0361768816050054https://doi.org/10.1134/S0361768816050054https://dblp.org/rec/journals/pcs/MandrykinK16aURL#3159738Vitaly O. MordanVadim S. MutilinChecking several requirements at once by CEGAR.Program. Comput. Softw.424225-2382016Journal Articlesclosedjournals/pcs/MordanM1610.1134/S0361768816040058https://doi.org/10.1134/S0361768816040058https://dblp.org/rec/journals/pcs/MordanM16URL#3159739Vasiliy OsipovAutomatic synthesis of action programs for intelligent robots.Program. Comput. Softw.423155-1602016Journal Articlesclosedjournals/pcs/Osipov1610.1134/S0361768816030063https://doi.org/10.1134/S0361768816030063https://dblp.org/rec/journals/pcs/Osipov16URL#3159740A. A. PanferovPartitions of the set of selected unknowns in linear differential-algebraic systems.Program. Comput. Softw.42284-892016Journal Articlesclosedjournals/pcs/Panferov1610.1134/S0361768816020067https://doi.org/10.1134/S0361768816020067https://dblp.org/rec/journals/pcs/Panferov16URL#3159741Serge V. ParamonovOn checking existence of infinitely differentiable solutions of partial differential equations with boundary conditions.Program. Comput. Softw.422107-1112016Journal Articlesclosedjournals/pcs/Paramonov1610.1134/S0361768816020079https://doi.org/10.1134/S0361768816020079https://dblp.org/rec/journals/pcs/Paramonov16URL#3159742M. V. PestunVladimir A. GalaktionovAlgorithms for the construction and recognition of navigational route descriptions for cartographic computer systems.Program. Comput. Softw.426341-3462016Journal Articlesclosedjournals/pcs/PestunG1610.1134/S0361768816060037https://doi.org/10.1134/S0361768816060037https://dblp.org/rec/journals/pcs/PestunG16URL#3159743Rimma I. PodlovchenkoStudies in the theory of algebraic models of programs with procedures.Program. Comput. Softw.4211-42016Journal Articlesclosedjournals/pcs/Podlovchenko1610.1134/S0361768816010060https://doi.org/10.1134/S0361768816010060https://dblp.org/rec/journals/pcs/Podlovchenko16URL#3159744Alexander N. ProkopenyaApproximation of a quantum algorithm for order finding.Program. Comput. Softw.42290-982016Journal Articlesclosedjournals/pcs/Prokopenya1610.1134/S0361768816020080https://doi.org/10.1134/S0361768816020080https://dblp.org/rec/journals/pcs/Prokopenya16URL#3159745K. V. RyabininS. I. ChuprinaA unified approach to adapt scientific visualization systems to third-party solvers.Program. Comput. Softw.426347-3552016Journal Articlesclosedjournals/pcs/RyabininC1610.1134/S0361768816060049https://doi.org/10.1134/S0361768816060049https://dblp.org/rec/journals/pcs/RyabininC16URL#3159746Sevak SargsyanShamil F. KurmangaleevA. A. BelevantsevArutyun AvetisyanScalable and accurate detection of code clones.Program. Comput. Softw.42127-332016Journal Articlesclosedjournals/pcs/SargsyanKBA1610.1134/S0361768816010072https://doi.org/10.1134/S0361768816010072https://dblp.org/rec/journals/pcs/SargsyanKBA16URL#3159747Olga V. SenyukovaA. Yu. ZubovFull anatomical labeling of magnetic resonance images of human brain by registration with multiple atlases.Program. Comput. Softw.426356-3602016Journal Articlesclosedjournals/pcs/SenyukovaZ1610.1134/S0361768816060050https://doi.org/10.1134/S0361768816060050https://dblp.org/rec/journals/pcs/SenyukovaZ16URL#3159748