Abstract: A method for workforce management includes receiving a service request associated with a task area from a user device, and controlling movement of an unmanned aerial machine from a home base to the task area. The unmanned aerial machine acquires evaluation data about the task area. The method also includes determining a task to be performed based on the service request, the task area, and the evaluation data.

Abstract: A portable dwelling system includes a rigid dwelling, an external frame, and a plurality of modular amenity units. The rigid dwelling is capable of being removably mountable to a trailer. The external frame is coupled to an exterior of the rigid dwelling and includes an integrated powered rail electrically connected to a power source. The external frame defines receiving areas having a standard size on the exterior of the rigid dwelling. The plurality of modular amenity units each removably interchangeable at any one of the receiving areas via a connector configuration. The connector configuration electrically couples the powered rail to each of the plurality of modular amenity units.

Abstract: A method for workforce management includes receiving a service request associated with a task area from a user device, and controlling movement of an unmanned aerial machine from a home base to the task area. The unmanned aerial machine acquires evaluation data about the task area. The method also includes determining a task to be performed based on the service request, the task area, and the evaluation data.

Abstract: A method includes receiving, from a processor, a first read request mapped including a first read request address to a first memory location of a register array and a second read request including a second read request address to a second memory location of a register array. The method includes assigning a first simulated time delay to the first read request and assigning a second simulated time delay to the second read request. The method includes, in response to a first elapsed time being equal to the first simulated time delay, outputting a first read request response including first data. The first elapsed time commences upon receipt of the first read request. The method includes, in response to a second elapsed time being equal to the second simulated time delay, outputting a second read request response including second data. The second elapsed time commences upon receipt of the second read request.

Abstract: In an embodiment, load transactions are issued to a bus. The load transactions are stalled if the bus cannot accept additional load transactions, and the load transactions are restarted after the bus can accept the additional load transactions. Responses are received from the bus to the load transactions out-of-order from an order that the load transactions were sent to the bus. The responses comprise data and index values that indicate an order that the load transactions were received by the bus. The data is compared in the order that the load transactions were received by the bus against expected data in the order that the load transaction were sent to the bus.

Abstract: In a first aspect, a first method of designing a circuit is provided. The first method includes the steps of (1) providing a model of an original circuit design including a latch; (2) providing a model of a modified version of the original circuit design, wherein the modified version of the original circuit design includes a set of latches associated with the latch of the original circuit design and voting logic having inputs coupled to respective outputs of latches in the latch set; and (3) during Boolean equivalency checking (BEC), injecting an error on at most a largest minority of the inputs of the voting logic to test the voting logic function.

Abstract: In a first aspect, a first method of designing a circuit is provided. The first method includes the steps of (1) providing a model of an original circuit design including a latch; (2) providing a model of a modified version of the original circuit design, wherein the modified version of the original circuit design includes a set of latches associated with the latch of the original circuit design and voting logic having inputs coupled to respective outputs of latches in the latch set; and (3) during Boolean equivalency checking (BEC), injecting an error on at most a largest minority of the inputs of the voting logic to test the voting logic function.

Abstract: A credential repository securely stores user credentials. The credential repository may be accessed by multiple entities. Instead of having a user carry his credentials with him (e.g., on a credit card or driver's license, which can be lost or stolen), the user's credentials are retrieved from the credential repository for use in a transaction. A merchant or other entity requesting the transaction receives these retrieved credentials and uses them to verify the identity of the user who seeks to participate in the transaction. A time-to-live value may be associated with the retrieved credentials. Successful verification of the user's identity enables private or personal data of the user to be released to the merchant or other entity. Optionally, the user explicitly authorizes the release of the data.

Abstract: A credential repository securely stores user credentials. The credential repository may be accessed by multiple entities. Instead of having a user carry his credentials with him (e.g., on a credit card or driver's license, which can be lost or stolen), the user's credentials are retrieved from the credential repository for use in a transaction. A merchant or other entity requesting the transaction receives these retrieved credentials and uses them to verify the identity of the user who seeks to participate in the transaction. A time-to-live value may be associated with the retrieved credentials. Successful verification of the user's identity enables private or personal data of the user to be released to the merchant or other entity. Optionally, the user explicitly authorizes the release of the data.

Abstract: In a first aspect, a first method of designing a circuit is provided. The first method includes the steps of (1) providing a model of an original circuit design including a latch; (2) providing a model of a modified version of the original circuit design, wherein the modified version of the original circuit design includes a set of latches associated with the latch of the original circuit design and voting logic having inputs coupled to respective outputs of latches in the latch set; and (3) during Boolean equivalency checking (BEC), injecting an error on at most a largest minority of the inputs of the voting logic to test the voting logic function.

Abstract: In a first aspect, a first method of designing a circuit is provided. The first method includes the steps of (1) providing a model of an original circuit design including a latch; (2) providing a model of a modified version of the original circuit design, wherein the modified version of the original circuit design includes a set of latches associated with the latch of the original circuit design and voting logic having inputs coupled to respective outputs of latches in the latch set; and (3) during Boolean equivalency checking (BEC), injecting an error on at most a largest minority of the inputs of the voting logic to test the voting logic function.

Abstract: An apparatus for scanning radio waves including a scanner in operable communication with a radio receiver, the scanner further including a monitor module configured to scan a plurality of radio waves in real time. The monitor module is further configured to extract audio samples containing information. The scanner further includes a memory module in communication with the monitor module. The memory module is configured to receive the extracted audio sample data from the monitor module. The memory module is further configured to store the extracted audio sample data. The scanner further includes an audio analyzer module in communication with the memory module. The audio analyzer module is configured to analyze the extracted audio sample data and classify the extracted audio sample data into a particular content category. The scanner further includes a content aggregation module and a second memory module communicating with the content aggregation module.