Abstract: A programmed computer searches for functional defects in a description of a circuit undergoing functional verification in the following manner. The programmed computer simulates the functional behavior of the circuit in response to a test vector, automatically restores the state of the simulation without causing the simulation to pass through a reset state, and then simulates the functional behavior of the circuit in response to another test vector. A predetermined rule can be used to identify test vectors to be simulated, and the predetermined rule can depend upon a measure of functional verification, including the number of times during simulation when a first state transition is performed by a first-controller at the same time as a second state transition is performed by a second controller. During simulation of the test vectors, manually generated tests or automatically generated checkers can monitor portions of the circuit for defective behavior.

Abstract: The present invention provides an access control server that holds information pertaining to both network access and facility access. The access control server enforces policies based on location, type of resource, time of day, duration, or other events, and logs all successful and unsuccessful attempts to access a given resource whether it be on the network or at the facility. The access control server operates off a common list or table of attributes and policies, or separate lists or tables of attributes and policies that are arbitrated by a credential verification and policy engine. This unified access control server implements protocols that work with network and/or physical premises-based devices. The unified access control server allows events in the facility to be associated with events on the network and vice versa and direct policies that may be executed in the physical or network realm.

Abstract: An embodiment of the invention provides a method for monitoring electrical characteristic on an electronic circuit board. This electrical characteristic can be voltage or current. The electrical characteristic is measured at a first location. The first location is at a high voltage called primary potential. The electrical characteristic is converted to a proportional frequency. The frequency is sent through an isolation circuit to a second location for monitoring. The second location is at a low voltage called secondary potential. The frequency is provided as input to an environment monitoring circuit at the second location.

Abstract: Methods and systems for distributing packets across all available output paths within a network is provided. A distribution key is extracted from each packet and is hashed to generate a hash value. An output path for each packet is selected by using all N bits of the hash value to address a distribution table having at least 2N indications of the output paths available for that packet. Thus, the stream of packets is distributed, or split up, across the available output paths, thereby balancing the load. In some embodiments, the order of the output paths is randomized within each distribution table. Other embodiments include a forwarding table used to determine the available output paths for a particular packet. In yet other embodiments, the distribution key includes the packet's source and destination; thus preventing packets within the same stream having varying latencies due to traveling along varying paths.

Abstract: Embodiments of the present invention provide for switchover from an active processor to a standby processor in a route processor system. An up-to-date copy of information used by a supervisor process at the active processor is ensured by determining necessary event states. One type of event state includes message requests, processing and replies. Three basic types of communication between three different entities (blade, wireless domain services (WDS) and supervisor) are governed by three types of communication protocols: WLCCP between a blade and WDS, LCP between a supervisor and a blade, and checkpoint-type messages between two supervisors.

Abstract: A method and system for regulating the flow of data packets in a data switching network environment is provided. The network comprises at least one virtual local area network (VLAN), at least one provider edge (PE), and a data switching system. The method comprises the steps of configuring flow policy criteria for data packets for each VLAN and regulating the flow of data packets between the VLAN and the data switching system according to the flow policy criteria. The system for regulating the flow of data packets comprises the means for performing the method steps given above. The method can also regulate the flow of data packets, by defining the flow policy criteria for each virtual forwarding instance (VFI) in the network.

Abstract: A method, system and apparatus for selecting an optimal home agent in a mobile IP network, are provided. The method enables selection of a topologically optimal home agent for establishing an efficient communication link. The method includes retrieving a set of home agents that are available for selection, and identifying a home agent from amongst the set of home agents. A home agent is selected based on one or more pre-defined parameters such as number of hops and time delay.

Abstract: A system and method provide for transferring remote media from a remote media source to a communication or other end device at a time prior to a hold period, which media is usable as local MOH media during a hold period. A system and method further provide for responding to an initiated hold time by replacing remote MOH media with the local MOH media if remote MOH media is received in conjunction with the hold period.

Abstract: Disclosed are, inter alia, methods, apparatus, data structures, computer-readable media, and mechanisms for maintaining counters, such as in, but not limited to a packet switching system, and updating a secondary counter storage based on values of the counters and entries in an overflow buffer. Multiple counter values are stored in a counter bank. An indication of a particular counter of the multiple counters to update is received. A current value of the particular counter is updated in the counter bank, and if an overflow condition results, then an indication of the particular counter is added to an overflow buffer. Periodically each of the multiple counters is visited and corresponding values are updated in a secondary storage, and each entry is retrieved from the overflow buffer and a corresponding value is updated in the secondary storage.

Abstract: A method and apparatus for tracking the viewing of stored video content. A video event is recorded, such as with a personal video recorder, and is subsequently displayed on a display screen having identified thereon at least one user who is to view the recorded video event. The user enters an option (e.g., “OK to Erase”) associated with the displayed recorded event. The entered option is displayed on the display screen so subsequent users will know the desired option of the prior user. A machine-readable medium having stored thereon instructions for recording and displaying a video event, as well as instructions for receiving and displaying an option associated with the displayed recorded event.

