Browse by Author "Sha, Lui"
Now showing items 4-15 of 15
Geometric Programming Based Optimization of Multiple Periodic Resources in Hierarchical Scheduling Yoon, Man-Ki; Kim, Jung-Eun; Bradford, Richard; Sha, Lui (2012-05)Hierarchical scheduling of periodic resources has been increasingly applied to a wide variety of real-time systems due to its ability to accommodate various applications on a single system through strong temporal isolation. ...
Hu, Chunyu; Zheng, Rong; Hou, Jennifer C.; Sha, Lui (2004-07)IEEE 802.11 power saving mode (PSM) has been proposed in wireless LANs and multi-hop wireless networks to coordinate power states of wireless devices. In IEEE 802.11 PSM, power management decisions to wake up wireless ...
Liu, Xue; Heo, Jin; Sha, Lui (2005-05)The rapid advancement and deployment of Web services call for a precise yet simple model for capacity planning and analysis purposes. The most widely deployed Web services architecture is the 3-tiered system, which is ...
Kim, Cheolgi; Al-Nayeem, Abdullah; Yun, Heechul; Sha, Lui (2010-07-31)
Kim, Jung-Eun; Yoon, Man-Ki; Im, Sungjin; Bradford, Richard; Sha, Lui (2012-05)Integrated Modular Avionics (IMA) architecture has been widely adopted by the avionics industry due to its strong temporal and spatial isolation capability for safety-critical real-time systems. Although multi-core systems ...
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 Jr., Richard B.; 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 ...