Arun Narayan Netravali - Westfield NJ, US Krishan Kumar Sabnani - Westfield NJ, US Ramesh Viswanathan - Manalapan NJ, US
Assignee:
Alcatel-Lucent USA Inc. - Murray Hill NJ
International Classification:
H04J 1/16 H04L 12/56
US Classification:
370238, 370254, 370252, 709238
Abstract:
Network convergence is greatly reduced because new routing paths are only selected when they are substantially better than pre-existing, best available paths.
Scalable Methods And Devices For Computing Routing Paths Within The Internet
Arun Narayan Netravali - Westfield NJ, US Krishan Kumar Sabnani - Westfield NJ, US Ramesh Viswanathan - Manalapan NJ, US
Assignee:
Alcatel-Lucent USA Inc. - Murray Hill NJ
International Classification:
H04L 12/28
US Classification:
370254, 370252
Abstract:
Routing-related scalability problems associated with the growth of the Internet are solved by assigning topologically encoded Internet addresses to each node within a network.
Methods And Apparatus For Passive Mid-Stream Monitoring Of Real-Time Properties
Lalita J. Jagadeesan - Naperville IL, US Ramesh Viswanathan - Manalapan NJ, US
Assignee:
Alcatel-Lucent USA Inc. - Murray Hill NJ
International Classification:
H04Q 7/20
US Classification:
455424, 379 1501, 379 14
Abstract:
Methods and apparatus are provided for passive mid-stream monitoring of real-time properties. A passive mid-stream monitoring process is disclosed that determines whether a system is faulty. The passive mid-stream monitoring process obtains a real-time correctness property and a passively monitored mid-stream observation of the system. A timed correctness property, A, is constructed from the passively monitored mid-stream observation. An intersection of the real-time correctness property and the timed correctness property is then determined to determine if the system is faulty. A passively testable determination process is also disclosed that determines whether a real-time correctness property for a system is passively testable. A determination is made as to whether (i) a set of all timed traces that are correct according to the real-time correctness property is timed prefix and timed suffix closed; and (ii) a system would satisfy the real-time correctness property if all timed-trace behaviors of the system would be included in the set.
Methods And Devices For Generating A Hierarchical Structure For The Internet
Arun Netravali - Westfield NJ, US Krishan Sabnani - Westfield NJ, US Ramesh Viswanathan - Manalapan NJ, US
International Classification:
H04L 12/56
US Classification:
370400000
Abstract:
A hierarchical structure for the Internet only requires designated nodal elements, each within its own associated cluster of nodal elements, to compute routing paths to other similarly designated nodal elements outside of its cluster. In this manner, the number of routing paths needed to be computed by a given element is greatly reduced.
Federal Reserve Bank of Philadelphia
Lead Technical Specialist
Tata Burroughs/Tata Unisys/Tata Infotech 1982 - 1987
Lob Head - Finance
Education:
Syracuse University - Martin J. Whitman School of Management
Master of Business Administration, Masters, Economics, Finance
Indian Institute of Technology, Bombay
Skills:
Business Analysis It Strategy Sdlc Business Intelligence Vendor Management Process Improvement