Phan Cong Vinh
ABSTRACT
Mobile ad hoc computing (MAC) is a form of concurrent computing by which computational processes are executed in parallel by assigning each computational process to one of mobile devices on a mobile ad hoc network (MANET). The overall goal of MAC is to support such MANETs capable of management and high performance. Meeting this grand challenge of MAC requires that MANET processes concurrency not tackled before is necessarily featured. To this end, this paper presents a firm formal development for featuring concurrency of MANET processes.
- P. Bellavista, A. Corradi, and C. Giannelli. The Real Ad Hoc Multi-Hop Peer-to-Peer (RAMP) Middleware: An Easy-to-Use Support for Spontaneous Networking. In Proceedings of the 15th IEEE Symposium on Computers and Communications (ISCC 2010), pages 463--470. IEEE, 22 - 25 June 2010. Google Scholar
Digital Library
- S. Bhalla. Independent Dependency Tracking in a Mobile Adhoc Computing Environment. In Proceedings of the 1st IEEE International Conference on Communication System Software and Middleware (Comsware 2006), pages 1--4. IEEE, 8 - 12 January 2006.Google ScholarCross Ref
- R. Milner. Communicating and Mobile Systems: The Pi Calculus. Cambridge University Press, 1st edition, June 1999. 174 pages. Google ScholarDigital Library
- P. C. Vinh. Parallel Programming and Applications in Grid, P2P and Network-based Systems, chapter Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures. Advances in Parallel Computing. IOS Press, 1st edition, 2009.Google Scholar
- P. C. Vinh, editor. Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification. IGI Global, 1st edition, October 2011. 368 pages.Google Scholar
Index Terms
- Featured concurrency of mobile ad hoc computing
Recommendations
Routing with adaptive path and limited flooding for mobile ad hoc networks
In MANET, each mobile host can freely move around and the network topology is dynamically changing. To send a datagram, a source host broadcasts a route discovery packet to the network. All neighboring nodes receiving this packet will rebroadcast this ...
Efficient on-demand routing for mobile ad hoc wireless access networks
In this paper, we consider a mobile ad hoc wireless access network in which mobile nodes can access the Internet via one or more stationary gateway nodes. Mobile nodes outside the transmission range of the gateway can continue to communicate with the ...
Reputation based selfishness prevention techniques for mobile ad-hoc networks
Mobile ad-hoc networks require nodes to cooperate in the relaying of data from source to destination. However, due to their limited resources, selfish nodes may be unwilling to forward packets, which can deteriorate the multi-hop connectivity. Different ...
Comments