Multilevel verification of supercomputers: timing analysis and physical design management

More works in this specialty

1. Study of methods and development of the main technological solutions for constructing information systems supporting financial and economic business processes in medical and preventive care institutions

   Chudnovskiy, Maksim Aleksandrovich · 2004 · Candidate of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
2. Development and investigation of algorithms for generating pseudorandom sequences for safety-critical computer systems

   Chugunkov, Ilya Vladimirovich · 2003 · Candidate of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
   • 05.13.19 Methods and systems of information protection, information security
3. Software for post-translation processing of programs

   Abu Assi Khaled Mohammad Hasan · 2003 · Candidate of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
4. Development of the architecture of a software system for confidential access to information resources of computer networks

   Khadi, Roman Akhmedovich · 2003 · Candidate of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
   • 05.13.19 Methods and systems of information protection, information security
5. Optimization of object code for processor architectures with instruction-level parallelism support

   Shumakov, Sergey Mikhaylovich · 2002 · Candidate of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks

All works in this specialty