Browse Research and Tech Reports - Computer Science by Author "Al-Nayeem, Abdullah"

  • Kim, Cheolgi; Al-Nayeem, Abdullah; Yun, Heechul; Sha, Lui (2010-07-31)

    application/pdf

    application/pdfPDF (496Kb)
  • Kim, Cheolgi; Al-Nayeem, Abdullah; Yun, Heechul; Wu, Po-Liang; Sha, Lui (2011-08-11)
    This Software Design Description (SDD) provides detailed information on the architecture and coding for the PRISM C++ library (version 0.51). The PRISM C++ library supports consistent information sharing and in- teractions ...

    application/pdf

    application/pdfPDF (2Mb)
  • Sha, Lui; Al-Nayeem, Abdullah; Sun, Mu; Meseguer, Jose; Olveczky, Peter C. (2009-05-26)
    In networked cyber physical systems real time global computations, e.g., the supervisory control of a ight control system, require consistent views, consistent actions and synchronized state transitions across net- work ...

    application/pdf

    application/pdfPDF (376Kb)
  • Al-Nayeem, Abdullah; Sha, Lui; Cofer, Darren D.; Miller, Steven M. (2012-02-20)
    Designing and verifying distributed protocols in a multi-rate asynchronous system is, in general, extremely difficult when the distributed computations require consistent input views, consistent actions and synchronized ...

    application/pdf

    application/pdfPDF (1Mb)
  • Khurshid, Ahmed; Al-Nayeem, Abdullah; Gupta, Indranil (2009-06-30)
    Cloud computing has the potential to bring sophisticated computing facility at the door-steps of users. The performance of services hosted at a cloud generally depends on its computation, storage and networking models. ...

    application/pdf

    application/pdfPDF (194Kb)
  • Bae, Kyungmin; Olveczky, Peter C.; Al-Nayeem, Abdullah; Meseguer, José (2011-05-31)
    Distributed Real-Time Systems (DRTS), such as avionics systems and distributed control systems in motor vehicles, are very hard to design because of asynchronous communication, network delays, and clock skews. Furthermore, ...

    application/pdf

    application/pdfPDF (680Kb)