В. П. Иванников
Publications by Year
Research Areas
Distributed and Parallel Computing Systems, Parallel Computing and Optimization Techniques, Advanced Data Processing Techniques, Software Testing and Debugging Techniques, Embedded Systems Design Techniques
Most-Cited Works
- → Static analyzer Svace for finding defects in a source program code(2014)38 cited
- → Static analyzer Svace for finding of defects in program source code(2014)38 cited
- → The use of contract specifications for representing requirements and for functional testing of hardware models(2007)15 cited
- → Software for improving the energy efficiency of a computer cluster(2010)7 cited
- → Improving Properties of a Parallel Program in ParJava Environment(2003)7 cited
- → The CLOS project: Towards an object-oriented environment for application development(1991)6 cited
- → Estimation of dynamical characteristics of a parallel program on a model(2006)5 cited
- → Productivity prediction of MPI programs based on models(2007)4 cited
- → Implementing Obfuscating Transformations in the LLVM Compiler Infrastructure(2014)3 cited
- → On the minimal time required for execution of distributed concurrent processes in synchronous modes(2000)3 cited