Abstract: A method and system for detecting and correcting invalid network paths in a network having a plurality of routers and a set of global invariant rules imbedded in the network including querying a subset of a routing table data structure defining network paths wherein said subset includes a plurality of routing table entries and comparing a network routing table entry with an earlier network routing table entry for the same node. The method and system also includes detecting inconsistencies between the newer network routing table entry and the earlier network routing table entry, and invalidating the network entries of the older network routing table that are inconsistent with the newer entries. The method and system also includes reconstructing the routing structure by replacing the invalidated network routing table entries with new routing table entries that minimize violation of the invariant protocols.

Abstract: A method and system for detecting and correcting invalid network paths in a network having a plurality of routers and a set of global invariant rules imbedded in the network including querying a subset of a routing table data structure defining network paths wherein said subset includes a plurality of routing table entries and comparing a network routing table entry with an earlier network routing table entry for the same node. The method and system also includes detecting inconsistencies between the newer network routing table entry and the earlier network routing table entry, and invalidating the network entries of the older network routing table that are inconsistent with the newer entries. The method and system also includes reconstructing the routing structure by replacing the invalidated network routing table entries with new routing table entries that minimize violation of the invariant protocols.

Abstract: A network information apparatus (400), system (100) (200) and method for distributing network information in a multi-channel (MC) wireless network (100) (200), comprising a network information module (400) that implements inter-channel communication of network information in an MC network according to a pre-determined network information sharing procedure and keeping an own cache (401) of each node refreshed and free of out-of-date information, and, for an active proxy-based sharing procedure thereof only, adapting to changes in node/channel associations, suppressing duplicate inter-channel information, and synchronizing own clocks (404) of each node.

Abstract: A method for inferring network link topology includes receiving an address of a seed node in a network, initializing a set of links and monitors of the network, refining, iteratively beginning at the seed node, the set of links and monitors of the network, wherein a local topology of links is inferred from routing information of a current node and a remote topology of links is inferred from routing information of the set of monitors, wherein the set of monitors is created from the local topology of links, and outputting the topology of links including the local and remote topology of links as a topology of the network.

Abstract: Techniques are disclosed for automatically testing for incorrect or incomplete implementation of documented behavior of a device. By way of example, an automated method for checking that one or more devices comply with one or more documented behaviors comprises a computer system performing the following steps. A set of compliance rules is defined for a behavior of at least one of the one or more devices. A set of monitored data is retrieved from the at least one device. The set of monitored data is compared with the set of compliance rules. A result of the comparison is reported.

Abstract: A method of determining the state of network links based on differences in corresponding distance-vectors in a sequence routing table updates, and a network management system performing the method. The network management system comprises least one monitoring apparatus adapted to determine the state of network links. The monitoring apparatus may be a router in the network adapted to determine link status, or a personal computer or server peered with a router and configured to determine the state of network links based on differences in corresponding distance-vectors in a sequence of routing table updates.

Abstract: A method for implementing vehicle diagnostics includes: receiving one or more sound signals from a series of sensors distributed and positioned in various operational areas of a vehicle; recording the one or more sound signals in response to a command generated by an operator of the vehicle; storing the one or more sound signals in persistent memory; processing the one or more sound signals; and selecting one or more of the processed sound signals for audio playback in response to a user command; and wherein the audio playback is configured to assist in the diagnosis and prevention of vehicle faults and component defects.

Abstract: Apparatus and techniques for automatically allocating storage space among classes of applications and/or users in a shared storage environment are proposed. In one illustrative embodiment, such apparatus includes: (i) a plurality of per-class controllers, each per-class controller being operative to determine a cache space allocation for its corresponding class based on a current measured hit rate and a current cache space allocation for its corresponding class; and (ii) a contention resolver coupled to the plurality of per-class controllers and operative to resolve cache space allocation in response to conflicting requests from at least two of the per-class controllers.