Abstract: A method, apparatus and computer program product to be employed by a hardware component under validation, wherein the hardware component having a plurality of processing units each belonging to one of at least two types, such that one of the at least two types of processing units is less error-prone then a remainder of the at least two types. The method comprising: designating one of the processing units of the hardware component under validation that belongs to the less error-prone type as a manager processing unit; initiating execution of a tester program code for testing processing units, by processing units of the hardware component other than the manager processing unit; and, monitoring by the manager processing unit the status of the processing units during execution of the tester program code.

Abstract: The disclosed subject matter pertains to dispensing assemblies and containers fitted with the same. In accordance with the disclosed subject matter there is disclosed a connector for connecting to a spout attachable to a container, the connector is configured with a spout engaging portion and a cover engaging portion, the cover engaging portion is configured to engage with a re-closable cover. One of the spout engaging portion and the spout comprising an arresting portion, and the other of the spout engaging portion and the spout comprising a first radial locking projection and a second radial locking projection, both configured for engaging with the arresting portion in a first coupling stage where the first radial locking projection detachably engages the arresting portion, and a second coupling stage where the second radial locking projection fixedly engages the arresting portion.

Abstract: A method for configuring a Field Programmable Gate Array (FPGA) with a Constraint Satisfaction Problem (CSP) assignment having multiple constraint expressions, the method comprising: setting each of the multiple constraint expressions as a configurable logic block (CLB) in the FPGA, to yield multiple CLBs; setting an assignment vector in the FPGA, wherein the assignment vector is a number vector configured to store a candidate solution to the CSP assignment; and forming a feedback loop by connecting the assignment vector to inputs of the multiple CLBs, and connecting outputs of the multiple CLBs to the assignment vector. Further disclosed is a design structure for the FPGA, optionally residing on a storage medium as a data format used for the exchange of layout data of integrated circuits.

Abstract: A method of establishing a connection among a plurality of persons according to embodiments of the present invention may include executing instructions by a processor to identify a characteristic that is present in a first image of a portfolio of images and in a second image of the portfolio of images; defining by the characteristic an association of the first image and the second image; and defining a social connection between a first person associated with the first image and a second person associated with the second image. According to some embodiments, a method of identifying a connection between a first person and a second person, may include: receiving, by a computing device, at least one image that may include a data characteristic associated with the first person and with the second person; automatically identifying that the at least one image includes the characteristic; and automatically associating the first person and the second person.

Abstract: Localizing errors by: (i) running a testcase on a hardware processor and saving results; (ii) running the testcase on a software model of the processor and saving results; (iii) recording control flow information during the software run; (iv) determining a set of miscompare data storage locations by comparing the results from the hardware run with those from the software run; (v) based on the set of miscompare data storage locations and/or the control flow information, generating and running a modified version of the testcase that takes a different execution path when run on the software model than did the original testcase when run on the software model; and (vii) comparing the results from the hardware run and the results obtained from the modified software run to provide an indication of similarity between execution paths taken in these respective runs.

Abstract: A method comprising, in a cloud computing system: receiving a new job at the cloud computing system; sampling VMs (Virtual Machines) of the cloud computing system for the load currently handled by each of the VMs; if the load currently handled by the VMs is within operational bounds, sending the new job to one of the VMs which currently handles the highest load compared to other ones of the VMs; and if the load currently handled by the VMs is beyond operational bounds, sending the new job to one of the VMs which currently handles the lowest load compared to other ones of the VMs.

Abstract: Embodiments of the invention include a method of predicting that a person appearing in an image is an operator of a device capturing the image. Embodiments of the method include designating a first person appearing in a first image stored in a storage-unit associated with the device and designating a second person appearing in a second image stored in the storage-unit. Embodiments of the method further include calculating a first probability that the first person is the operator of the device, calculating a second probability that the second person is the operator of the device and comparing the first probability to the second probability.

Abstract: A method for configuring a Field Programmable Gate Array (FPGA) with a Constraint Satisfaction Problem (CSP) assignment having multiple constraint expressions, the method comprising: setting each of the multiple constraint expressions as a configurable logic block (CLB) in the FPGA, to yield multiple CLBs; setting an assignment vector in the FPGA, wherein the assignment vector is a number vector configured to store a candidate solution to the CSP assignment; and forming a feedback loop by connecting the assignment vector to inputs of the multiple CLBs, and connecting outputs of the multiple CLBs to the assignment vector. Further disclosed is a design structure for the FPGA, optionally residing on a storage medium as a data format used for the exchange of layout data of integrated circuits.

Abstract: A method of controlling an electronic device thought, includes: capturing through one or more electrodes, located in proximity to a brain of a user, signals of brainwave activity of said user; analyzing said signals to detect a pattern of brainwave activity of said user; based on the detected pattern, determining that the user thinks about a command that controls an electronic device; and based on said determining, triggering the electronic device to perform said command.

