Browsing College of Arts and Sciences by Author "Gabay, Yarom"

OpenBU

Browsing College of Arts and Sciences by Author "Gabay, Yarom"

Sort by: Order: Results:

  • Computational Properties of SNAFU
    Gabay, Yarom; Ocean, Michael J.; Kfoury, Assaf J.; Liu, Likai (Boston University Computer Science Department, 2006-02-06)
    Sensor applications in Sensoria [1] are expressed using STEP (Sensorium Task Execution Plan). SNAFU (Sensor-Net Applications as Functional Units) serves as a high-level sensor-programming language, which is compiled into ...
  • Safe Compositional Specification of Networking Systems: A Compositional Analysis Approach
    Liu, Likai; Kfoury, Assaf J.; Bestavros, Azer; Gabay, Yarom; Bradley, Adam D.; Matta, Ibrahim (Boston University Computer Science Department, 2005-12-28)
    We present a type inference algorithm, in the style of compositional analysis, for the language TRAFFIC—a specification language for flow composition applications proposed in [2]—and prove that this algorithm is correct: ...
  • Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking
    Liu, Likai; Kfoury, Assaf J.; Bestavros, Azer; Bradley, Adam D.; Gabay, Yarom; Matta, Ibrahim (Boston University Computer Science Department, 2005-05-01)
    This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We ...
  • Towards Formalizing Java's Weak References
    Gabay, Yarom; Kfoury, Assaf J. (Boston University Computer Science Department, 2006-12-15)
    Weak references provide the programmer with limited control over the process of memory management. By using them, a programmer can make decisions based on previous actions that are taken by the garbage collector. Although ...
  • Type Systems for a Network Specification Language With Multiple-Choice Let
    Liu, Likai; Kfoury, Assaf J.; Bestavros, Azer; Gabay, Yarom; Bradley, Adam D.; Matta, Ibrahim (Boston University Computer Science Department, 2005-12-28)
    When analysing the behavior of complex networked systems, it is often the case that some components within that network are only known to the extent that they belong to one of a set of possible "implementations" – e.g., ...

Search OpenBU


Advanced Search

Browse

Deposit Materials