Browse Research and Tech Reports - Computer Science by Author "Agha, Gul"

  • Dinges, Peter; Charalambides, Minas; Agha, Gul (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)
  • Moinzadeh, Parya; Mechitov, Kirill A.; Shiftehfar, Reza; Abdelzaher, Tarek F.; Agha, Gul; Spencer, Billie F., Jr. (2011-09-02)
    Building energy-efficient systems is one of the principal challenges in wireless sensor networks. Dynamic voltage scaling (DVS), a technique to reduce energy consumption by varying the CPU frequency on the fly, has been ...

    application/pdf

    application/pdfPDF (8Mb)
  • Moinzadeh, Parya; Mechitov, Kirill A.; Agha, Gul (2011-09-02)
    The efficiency of multi-hop communication is a function of the time required for data transfer, or throughput. A key determinant of throughput is the reliability of packet transmission, as measured by the packet reception ...

    application/pdf

    application/pdfPDF (541Kb)
  • Dinges, Peter; Agha, Gul (2014-09-11)
    Knowing inputs that cover a specific branch or statement in a program is useful for debugging and regression testing. Symbolic backward execution (SBE) is a natural approach to find such targeted inputs. However, SBE ...

    application/pdf

    application/pdfPDF (387Kb)