Entity

Time filter

Source Type


Chaurasia B.K.,Indian Institute of Information Technology Allahabad | Keshari S.,Indian Institute of Information Technology Allahabad | Verma S.,Indian Institute of Information Technology Allahabad | Tomar G.S.,Machine Intelligence Research MIR Labs
Proceedings - 2010 International Conference on Computational Intelligence and Communication Networks, CICN 2010 | Year: 2010

The paper presents verification of privacy preserving authentication protocol for VANETs using SPIN tool. The authentication process involves authentication of the moving vehicle and the corresponding road side unit (RSU) by a fixed infrastructure from (CTA) through RSU. The whole process needs only one request and reply between different entities. The work described the impact of known attack on the protocol, graphically specification, its behavior in terms of reliability and its correctly verification using the integrated specification verifying JSPIN tool. © 2010 IEEE. Source


Khan H.,Machine Intelligence Research MIR Labs
International Journal of Simulation: Systems, Science and Technology | Year: 2012

Linux based mobile robots have been the real advancement towards wireless-networked robots in recent past, however the battery charging problems persists for such robots especially in industrial applications. Industrial usage requires LinuxBots to remain charged throughout the working hours while the constant charging is not possible during work. This paper proposed a solution in form of Battery switching stations (BSS) as part of industrial units providing constant charged batteries for robots. Problem with usage of BSS is that it consumes real power and thus without proper allocation they can cause the power losses in distribution systems to increase significantly. In this paper, IEEE 33-Bus distribution system with three distributed generators (DGs) has been used as the test system and locations for BSS units have been optimized using Artificial Bee Colony Algorithm. Usage of BSS along with DGs also provides the Green and Sustainable solution by using alternative energy resources. © 2012, UK Simulation Society. All rights reserved. Source


Shrivastava A.,Priyatam Institute of Technology and Management | Tomar G.S.,Machine Intelligence Research MIR Labs | Singh A.K.,Digitech Solution
Proceedings - 2011 International Conference on Communication Systems and Network Technologies, CSNT 2011 | Year: 2011

Modern computer system rely more and more on - chip communication protocol to exchange data. System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Propert (IP) cores. These protocols incorporate advanced features such as pipelining, burst and split transfers. In this paper, we describe a case study for different AMBA SOC bus protocol and their performance comparison: the Advanced Micro-controller Bus Architecture (AMBA) protocol from ARM. It starts ith a brief introduction AMBA 2.0 protocol, AMBA 3.0 protocol and AMBA 4.0 protocol, and concludes with a discussion related to a comparison performance analysis of all three AMBA bus protocol. © 2011 IEEE. Source


Tomar R.S.,Indian Institute of Information Technology Allahabad | Verma S.,Indian Institute of Information Technology Allahabad | Tomar G.S.,Machine Intelligence Research MIR Labs
Proceedings - 2010 International Conference on Computational Intelligence and Communication Networks, CICN 2010 | Year: 2010

Lane changing process is an essential maneuver, however, the process is responsible for large number of collisions and traffic instability. In this work, the effectiveness of neural network for prediction of future lane change trajectory based only on the past vehicle path is presented. Existing lane change models and lane change process do not consider the uncertainties and perceptions in the human behavior that are involved in lane changing. A neural network may learn and incorporate these uncertainties to predict the lane changing trajectory in the near future more accurately. A multilayer perceptron (MLP) has been employed to train itself from existing NGSIM field data and predict the future path of a lane changing vehicle. The impact and effectiveness of the proposed technique is demonstrated. Prediction results show that an MLP is able to give the future path accurately only for discrete patches of the trajectory and not over the complete trajectory. The results confirm to the observation that a vehicle trajectory has immediate influence from its neighborhood whose information is imperative for trajectory prediction. © 2010 IEEE. Source


Tomar G.S.,Machine Intelligence Research MIR Labs | Sharma T.,Maharaja Surajmal Institute of Technology | Bhattacharyya D.,MPCT Group | Kim T.-H.,Hannam University
Proceedings - 2011 International Conference on Ubiquitous Computing and Multimedia Applications, UCMA 2011 | Year: 2012

Mobile Ad-hoc networks are characterized by constant topology changes, in the absence of fixed infrastructure and lack of any centralized control. Traditional routing algorithms prove to be inefficient in such a changing environment. Ad-hoc routing protocols such as Dynamic Source Routing (DSR), Ad-hoc On-Demand Distance Vector Routing (AODV) and Destination sequence Vector (DSDV) have been proposed to solve the multi hop routing problem in Ad-hoc networks. Extensive research has been done in comparing the different proposed ad-hoc routing protocols under varying network scenarios. Routing overhead, packet delivery ratio, end-to-end delay, path optimality, and throughput are some metrics commonly used in the comparisons. In this survey paper we had analyzed the performance of the routing algorithms under various networks conditions. © 2011 IEEE. Source

Discover hidden collaborations