External Links

    Journal: Programming and Computer Software

    Volume 36, Issue 4

    187 -- 196Vladimir A. Bashkin. Formalization of semantics of systems with unreliable agents by means of nets of active resources
    197 -- 204I. A. Bessmertny. Knowledge visualization based on semantic networks
    205 -- 215Andrey V. Lepikhov, Leonid B. Sokolinsky. Query processing in a DBMS for cluster systems
    216 -- 224Maxim Gromov, Nina Yevtushenko. Synthesis of distinguishing test cases for timed finite state machines
    225 -- 236I. K. Isaev, D. V. Sidorov. The use of dynamic analysis for generation of input data that demonstrates critical bugs and vulnerabilities in programs
    237 -- 246A. G. Voloboi, V. A. Galaktionov, N. A. Lobalzo. Simulation and rendering algorithms for optically complex materials by the example of fabric
    runs on