Abstract: A computer-implemented method includes generating a plurality of test cases to test exploitation of speculative execution in a design of a computer processor, where the plurality of test cases include a first test case. Generating the first test case includes identifying a branch responsive to an attempted access to secure data and, responsive to the branch, marking each memory address of each memory access dependent on the attempted access to the secure data. The computer-implemented method further includes executing the first test case. Executing the first test case includes detecting an attempt to access a memory address that has been marked and, responsive to the attempt to access the memory address that has been marked, alerting of a security violation.

Abstract: In one implementation, a method includes receiving versions of a message from a first satellite-based receiver and a second satellite-based receiver that both received a radio frequency (“RF”) transmission of the message, the message comprising a self-reported position of a transmitter of the message. The method also includes determining a time difference between a first arrival time of the RF transmission of the message at the first satellite-based receiver and a second arrival time of the RF transmission of the message at the second satellite-based receiver. The method further includes determining a measure of the likelihood that the self-reported position of the transmitter is valid based on the time difference between the first and second arrival times. The method still further includes transmitting an indication of the measure of the likelihood that the self-reported position is valid.

Abstract: In one implementation, a method includes receiving a number of instances of a message that includes a self-reported position of a transmitter of the message from a corresponding number of satellite-based receivers that each received an RF transmission of an instance of the message. The method also includes determining the number of satellite-based receivers that received an instance of the message and selecting a validation technique based on the number of satellite-based receivers that received an instance of the message. If the number of satellite-based receivers that received an instance of the message is one, a propagation-based validation technique is selected. The method further includes determining a measure of the likelihood that the self-reported position of the transmitter is valid using the selected validation technique, and transmitting an indication of the measure of the likelihood that the self-reported position is valid.

Abstract: In one implementation, a method for scheduling beams of an antenna on a satellite during a defined time period includes calculating a beam score for each beam based on the expected gain of the beam and determining that the number of beams having non-zero beam scores during the defined time period is less than a threshold value. In addition, the method also includes accessing a set of beam weights for each of multiple different candidate beam patterns, and, for each set of weights, multiplying individual beam weights by corresponding beam scores, and generating a candidate beam pattern score by calculating a sum of the products of the beam weights and corresponding beam scores. The method further includes comparing the candidate beam pattern scores, selecting a particular one of the candidate beam patterns, and scheduling the selected beam pattern for the defined time period.

Abstract: In one implementation, a method includes receiving versions of a message from a first satellite-based receiver and a second satellite-based receiver that both received a radio frequency (“RF”) transmission of the message, the message comprising a self-reported position of a transmitter of the message. The method also includes determining a time difference between a first arrival time of the RF transmission of the message at the first satellite-based receiver and a second arrival time of the RF transmission of the message at the second satellite-based receiver. The method further includes determining a measure of the likelihood that the self-reported position of the transmitter is valid based on the time difference between the first and second arrival times. The method still further includes transmitting an indication of the measure of the likelihood that the self-reported position is valid.

Abstract: Embodiments of the disclosure are directed to a linear edge connector assembly for connecting to a substrate diving board of a mother board. The linear edge connector assembly can include an electrical interface to electrically connect the contacts on the diving board to one or more conducts of a cable bundle. The linear edge connector assembly can also include a retaining force mechanism. The retaining force mechanism can include a torsional spring, a spring loaded hooking mechanism, or a spring loaded cam and lever. In some embodiments, the linear edge connector can include a notch to receive a latch connected to a bolster plate on the mother board.

Abstract: A head-mounted display (HMD) system includes an HMD device wearable upon a head of a user, and a peripheral device that is dockable with the HMD device. The peripheral device comprises a plurality of light source elements disposed along a perimeter of a face of the peripheral device and a peripheral electronic control system. The peripheral electronic control system is configured to form an optically detectable light pattern with the plurality of light source elements by controlling each of the light source elements. The HMD device is configured to detect the optically detectable light pattern with a camera and to display an augmented reality (AR) content based on the identified optically detectable light pattern.

