The following pages link to V. P. Ivannikov (Q174283):
Displaying 13 items.
- Construction of speculative optimization algorithms (Q840020) (← links)
- Implementation of parallel programs interpreter in the development environment ParJava (Q840081) (← links)
- Estimation of dynamical characteristics of a parallel program on a model (Q885854) (← links)
- The use of contract specifications for representing requirements and for functional testing of hardware models (Q927452) (← links)
- Reorganization of relational data bases (Q1059410) (← links)
- On the minimal time required for execution of distributed concurrent processes in synchronous modes (Q1592085) (← links)
- Productivity prediction of MPI programs based on models (Q2458064) (← links)
- (Q4170222) (← links)
- (Q4761647) (← links)
- (Q5554723) (← links)
- Functions of the dispatcher of the operational system BESM-6 (Q5617321) (← links)
- (Q5702762) (← links)
- Specification of metaextensions for efficient metaobject control (Q5930911) (← links)