Abstract: In one embodiment, the present invention includes a method for executing a first reduction operation on data in an input buffer, executing a second reduction operation on the data, where the second reduction operation has a higher reliability than the first reduction operation, and comparing the first and second results. Other embodiments are described and claimed.

Abstract: In one embodiment, the present invention includes a method for executing a first reduction operation on data in an input buffer, executing a second reduction operation on the data, where the second reduction operation has a higher reliability than the first reduction operation, and comparing the first and second results. Other embodiments are described and claimed.

Abstract: Methods and apparatus to synchronize local times at nodes in a computer network are disclosed. An example method disclosed herein comprises determining a sequence of time sample pairs, wherein each time sample pair in the sequence of time sample pairs comprises a respective local time measurement generated by a node in the computer network and a respective reference time measurement generated by a reference time source. The example method further comprises determining a plurality of cubic splines, wherein each cubic spline in the plurality of cubic splines interpolates between two respective time sample pairs in the sequence of time sample pairs. Additionally, the example method further comprises mapping a local time value associated with the node to a corresponding reference time value associated with the reference time source based on the plurality of cubic splines. Other embodiments are described and claimed.

Abstract: Methods and apparatus to synchronize local times at nodes in a computer network are disclosed. An example method disclosed herein comprises determining a sequence of time sample pairs, wherein each time sample pair in the sequence of time sample pairs comprises a respective local time measurement generated by a node in the computer network and a respective reference time measurement generated by a reference time source. The example method further comprises determining a plurality of cubic splines, wherein each cubic spline in the plurality of cubic splines interpolates between two respective time sample pairs in the sequence of time sample pairs. Additionally, the example method further comprises mapping a local time value associated with the node to a corresponding reference time value associated with the reference time source based on the plurality of cubic splines. Other embodiments are described and claimed.

Abstract: Methods and apparatus to perform distributed memory checking for distributed applications are disclosed. An example method comprises sending data from a first process to a second process, and sending distributed memory check data to the second process, wherein the distributed memory check data represents an initialization state of the data at the first process.