Abstract: Methods, systems and computer program products for generating a functional logic cone signature for circuit analysis are provided. Aspects include for each of a plurality of portions of a circuit diagram of a circuit, tracing the respective portion of the circuit diagram to identify circuit components associated with the respective portion of the circuit diagram from a starting latch to one of one or more source latches. Circuit components include circuit elements and circuit connections. Aspects include generating an ASCII representation of the respective identified circuit components for each of the plurality of portions of the circuit diagram of the circuit. Aspects include generating a plurality of hash values by applying a hashing function to each ASCII representation. Each hash value corresponds to one of the plurality of portions of the circuit diagram. Aspects also include storing the hash values in a data structure.

Abstract: A method for resetting of memory locks in a transactional memory system. The method includes a processor setting at least one new memory lock during execution of a transaction that acquires access to a region of memory. The new memory lock indicates that the transaction and its associated thread have exclusive temporary access to the memory region. The method further includes determining if a first in first out (FIFO) memory lock register is full of memory locks and, in response to the FIFO memory lock register being full, a memory lock is removed from a tail position of the FIFO memory lock register. The removed memory lock is reset to return to a transactional memory state and the new memory lock is added to a head position in the FIFO memory lock register.

Abstract: A system and computer program product for resetting of memory locks in a transactional memory system. The system includes a processor setting at least one new memory lock during execution of a transaction that acquires access to a region of memory. The new memory lock indicates that the transaction and its associated thread have exclusive temporary access to the memory region. The system further includes the processor determining if a first in first out (FIFO) memory lock register is full of memory locks and, in response to the FIFO memory lock register being full, a memory lock is removed from a tail position of the FIFO memory lock register. The removed memory lock is reset to return to a transactional memory state and the new memory lock is added to a head position in the FIFO memory lock register.

Abstract: A method for resetting of memory locks in a transactional memory system. The method includes a processor setting at least one new memory lock during execution of a transaction that acquires access to a region of memory. The new memory lock indicates that the transaction and its associated thread have exclusive temporary access to the memory region. The method further includes determining if a first in first out (FIFO) memory lock register is full of memory locks and, in response to the FIFO memory lock register being full, a memory lock is removed from a tail position of the FIFO memory lock register. The removed memory lock is reset to return to a transactional memory state and the new memory lock is added to a head position in the FIFO memory lock register.

Abstract: A system and computer program product for resetting of memory locks in a transactional memory system. The system includes a processor setting at least one new memory lock during execution of a transaction that acquires access to a region of memory. The new memory lock indicates that the transaction and its associated thread have exclusive temporary access to the memory region. The system further includes the processor determining if a first in first out (FIFO) memory lock register is full of memory locks and, in response to the FIFO memory lock register being full, a memory lock is removed from a tail position of the FIFO memory lock register. The removed memory lock is reset to return to a transactional memory state and the new memory lock is added to a head position in the FIFO memory lock register.

Abstract: Certain exemplary embodiments comprise a system for storing information in a repository. The system comprises an interface processor for receiving a text file comprising a plurality of records containing data in a character string representative data format. The system further comprises a pre-processor for parsing a reference file to determine relationships between records comprised of character strings in the text file, the relationships comprising a key relationship, and for storing data identifying the relationships in memory. The system further comprises a data processor for storing the records comprised of the character strings in the text file in a repository using the data identifying the relationships.

Abstract: Compositions and methods for making and using modified anti-infective peptides are provided. For example, synthetically and/or recombinantly produced analogues or derivatives of naturally occurring anti-infective peptides may be efficiently modified using the compositions and methods provided herein to generate similar or identical post-translational modifications found in wild-type anti-infective peptides. The modified anti-infective peptides (e.g., antimicrobial cationic peptides) and analogues or derivatives thereof may be used, for example, in the treatment of microorganism-caused infections.