Browse by Subject "Java"

  • Dinges, Peter; Charalambides, Minas; Agha, Gul A. (2013-04-04)
    Atomic sets are a synchronization mechanism in which the programmer specifies the groups of data that must be accessed as a unit. The compiler can check this specification for consistency, detect deadlocks, and ...

    application/pdf

    application/pdfPDF (471Kb)
  • Radoi, Cosmin; Dig, Danny (2012-11-12)
    Despite significant progress in recent years, the im- portant problem of static race detection remains open. Previous techniques took a general approach and looked for races by analyzing the effects induced by low-level ...

    application/pdf

    application/pdfPDF (415Kb)
  • Radoi, Cosmin; Dig, Danny (2013-02-05)
    Despite significant progress in recent years, the important problem of static race detection remains open. Previous techniques took a general approach and looked for races by analyzing the effects induced by low-level ...

    application/pdf

    application/pdfPDF (500Kb)
  • Radoi, Cosmin (2014-01-16)
    Despite significant progress in recent years, the important problem of static race detection remains open. Previous techniques took a general approach and looked for races by analyzing the effects induced by low-level ...

    application/pdf

    application/pdfPDF (466Kb)