Browse by Author "Sha, Lui"
Now showing items 9-15 of 15
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 ...
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 ...
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 ...
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 ...
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 ...
Towards Safe and Effective Integration of Networked Medical Devices using Organ-based Semi-Autonomous Hierarchical Control Kang, Woochul; Wu, PoLiang; 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 ...
WCET-Aware Optimization of Shared Cache Partition and Bus Arbitration for Hard Real-Time Multicore Systems 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 ...