Victor Ivannikov

According to our database1, Victor Ivannikov authored at least 19 papers between 1990 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Data representation model for in-depth analysis of network traffic.
Program. Comput. Softw., 2016

Analysis of entities in C and C++ programs and relations between them for program understanding.
Program. Comput. Softw., 2016

2014
Static analyzer Svace for finding defects in a source program code.
Program. Comput. Softw., 2014

2010
Software for improving the energy efficiency of a computer cluster.
Program. Comput. Softw., 2010

2009
Implementation of parallel programs interpreter in the development environment ParJava.
Program. Comput. Softw., 2009

2008
Construction of speculative optimization algorithms.
Program. Comput. Softw., 2008

2007
The use of contract specifications for representing requirements and for functional testing of hardware models.
Program. Comput. Softw., 2007

Model Based Performance Evaluation for MPI Programs.
Proceedings of the Parallel Computing Technologies, 2007

2006
Estimation of dynamical characteristics of a parallel program on a model.
Program. Comput. Softw., 2006

Operating System of the Multi-machine Computer AS-6.
Proceedings of the Perspectives on Soviet and Russian Computing, 2006

Grand Challenges of System Programming.
Proceedings of the Perspectives of Systems Informatics, 2006

2004
Model Based Recovery Protocol In ParJava Environment.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

2003
Improving Properties of a Parallel Program in ParJava Environment.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface,10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29, 2003

Using Symbolic Execution of Parallel Program to Estimate Its Scalability.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

2000
On the minimal time required for execution of distributed concurrent processes in synchronous modes.
Program. Comput. Softw., 2000

1998
Managing Processes with Network Objects and Their Translation.
Proceedings of the 24th EUROMICRO '98 Conference, 1998

1997
Cover Model: A Framework for Design and Execution of Distributed Applications.
Proceedings of the 1997 International Symposium on Parallel Architectures, 1997

1996
Efficient Metaobject Control Using Mediators.
Proceedings of the Perspectives of System Informatics, 1996

1990
The CLOS Project: Towards on Object-Oriented Environment for Application Development.
Proceedings of the Next Generation Information System Technology, 1990


  Loading...