articles
Static detection of races in code that contains loops and branching
Published in
№ 6(36)
12 december 2011 year
Rubric: Algorithmic efficiency
Authors: Zaborovskij N. V., Tormasov A. G.
Rubric: Algorithmic efficiency
Authors: Zaborovskij N. V., Tormasov A. G.
Multiprocessing, concurrent execution, data-race, static analysis
The author:
Zaborovskij N. V.
Degree:
Post-Graduate Student, Department of Informatics, Faculty of Management and Applied Mathematics, Moscow Institute of Physics and Technology
Location:
Moscow
All articles:
The author:
Tormasov A. G.
Degree:
Doctor of Mathematics, Professor, Head of Department of Theoretical and Applied Mathematics, Moscow Institute of Physics and Technology
Location:
Moscow
