Development and study of methods and software tools for parallel execution of functional programs on multi-core computers

More works in this specialty

1. Methods and tools for solving problems of data search and secure storage using hybrid computing technologies

   Rovnyagin, Mikhail Mikhailovich · 2015 · Candidate of Sciences · National Research Nuclear University

   • 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
2. Methods and software tools for integration of applications using an external bus

   Shumsky, Leonid Dmitrievich · 2015 · Candidate of Sciences · National Research Nuclear University

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
3. Algorithms and software tools for automatic text-independent recognition of persons by voice

   Shulipa, Andrey Konstantinovich · 2015 · Candidate of Sciences · Saint Petersburg National Research University of Information Technologies, Mechanics and Optics

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
4. A method for developing formal contextual requirements for the verification of software logic control systems

   Shoshmina, Irina Vladimirovna · 2015 · Candidate of Sciences · Saint Petersburg Polytechnic University

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
5. Generation of finite-state machines based on ant colony algorithms

   Chivilikhin, Daniil Sergeevich · 2015 · Candidate of Sciences · Saint Petersburg National Research University of Information Technologies, Mechanics and Optics

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

All works in this specialty