Current software development techniques and tools lack the capability to characterize function call chains in multithreaded and distributed applications built upon component techn...
—Peer-to-peer (P2P) file distribution is a scalable way to disseminate content to a wide audience. For a P2P network, one fundamental performance metric is the average time need...
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
Abstract--Time synchronization is a critical service for distributed network systems. In this work, we investigate this problem in the context of underwater sensor networks (UWSNs)...
Jun Liu, Robert Zhong Zhou, James Peng Zheng, Jun-...
The rapid progress in high-performance microprocessor design has made it di cult to adapt real-time scheduling results to new models of microprocessor hardware, thus leaving an un...