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)
  • Hahn, James F.; Ryckman, Nathaniel (Code4Lib, 2012-10-03)
    This article describes the development of the Minrva library app for Android phones. The decisions to build a native application with Java and use a modular design are discussed. The application includes five modules: ...

    application/pdf

    application/pdfPDF (699kB)
  • 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)
  • 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)