Abstract: A remote device infrastructure can be used to test and develop applications and websites. A user developer can select a number of remote devices at a remote location and test a programming application from a local machine. The remote devices run the programming application. The user interacts with mirrored displays of the remote devices on the local machine of the user. User inputs are transmitted to a remote device. The user can also enable a multisession mode, where the user can test a programming application on multiple remote devices and observe a display output of each remote device on the local machine of the user. The user can interact with any mirrored display of a remote devices in a multisession and observe a synced output in the other mirrored displays.

Abstract: Methods and systems for providing concise data for analyzing checker completeness, in the context of formal verification analysis of circuit designs. The methods and systems concisely report information useful to a human user (e.g., circuit designer or verification engineer) for efficiently determining what manual action should be taken next to resolve holes in verification coverage. The reported information can include lists of signals on which checkers can be written, which lists can be ranked, can be limited to a subset of interest signals, and can include corresponding cover items for each reported interest signal. The present systems and methods thereby improve on reporting provided to the user, permitting the user to more quickly advance a formal verification process toward full coverage of the relevant portions of a circuit design.

Abstract: Aspects of the disclosure provide for a computer program product comprising computer executable instructions. The instructions are executable by a controller of a network device to cause the controller to analyze data transmitted by the network device via a network for a programmed amount of time, determine a data transmission pattern based on the analysis, determine, based on the transmission pattern, a volume of expected data transmission during a period of time, and determine whether to transmit additional data based on a relationship between the volume of expected data transmission during the period of time and a bandwidth allocation of the network device during the period of time.

Abstract: An example apparatus includes interface circuitry, memory configured to store machine-readable instructions, and processing circuitry configured to at least one of instantiate or execute the machine-readable instructions. The example processing circuitry is configured to at least one of instantiate or execute the machine-readable instructions to determine a connectivity metric for a first device synchronized with a second device and cause, via the interface circuitry, transmission of the connectivity metric to a third device with which the first device is not synchronized. Additionally, the example processing circuitry is configured to at least one of instantiate or execute the machine-readable instructions to, based on a first communication from the third device, cause transmission of a second communication to the first device to cause the first device to synchronize with the third device.

Abstract: Aspects of the disclosure provide for a computer program product comprising computer executable instructions. The instructions are executable by a controller of a network device to cause the controller to analyze data transmitted by the network device via a network for a programmed amount of time, determine a data transmission pattern based on the analysis, determine, based on the transmission pattern, a volume of expected data transmission during a period of time, and determine whether to transmit additional data based on a relationship between the volume of expected data transmission during the period of time and a bandwidth allocation of the network device during the period of time.

Abstract: Aspects of the disclosure provide for a computer program product comprising computer executable instructions. The instructions are executable by a controller of a network device to cause the controller to analyze data transmitted by the network device via a network for a programmed amount of time, determine a data transmission pattern based on the analysis, determine, based on the transmission pattern, a volume of expected data transmission during a period of time, and determine whether to transmit additional data based on a relationship between the volume of expected data transmission during the period of time and a bandwidth allocation of the network device during the period of time.