articles
Using Multithreading modeling and Static Program Code Analysis for Race Conditions Detection
Published in
№ 4(34)
15 august 2011 year
Rubric: Algorithmic efficiency
Authors: Zaborovskij N. V., Tormasov A. G.
Rubric: Algorithmic efficiency
Authors: Zaborovskij N. V., Tormasov A. G.
Multiprocessing, race conditions, 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