Abstract: A method for determining that a user associated with a first identifiable device or identifiable service is also associated with a second identifiable device or identifiable service by a) generating one or more first image descriptors for one or more first images stored on the first identifiable service associated with a first user, b) generating one or more second image descriptors for one or more second images stored on the second identifiable service associated with a second user, c) calculating, based on the generated first and second image descriptors, the probability that the first user is also the second user. Also provided is a computer readable storage medium containing program code for implementing the method.

Abstract: A method of generating user insights based on one or more user images and one or more other data is provided, including receiving one or more image files on an identifiable device or service, receiving at least one of image metadata or identifiable device or service metadata, analyzing features of the received image files, based on at least one of the received image metadata or identifiable device or service metadata and generating at least one user insight for a user associated with the identifiable device or service. Also provided is a computer readable storage medium containing program code for implementing the method.

Abstract: Localizing errors by: (i) running a testcase on a hardware processor and saving results; (ii) running the testcase on a software model of the processor and saving results; (iii) recording control flow information during the software run; (iv) determining a set of miscompare data storage locations by comparing the results from the hardware run with those from the software run; (v) based on the set of miscompare data storage locations and/or the control flow information, generating and running a modified version of the testcase that takes a different execution path when run on the software model than did the original testcase when run on the software model; and (vii) comparing the results from the hardware run and the results obtained from the modified software run to provide an indication of similarity between execution paths taken in these respective runs.

Abstract: Localizing errors by: (i) running the testcase on a software model version of a processor to yield first testcase-run results in the form of a first set of values respectively stored in the set of data storage locations; (ii) creating a resource dependency information set based on the instructions of the testcase; (iii) running the testcase on a hardware version of the processor to yield second testcase-run results in the form of a second set of values respectively stored in the set of data storage locations; (iv) determining a set of miscompare data storage location(s), including at least a first miscompare data storage location, by comparing the first set of values and the second set of values; and (v) creating an initial dynamic slice of the data flow.

Abstract: Method, system and product for post silicon validation using a partial reference model. The method performed by a device having registers, the method comprising: first executing, by the device when operating in trace mode, a test-case, wherein during the execution utilizing a partial reference model to determine an expected value of at least one register; second executing, by the device when operating in non-trace mode, the test-case; and in response to said second executing, checking values of registers based on, at least in part, values determined during said first execution.

Abstract: An apparatus and a computer-implemented method performed by a computerized device, comprising: generating a collection of test data for testing one or more domains, wherein the test data is useful for post-silicon verification of hardware devices; selecting a subset of the collection of test data in accordance with a hardware device to be tested and at least one of the domains to be tested with respect to the hardware device; and indexing the subset of the collection of test data to obtain an indexed collection.

Abstract: Systems, methods, and computer-readable storage media are provided for managing policy and permissions profiles. Individuals or organizations are permitted to author profiles utilizing a profile template and publish such authored profiles for access and adoption by others. Users are able to import desired profiles and subsequently have those imported profiles applied each time he or she accesses an application or service to which the profile pertains. User interfaces from which users may view profiles associated with them, make alterations to settings of profiles associated with them, and/or select from a plurality of profiles for a particular application or service are also provided. Still further, recommendations may be provided to users for policy and permissions profiles based upon, for instance, crowd-sourcing, profiles adopted by social network connections of a user or other users that are “like” a user, prior profile selections made by the user, and/or prior user behavior.

Abstract: A method includes executing a first post-silicon testing program by a reference model. During the execution of the first post-silicon testing program, one or more test-cases are generated. The first post-silicon testing program is executed in an offline generation mode. During execution of the first post-silicon testing program each test case is generated in a different memory location. After the execution, generating a second post-silicon testing program that is configured to execute the one or more test-cases. The method further includes executing the second post-silicon testing program on an acceleration platform.

Abstract: A method for determining that a user associated with a first identifiable device or identifiable service is also associated with a second identifiable device or identifiable service by a) generating one or more first image descriptors for one or more first images stored on the first identifiable service associated with a first user, b) generating one or more second image descriptors for one or more second images stored on the second identifiable service associated with a second user, c) calculating, based on the generated first and second image descriptors, the probability that the first user is also the second user. Also provided is a computer readable storage medium containing program code for implementing the method.

Abstract: A method of generating user insights based on one or more user images and one or more other data is provided, including receiving one or more image files on an identifiable device or service, receiving at least one of image metadata or identifiable device or service metadata, analyzing features of the received image files, based on at least one of the received image metadata or identifiable device or service metadata and generating at least one user insight for a user associated with the identifiable device or service. Also provided is a computer readable storage medium containing program code for implementing the method.

Abstract: A method for determining a user's identifier on an identifiable service by: a) capturing a user action performed by the user on a first identifiable service where the user action causes user generated content to be added to a second identifiable service; b) monitoring the second identifiable service for events of user generated content being added to the second identifiable service by users of the second identifiable service, each such event of user generated content being associated with a user identifier, and recording the event and the respective user identifier; c) determining a probabilistic match between the captured user action and one of the one or more monitored events. Also provided is a computer readable storage medium containing program code for implementing the method.