Abstract: A method and a system for communicating data in a communication channel are provided. The method includes the identification of a sequence of bits recurring in the data, and generating a locking pattern. The locking pattern includes locking symbols and a random bit pattern. The method also includes sending the locking pattern within the data. The locking pattern is received by a receiver and is used to lock the receiver and ignore the recurring bit sequence.

Abstract: A method and system for tracing and logging for a software module is provided. The method includes the steps of detecting at least one error and analyzing at least one error message corresponding to each detected error. The method further includes the step of monitoring the resources of a computer system. Further, the method includes the step of adjusting (e.g., automatically adjusting) a tracing and logging level, based on the analysis of the error messages and the availability of resources.

Abstract: A system and method for managing file system processes is provided. In an exemplary embodiment, the system includes a global process module to handle and monitor the file system processes within a file system. The global process module includes a process status monitor, a pointers control, process size indicator, and a number of local process objects. The process status monitor is used to maintain and monitor information pertaining to the status of file system processes running on the file system. The pointers control is used to point to the various local process objects. The process size indicator is used to maintain an inventory of size information for each file system process. Each local process object is associated with a file system process. Each local process object further includes a progress monitor, a callback function, a process phase monitor, and a set of application specific process properties. The progress monitor is used to monitor the state of a particular process.

Abstract: The invention discloses a system and method for access and response to Internet emails, from a wireless device. The system extracts the emails from multiple Internet email accounts and forwards them, on the basis of pre-defined filter settings of the user, to the user's wireless device. The filter settings comprise filter criteria for identifying whether a new mail is to be forwarded to the wireless device or not, and content selection criteria for identifying parts of the new email to be sent to the wireless device. The system also enables the user to reply to the emails in a transparent manner whereby the replied message from the wireless device appears to have originated from the email address. The system also enables the user to dynamically change the filter settings using multi-modal inputs from his/her wireless device.

Abstract: A high performance piezoelectric actuator. The actuator includes a piezoelectric material exhibiting a selectively tapered width sufficient to enhance actuator fracture load capabilities. A passive material is disposed on or integrated with the piezoelectric material. A drive system is connected to the piezoelectric material. The drive system is capable of selectively applying an electric field to the piezoelectric material. In specific embodiment, the piezoelectric material includes a curved piezoelectric layer exhibits a default state of compression along a surface of the piezoelectric layer.

Abstract: An interconnecting unit and method for data communication between a plurality of computer hosts and a plurality of storage devices. The interconnecting unit couples the hosts to the storage devices and enables the data communication. The interconnection includes a plurality device control units. Each of the device control unit allows multiple commands to be distributed to multiple storage devices. The communication through the interconnecting unit is strong enough to tolerate failure across one connection path between the hosts and the storage devices.

Abstract: A system and method provide for producing and/or implementing a virtual device enabled electronic document. The electronic document includes documentary information and one or more virtual device initiators corresponding to the same or different target devices, or further, to device systems. At least a portion of the documentary information and a corresponding virtual device initiator, in one embodiment, correspond to at least one device operation of the device. A user invoking a virtual device initiator, in one embodiment, causes a document system to configure and initiate a virtual device, or further, other system devices with which the virtual device may interact.

Abstract: A circuit design that contains at least two clock domains is simulated using a novel system and method for injecting the effects of metastability. The system includes detectors for detecting, during simulation, when a clock in a transmit clock domain and a clock in a receive clock domain are aligned and when the input of a register receiving a clock-domain-crossing signal is changing. The system includes coverage monitors for measuring, during simulation, statistics related to metastability injection. The system accurately models the effects of metastability by, at appropriate times during simulation, pseudo-randomly inverting outputs of registers receiving clock-domain-crossing signals. By accurately modeling the effects of metastability, errors in the circuit design can be detected while simulating a pre-existing simulation test. The simulation with metastability effects injection is repeatable and requires no modification of pre-existing RTL design files or simulation test files.

Abstract: An addressable array of lenses is disclosed. Two electrical connections per row address specific lenses within that row. Carriages support individual lenses, thus forming resonant units with frequencies unique within each row. A voltage, having the same frequency as a selected resonant unit is applied. The selected lens produces a resonating image. Testing has verified proper resonance addressing within a 5-by-5 array of microlenses. The array can be applied to a Shack-Hartmann (SH) sensor. To compensate for errant images formed outside of their image area, resonating images are identified by a processor. The array thus improves the dynamic range of the wavefront aberration that can be measured by an SH sensor. The inventors currently estimate the improvement over conventional designs to be about a factor of 30.

Abstract: The present invention provides a method and apparatus for providing real-time, two-way transactional capabilities on the network. Specifically, one embodiment of the present invention discloses a configurable value-added network switch for enabling real-time transactions on the network. The configurable value added network switch comprises means for switching to a transactional application in response to a user specification from a network application, means for transmitting a transaction request from the transactional application, and means for processing the transaction request. Additionally, a method for enabling object routing is disclosed, comprising the steps of creating a virtual information store containing information entries and attributes associating each of the information entries and the attributes with an object identity, and assigning a unique network address to each of the object identities.