Search

Your search keyword '"Mittal Neeraj"' showing total 20 results

Search Constraints

Start Over You searched for: Author "Mittal Neeraj" Remove constraint Author: "Mittal Neeraj" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
20 results on '"Mittal Neeraj"'

Search Results

1. Online Algorithms to Generate Slices for Regular Temporal Logic Predicates

2. ASSERT: A Wireless Networking Testbed

3. Minimal Time Broadcasting in Cognitive Radio Networks

4. WORMEROS: A New Framework for Defending against Wormhole Attacks on Wireless Ad Hoc Networks

5. Leader Election Algorithms for Multi-channel Wireless Networks

6. On Detecting Termination in the Crash-Recovery Model

7. Safe Termination Detection in an Asynchronous Distributed System When Processes May Crash and Recover

8. Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems

9. Efficient Reduction for Wait-Free Termination Detection in a Crash-Prone Distributed System

10. Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies

11. Detecting Locally Stable Predicates Without Modifying Application Messages

13. Brief Announcement: Synchronous Distributed Algorithms for Node Discovery and Configuration in Multi-channel Cognitive Radio Networks

14. Brief Announcement: Concurrent Wait-Free Red-Black Trees

16. Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures

Catalog

Books, media, physical & digital resources