Abstract: In one implementation, a method includes receiving simulated RF transmission data indicative of anticipated RF transmissions from a plurality of transmitters, wherein individual anticipated RF transmissions carry corresponding messages, and simulated position data indicative of an anticipated position of each of the plurality of transmitters. The method further includes modeling characteristics of a communications channel expected between a satellite-based receiver and at least some of the transmitters, wherein the satellite-based receiver is configured to define one or more beams for receiving anticipated RF transmissions. The method additionally includes determining a likelihood of the receiver successfully extracting one or more components of a message from one of the anticipated RF transmissions based on at least the simulated RF transmission data, the simulated position data, and the modeled characteristics of the communications channel.

Abstract: A head-mounted display (HMD) system includes an HMD device wearable upon a head of a user, and a peripheral device that is dockable with the HMD device via a pair of electronic connectors. The HMD device and the peripheral device may communicate with each other via wireless communications in a docked configuration, and may communicate with each other via wired communications over the pair of electronic connectors in the docked configuration. The HMD system supports a variety of different modes of operation that may be varied responsive to whether the peripheral device is in the docked configuration or the undocked configuration with the HMD device.

Abstract: In one implementation, a pair of messages are received from one or more space-based receivers that each received the pair of messages. The pair of messages comprise encoded position information of a transmitter, and a plurality of candidate locations for the transmitter is determined therefrom. A location of the transmitter is determined by eliminating candidate locations until only one remains. In particular, each candidate location that is not within a coverage area of each of the space-based receivers is eliminated, and each candidate location that is not within a predetermined distance of at least one previous candidate location is eliminated. In addition, it is determined that the remaining candidate location is within the coverage area of each of the space-based receivers as well as within the predetermined distance of at least one previous candidate location. Upon determining the location of the transmitter, it is transmitted to a subscriber system.

Abstract: In one implementation, a method includes receiving a number of instances of a message that includes a self-reported position of a transmitter of the message from a corresponding number of satellite-based receivers that each received an RF transmission of an instance of the message. The method also includes determining the number of satellite-based receivers that received an instance of the message and selecting a validation technique based on the number of satellite-based receivers that received an instance of the message. If the number of satellite-based receivers that received an instance of the message is one, a propagation-based validation technique is selected. The method further includes determining a measure of the likelihood that the self-reported position of the transmitter is valid using the selected validation technique, and transmitting an indication of the measure of the likelihood that the self-reported position is valid.

Abstract: An articulating joint for a wind turbine having a tower defining a shaft and a deck provided in the shaft includes a bracket extending from a first end having a fixed connection with the deck to a second end including an opening. A fastener includes a head pivotably connected to the tower and a shaft extending through the opening. A washer connected to the bracket is aligned with the opening for receiving the shaft such that the fastener is pivotable with the washer relative to the opening to allow for relative movement between the tower and the deck.

Abstract: In one implementation, satellite coverage provisioning for a service area may be performed by updating power consumption states for satellites in a constellation of satellites and determining whether each satellite of the constellation is required to be in the minimal power consumption mode based on its updated power consumption state. For satellites that are not required to be in the minimal power consumption mode, a power consumption score may be calculated and these satellites may be sorted according to their respective power consumption scores. Based on the sorted order, it may be determined whether at least some of these satellites can be put into a reduced power consumption mode based on their respective power consumption scores and coverage of the service area. Then it may be determined if each of the satellites that are in the reduced power consumption mode can be put into the minimal power consumption mode.

Abstract: In one implementation, a pair of messages are received from one or more space-based receivers that each received the pair of messages. The pair of messages comprise encoded position information of a transmitter, and a plurality of candidate locations for the transmitter is determined therefrom. A location of the transmitter is determined by eliminating candidate locations until only one remains. In particular, each candidate location that is not within a coverage area of each of the space-based receivers is eliminated, and each candidate location that is not within a predetermined distance of at least one previous candidate location is eliminated. In addition, it is determined that the remaining candidate location is within the coverage area of each of the space-based receivers as well as within the predetermined distance of at least one previous candidate location. Upon determining the location of the transmitter, it is transmitted to a subscriber system.

