Static Local Resource Checker for C functions
Published: 20.11.2013
Authors: Mednikov A.V., Krishchenko V.A.
Published in issue: #6(18)/2013
DOI: 10.18698/2308-6033-2013-6-1098
Category: Information technology
All articles by "Krishchenko V.A."
Program slicing for dynamic languages
Published: 15.10.2013
Authors: Kryuchkov A.O., Krishchenko V.A.
Published in issue: #6(18)/2013
DOI: 10.18698/2308-6033-2013-6-777
Category: Information technology
Detection of puffins on mutexes in multithreaded applications
Published: 15.10.2013
Authors: Belous V.S., Krishchenko V.A., Ryazanova N.Yu.
Published in issue: #6(18)/2013
DOI: 10.18698/2308-6033-2013-6-771
Category: Information technology
Input-output Checker for Non-blocking POSIX Sockets
Published: 02.04.2013
Authors: Kazakov V.V., Krishchenko V.A.
Published in issue: #2(14)/2013
DOI: 10.18698/2308-6033-2013-2-550
Category: Information technology
LLVM-based Dynamic Race Condition Detection
Published: 02.04.2013
Authors: Kovega D.N., Krishchenko V.A.
Published in issue: #2(14)/2013
DOI: 10.18698/2308-6033-2013-2-549
Category: Information technology
Study of the Retention Timer in Dynamical Routing Based on the Bellman–Ford Algorithm
Published: 10.10.2012
Authors: Krishchenko V.A.
Published in issue: #1(1)/2012
DOI: 10.18698/2308-6033-2012-1-20
Category: Information technology
| 1 |