Russian Dissertation Library
Cover of the work “Research and implementation of a static analysis model for detecting race conditions in multithreaded algorithms using a linearized control flow graph”. Author: Bitner, Vilgelm Aleksandrovich. Degree: Candidate of Sciences. Year: 2014

Research and implementation of a static analysis model for detecting race conditions in multithreaded algorithms using a linearized control flow graph

Bitner, Vilgelm Aleksandrovich, 2014, Candidate of Sciences dissertation

A.A. Dorodnicyn Computing Centre of the Russian Academy of Sciences, Moscow

103 pp.

Keywords

statistical analysis, race condition, multithreaded algorithms

  1. Dissertation
    Methods and algorithms for automatic processing of iris images

    Matveev, Ivan Alekseevich · 2014 · Doctor of Sciences · Federal State Budgetary Institution of Science, Dorodnicyn Computing Centre of the Russian Academy of Sciences

  2. Dissertation
    Methods, algorithms, and programs for solving language and speaker identification problems

    Ermilov, Aleksey Valeryevich · 2014 · Candidate of Sciences · Dorodnicyn Computing Centre of the Russian Academy of Sciences

  3. Dissertation
    Mathematical and software support of heterogeneous distributed real-time computations with a flexible structure of interfaces

    Zheltoukhov, Ivan Vladimirovich · 2014 · Candidate of Sciences · Voronezh State Technical University

  4. Dissertation
    Modeling and development of service-oriented applications

    Aung Aung Hein · 2013 · Candidate of Sciences · National Research Nuclear University

  5. Dissertation
    Mathematical and software support for the distributed processing of large volumes of data from social media

    Yakushev, Andrey Vladimirovich · 2013 · Candidate of Sciences · Saint Petersburg National Research University of Information Technologies, Mechanics and Optics

All works in this specialty

Research and implementation of a static analysis model for detecting race conditions in multithreaded algorithms using a linearized control flow graph — Bitner, Vilgelm Aleksandrovich — 2014 — Russian Dissertation Library