Abstract: Systems and methods for providing a searchable platform for online content. Online content may be obtained over a network. The online content may have existing metadata associated with the online content. The existing metadata may include platform information related to distribution of the online content through the online content distribution platform, file information related to an electronic file that defines the online content, and/or other information. The existing metadata associated with the online content may be processed such that the existing metadata is searchable. Supplemental metadata for the online content may be obtained. The supplemental metadata may be associated with the online content. The supplemental metadata may include one or more of platform information, file information, content information, contextual information, and/or other information. A search query may be received and a result may be generated based the existing metadata and/or the supplemental metadata.

Abstract: In one implementation, a method for scheduling beams of an antenna on a satellite during a defined time period includes calculating a beam score for each beam based on the expected gain of the beam and determining that the number of beams having non-zero beam scores during the defined time period is less than a threshold value. In addition, the method also includes accessing a set of beam weights for each of multiple different candidate beam patterns, and, for each set of weights, multiplying individual beam weights by corresponding beam scores, and generating a candidate beam pattern score by calculating a sum of the products of the beam weights and corresponding beam scores. The method further includes comparing the candidate beam pattern scores, selecting a particular one of the candidate beam patterns, and scheduling the selected beam pattern for the defined time period.

Abstract: In one implementation, satellite coverage provisioning for a service area may be performed by updating power consumption states for satellites in a constellation of satellites and determining whether each satellite of the constellation is required to be in the minimal power consumption mode based on its updated power consumption state. For satellites that are not required to be in the minimal power consumption mode, a power consumption score may be calculated and these satellites may be sorted according to their respective power consumption scores. Based on the sorted order, it may be determined whether at least some of these satellites can be put into a reduced power consumption mode based on their respective power consumption scores and coverage of the service area. Then it may be determined if each of the satellites that are in the reduced power consumption mode can be put into the minimal power consumption mode.

Abstract: A container assembly and system for dispensing a stack of electronic device components includes an elongated tube having a cavity configured to contain a stack of said components. The tube has a dispensing end opposite an access end and a dispenser opening sized to dispense the electronic device components. The access end has an access opening sized to allow entry of a press to push the stack upwardly. A retainer is positioned proximate the access end to engage a last component in the stack and prevent it from exiting the tube through the access opening. The retainer may include a plurality of retainers. The retainer(s) can be a pair of retainers, four retainers, a chamfer formed in the tube, a perimeter insert, and/or a slidable panel. A method of making and a method of dispensing are provided.

Abstract: Embodiments of the present disclosure are directed towards socket contact techniques and configurations. In one embodiment, an apparatus may include a socket substrate having a first side and a second side disposed opposite to the first side, an opening formed through the socket substrate, an electrical contact disposed in the opening and configured to route electrical signals between the first side and the second side of the socket substrate, the electrical contact having a cantilever portion that extends beyond the first side, wherein the first side and surfaces of the socket substrate in the opening are plated with a metal. Other embodiments may be described and/or claimed.

Abstract: In one implementation, satellite coverage provisioning for a service area may be performed by updating power consumption states for satellites in a constellation of satellites and determining whether each satellite of the constellation is required to be in the minimal power consumption mode based on its updated power consumption state. For satellites that are not required to be in the minimal power consumption mode, a power consumption score may be calculated and these satellites may be sorted according to their respective power consumption scores. Based on the sorted order, it may be determined whether at least some of these satellites can be put into a reduced power consumption mode based on their respective power consumption scores and coverage of the service area. Then it may be determined if each of the satellites that are in the reduced power consumption mode can be put into the minimal power consumption mode.