default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/pcs/pcs33.bht:"
download as .bib file
@article{DBLP:journals/pcs/AbramovBRE07,
author = {Sergei A. Abramov and
Alla A. Bogolubskaya and
Vitaly Rostovtsev and
Victor F. Edneral},
title = {The research seminar on computer algebra in 2005-2006},
journal = {Program. Comput. Softw.},
volume = {33},
number = {2},
pages = {55--59},
year = {2007},
url = {https://doi.org/10.1134/S0361768807020016},
doi = {10.1134/S0361768807020016},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/AbramovBRE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/AbramovP07,
author = {Sergei A. Abramov and
S. P. Polyakov},
title = {Improved universal denominators},
journal = {Program. Comput. Softw.},
volume = {33},
number = {3},
pages = {132--138},
year = {2007},
url = {https://doi.org/10.1134/S0361768807030024},
doi = {10.1134/S0361768807030024},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pcs/AbramovP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/BabichevL07,
author = {A. V. Babichev and
Valentin G. Lebedev},
title = {Model-100: Specification language for interacting processes},
journal = {Program. Comput. Softw.},
volume = {33},
number = {1},
pages = {2--13},
year = {2007},
url = {https://doi.org/10.1134/S0361768807010021},
doi = {10.1134/S0361768807010021},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/BabichevL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/BourdonovKK07,
author = {Igor B. Bourdonov and
Alexander S. Kossatchev and
Victor V. Kuliamin},
title = {Formalization of test experiments},
journal = {Program. Comput. Softw.},
volume = {33},
number = {5},
pages = {239--260},
year = {2007},
url = {https://doi.org/10.1134/S0361768807050015},
doi = {10.1134/S0361768807050015},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/BourdonovKK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/BozoyanY07,
author = {Sh. E. Bozoyan and
V. S. Yeghiazaryan},
title = {The Alex language for circuit description},
journal = {Program. Comput. Softw.},
volume = {33},
number = {4},
pages = {227--237},
year = {2007},
url = {https://doi.org/10.1134/S0361768807040056},
doi = {10.1134/S0361768807040056},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/BozoyanY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Demakov07,
author = {Alexey V. Demakov},
title = {Object-oriented description of graph data structures},
journal = {Program. Comput. Softw.},
volume = {33},
number = {5},
pages = {261--271},
year = {2007},
url = {https://doi.org/10.1134/S0361768807050027},
doi = {10.1134/S0361768807050027},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/Demakov07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Faizulkhakov07,
author = {Ya. R. Faizulkhakov},
title = {Time synchronization methods for wireless sensor networks: {A} survey},
journal = {Program. Comput. Softw.},
volume = {33},
number = {4},
pages = {214--226},
year = {2007},
url = {https://doi.org/10.1134/S0361768807040044},
doi = {10.1134/S0361768807040044},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/Faizulkhakov07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/GamayunovS07,
author = {D. Yu. Gamayunov and
R. L. Smelyanskii},
title = {A model of the behavior of network objects in distributed computer
systems},
journal = {Program. Comput. Softw.},
volume = {33},
number = {4},
pages = {195--203},
year = {2007},
url = {https://doi.org/10.1134/S0361768807040020},
doi = {10.1134/S0361768807040020},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/GamayunovS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/GerdtB07,
author = {Vladimir P. Gerdt and
Yuri A. Blinkov},
title = {On selection of nonmultiplicative prolongations in computation of
Janet bases},
journal = {Program. Comput. Softw.},
volume = {33},
number = {3},
pages = {147--153},
year = {2007},
url = {https://doi.org/10.1134/S0361768807030048},
doi = {10.1134/S0361768807030048},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/GerdtB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/GoginM07,
author = {N. D. Gogin and
A. A. Myll{\"{a}}ri},
title = {The Fibonacci-Padovan sequence and MacWilliams transform matrices},
journal = {Program. Comput. Softw.},
volume = {33},
number = {2},
pages = {74--79},
year = {2007},
url = {https://doi.org/10.1134/S0361768807020041},
doi = {10.1134/S0361768807020041},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/GoginM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/GrinevaG07,
author = {Maria P. Grineva and
Maxim N. Grinev},
title = {Query triggers for {XML} {DBMS:} Efficient implementation based on
shadow mechanism},
journal = {Program. Comput. Softw.},
volume = {33},
number = {4},
pages = {204--213},
year = {2007},
url = {https://doi.org/10.1134/S0361768807040032},
doi = {10.1134/S0361768807040032},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/GrinevaG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/GurovMNS07,
author = {V. S. Gurov and
M. A. Mazin and
A. S. Narvsky and
Anatoly A. Shalyto},
title = {Tools for support of automata-based programming},
journal = {Program. Comput. Softw.},
volume = {33},
number = {6},
pages = {343--355},
year = {2007},
url = {https://doi.org/10.1134/S0361768807060059},
doi = {10.1134/S0361768807060059},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/GurovMNS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/IvannikovKKKP07,
author = {V. P. Ivannikov and
Alexander S. Kamkin and
Alexander S. Kossatchev and
Victor V. Kuliamin and
Alexander K. Petrenko},
title = {The use of contract specifications for representing requirements and
for functional testing of hardware models},
journal = {Program. Comput. Softw.},
volume = {33},
number = {5},
pages = {272--282},
year = {2007},
url = {https://doi.org/10.1134/S0361768807050039},
doi = {10.1134/S0361768807050039},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/IvannikovKKKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Klepinin07,
author = {Alexander V. Klepinin},
title = {On a universal model for the organization of database access},
journal = {Program. Comput. Softw.},
volume = {33},
number = {1},
pages = {34--43},
year = {2007},
url = {https://doi.org/10.1134/S0361768807010057},
doi = {10.1134/S0361768807010057},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/Klepinin07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Kornyak07,
author = {Vladimir V. Kornyak},
title = {Symmetric cellular automata},
journal = {Program. Comput. Softw.},
volume = {33},
number = {2},
pages = {87--93},
year = {2007},
url = {https://doi.org/10.1134/S0361768807020065},
doi = {10.1134/S0361768807020065},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/Kornyak07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Kuliamin07,
author = {Victor V. Kuliamin},
title = {Standardization and testing of implementations of mathematical functions
in floating point numbers},
journal = {Program. Comput. Softw.},
volume = {33},
number = {3},
pages = {154--173},
year = {2007},
url = {https://doi.org/10.1134/S036176880703005X},
doi = {10.1134/S036176880703005X},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/Kuliamin07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Kuznetsov07,
author = {M. B. Kuznetsov},
title = {{UML} model transformation and its application to {MDA} technology},
journal = {Program. Comput. Softw.},
volume = {33},
number = {1},
pages = {44--53},
year = {2007},
url = {https://doi.org/10.1134/S0361768807010069},
doi = {10.1134/S0361768807010069},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/Kuznetsov07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/LisitsaN07,
author = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Verification as a parameterized testing (experiments with the {SCP4}
supercompiler)},
journal = {Program. Comput. Softw.},
volume = {33},
number = {1},
pages = {14--23},
year = {2007},
url = {https://doi.org/10.1134/S0361768807010033},
doi = {10.1134/S0361768807010033},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/LisitsaN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Novoseltsev07,
author = {V. B. Novoseltsev},
title = {Synthesis of parallel recursive programs in structural functional
models},
journal = {Program. Comput. Softw.},
volume = {33},
number = {5},
pages = {293--298},
year = {2007},
url = {https://doi.org/10.1134/S0361768807050052},
doi = {10.1134/S0361768807050052},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/Novoseltsev07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/PakulinK07,
author = {Nikolay V. Pakulin and
Alexey V. Khoroshilov},
title = {Development of formal models and conformance testing for systems with
asynchronous interfaces and telecommunications protocols},
journal = {Program. Comput. Softw.},
volume = {33},
number = {6},
pages = {316--335},
year = {2007},
url = {https://doi.org/10.1134/S0361768807060035},
doi = {10.1134/S0361768807060035},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/PakulinK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/PodlovchenkoR07,
author = {Rimma I. Podlovchenko and
Dmitry M. Rusakov},
title = {Inclusion problem in algebraic models of programs with constants},
journal = {Program. Comput. Softw.},
volume = {33},
number = {3},
pages = {121--131},
year = {2007},
url = {https://doi.org/10.1134/S0361768807030012},
doi = {10.1134/S0361768807030012},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/PodlovchenkoR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Prokopenya07,
author = {Alexander N. Prokopenya},
title = {Symbolic computation in studying stability of solutions of linear
differential equations with periodic coefficients},
journal = {Program. Comput. Softw.},
volume = {33},
number = {2},
pages = {60--66},
year = {2007},
url = {https://doi.org/10.1134/S0361768807020028},
doi = {10.1134/S0361768807020028},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/Prokopenya07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Rusakov07,
author = {Dmitry M. Rusakov},
title = {Scheme inclusion verification algorithm in algebraic model of programs
with constants},
journal = {Program. Comput. Softw.},
volume = {33},
number = {6},
pages = {299--306},
year = {2007},
url = {https://doi.org/10.1134/S0361768807060011},
doi = {10.1134/S0361768807060011},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/Rusakov07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/SemenovZ07,
author = {A. S. Semenov and
P. A. Zyuzikov},
title = {Involutive divisions and monomial orderings},
journal = {Program. Comput. Softw.},
volume = {33},
number = {3},
pages = {139--146},
year = {2007},
url = {https://doi.org/10.1134/S0361768807030036},
doi = {10.1134/S0361768807030036},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/SemenovZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Serdyukova07,
author = {S. I. Serdyukova},
title = {Inverse problem for the two-dimensional discrete Schr{\"{o}}dinger
equation in a square},
journal = {Program. Comput. Softw.},
volume = {33},
number = {2},
pages = {117--119},
year = {2007},
url = {https://doi.org/10.1134/S0361768807020090},
doi = {10.1134/S0361768807020090},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/Serdyukova07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/ShemyakovaW07,
author = {E. S. Shemyakova and
F. Wincler},
title = {Obstacles to factorization of partial differential operators into
several factors},
journal = {Program. Comput. Softw.},
volume = {33},
number = {2},
pages = {67--73},
year = {2007},
url = {https://doi.org/10.1134/S036176880702003X},
doi = {10.1134/S036176880702003X},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/ShemyakovaW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/ShopyrinS07,
author = {D. G. Shopyrin and
Anatoly A. Shalyto},
title = {Graphical inheritance notation for state-based classes},
journal = {Program. Comput. Softw.},
volume = {33},
number = {5},
pages = {283--292},
year = {2007},
url = {https://doi.org/10.1134/S0361768807050040},
doi = {10.1134/S0361768807050040},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/ShopyrinS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/TaranukhaI07,
author = {N. A. Taranukha and
Z. A. Izabekov},
title = {A method for voxel visualization of 3D objects},
journal = {Program. Comput. Softw.},
volume = {33},
number = {6},
pages = {336--342},
year = {2007},
url = {https://doi.org/10.1134/S0361768807060047},
doi = {10.1134/S0361768807060047},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/TaranukhaI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/TerekhovS07,
author = {Andrey N. Terekhov and
V. V. Sokolov},
title = {Implementation of the conformation of {MSC} and {SDL} diagrams in
the {REAL} technology},
journal = {Program. Comput. Softw.},
volume = {33},
number = {1},
pages = {24--33},
year = {2007},
url = {https://doi.org/10.1134/S0361768807010045},
doi = {10.1134/S0361768807010045},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/TerekhovS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/VaseninV07,
author = {V. A. Vasenin and
Alexander Vodomerov},
title = {A formal model of a system for automated program parallelization},
journal = {Program. Comput. Softw.},
volume = {33},
number = {4},
pages = {181--194},
year = {2007},
url = {https://doi.org/10.1134/S0361768807040019},
doi = {10.1134/S0361768807040019},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/VaseninV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/VinitskyGGKRSTC07,
author = {Sergey I. Vinitsky and
Vladimir P. Gerdt and
A. A. Gusev and
Michail S. Kaschiev and
Vitaly Rostovtsev and
V. N. Samoilov and
T. V. Tupikova and
Ochbadrakh Chuluunbaatar},
title = {A symbolic-numerical algorithm for the computation of matrix elements
in the parametric eigenvalue problem},
journal = {Program. Comput. Softw.},
volume = {33},
number = {2},
pages = {105--116},
year = {2007},
url = {https://doi.org/10.1134/S0361768807020089},
doi = {10.1134/S0361768807020089},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pcs/VinitskyGGKRSTC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Virbitskaite07,
author = {Irina B. Virbitskaite},
title = {Sixth International Conference "Perspectives of System Informatics"},
journal = {Program. Comput. Softw.},
volume = {33},
number = {3},
pages = {174--179},
year = {2007},
url = {https://doi.org/10.1134/S0361768807030061},
doi = {10.1134/S0361768807030061},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/Virbitskaite07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/VyukovaGS07,
author = {N. I. V'yukova and
V. A. Galatenko and
S. V. Samborskii},
title = {Software pipelining of loops by the method of modulo scheduling},
journal = {Program. Comput. Softw.},
volume = {33},
number = {6},
pages = {307--315},
year = {2007},
url = {https://doi.org/10.1134/S0361768807060023},
doi = {10.1134/S0361768807060023},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/VyukovaGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/X07,
title = {On the jubilee of Lev Nikolaevich Korolev's birth},
journal = {Program. Comput. Softw.},
volume = {33},
number = {1},
pages = {1},
year = {2007},
url = {https://doi.org/10.1134/S036176880701001X},
doi = {10.1134/S036176880701001X},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/X07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/ZimaS07,
author = {Eugene V. Zima and
A. M. Stewart},
title = {Cunningham numbers in modular arithmetic},
journal = {Program. Comput. Softw.},
volume = {33},
number = {2},
pages = {80--86},
year = {2007},
url = {https://doi.org/10.1134/S0361768807020053},
doi = {10.1134/S0361768807020053},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/ZimaS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/ZorinST07,
author = {Alexander V. Zorin and
Leonid A. Sevastianov and
N. P. Tretyakov},
title = {Computer modeling of hydrogen-like atoms in quantum mechanics with
nonnegative distribution function},
journal = {Program. Comput. Softw.},
volume = {33},
number = {2},
pages = {94--104},
year = {2007},
url = {https://doi.org/10.1134/S0361768807020077},
doi = {10.1134/S0361768807020077},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/ZorinST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-01-01 19:47 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
