Browse by Author "Sha, Lui"

  • 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, Jos��; 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)
  • Mancuso, Renato; Pellizzoni, Rodolfo; Caccamo, Marco; Sha, Lui; Yun, Heechul (2014)
    Multi-core platforms represent the answer of the industry to the increasing demand for computational capabilities. From a real-time perspective, however, the inherent sharing of resources, such as memory subsystem and I/O ...

    application/pdf

    application/pdfPDF (393Kb)
  • Sha, Lui; Caccamo, Marco; Mancuso, Renato; Kim, Jung-Eun; Yoon, Man-Ki; Pellizzoni, Rodolfo; Yun, Heechul; Russel Kegley; Dennis Perlman; Greg Arundale; Bradford, Richard (2014-11-05)
    The benefits of adopting emerging multicore processors include reductions in space, weight, power, and cooling, while increasing CPU bandwidth per processor. However, the existing real-time system engineering process is ...

    application/pdf

    application/pdfPDF (2Mb)
  • Zheng, Rong; He, Guanghui; Gupta, Indranil; Hou, Jennifer C.; Sha, Lui (2004-04)
    Time attribute is one of the most important attributes of time series data generated in wireless sensor networks. Coupled with energy, bandwidth, computational constraints of wireless sensors, efficient mechanisms need to ...

    application/pdf

    application/pdfPDF (382Kb)
  • Kang, Woochul; Wu, Po-Liang; Sha, Lui; Berlin, Richard B., Jr.; Goldman, Julian M. (2012-10-23)
    Leveraging connectivity and interoperability of medical devices promises a great benefit for patient safety and effectiveness of medical services. However, safety issues arising from coordination failures between networked ...

    application/pdf

    application/pdfPDF (199Kb)
  • Yoon, Man-Ki; Kim, Jung-Eun; Sha, Lui (2011-05)
    In recent years, multicore processors have been receiving a significant amount of attention from avionic and automotive industries as the demand for high-end real-time applications drastically increases. However, the ...

    application/pdf

    application/pdfPDF (802Kb)