G
Gurdip Singh
Researcher at Kansas State University
Publications - 99
Citations - 926
Gurdip Singh is an academic researcher from Kansas State University. The author has contributed to research in topics: Component (UML) & Distributed algorithm. The author has an hindex of 16, co-authored 99 publications receiving 891 citations. Previous affiliations of Gurdip Singh include Stony Brook University & State University of New York System.
Papers
More filters
Journal ArticleDOI
Leader election in the presence of link failures
TL;DR: In this paper, the problem of leader election in the presence of intermittent link failures is studied and a message optimal algorithm with message complexity O(N/sup 2/ε) is presented.
Book ChapterDOI
Ant Colony Algorithms for Steiner Trees: An Application to Routing in Sensor Networks
TL;DR: This chapter introduces ant colony optimization as a method for computing minimum Steiner trees in graphs and illustrates how tree based graph theoretic computations can be accomplished by means of purely local ant interaction.
Model-checking middleware-based event-driven real-time embedded software
TL;DR: It is described how building support for OO structures and communication layers directly in an extensible model-checker and leveraging domain properties related to priorities, scheduling, and timing can dramatically reduce the costs of checking realistic systems.
Proceedings ArticleDOI
Leader election in complete networks
TL;DR: The protocols for leader election in complete networks are message optimal and their time complexities are a significant improvement over currently known protocols for this problem.
Book ChapterDOI
Model-checking Middleware-based Event-driven Real-time Embedded Software ?
TL;DR: In this paper, a model-checking infrastructure for checking global temporal properties of DRE systems built on top of a Real-Time CORBA Event Service using CCM architectures is presented.