Browse by Author "Al-Nayeem, Abdullah"
Now showing items 1-7 of 7
Kim, Cheolgi; Al-Nayeem, Abdullah; Yun, Heechul; Sha, Lui (2010-07-31)
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, 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 ...
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 ...
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. ...
Al-Nayeem, Abdullah (2013-08-22)Cyber-physical systems, such as avionics and automobiles, are real-time distributed systems, where many of the information processing functions require consistent views and actions across distributed computing nodes. ...
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, ...