Without care, Hardware Transactional Memory presents several performance pathologies that can degrade its performance. Among them, writers of commonly read variables can suffer from starvation. Though different solutions have been proposed for HTM systems, hybrid systems can still suffer from this performance problem, given that software transactions don’t interact with the mechanisms used by h...

ErbB3 (HER3) is a member of the EGF receptor (EGFR) family of receptor tyrosine kinases, which, unlike the other three family members, contains a pseudo kinase in place of a tyrosine kinase domain. In cancer, ErbB3 activation is driven by a ligand-dependent mechanism through the formation of heterodimers with EGFR, ErbB2, or ErbB4 or via a ligand-independent process through heterodimerization w...

A simple synthesis of highly planar extended π-electron molecules is particular interest for the development efficient nonfullerene acceptors in organic solar cells with high light absorption and mobility. Herein, two small-molecule (MPU7 MPU8) a diketopyrrolopyrrole core connected to CPTCN end-capping groups (A2) via thienylethynylselenophene (MPU7) or thienylethynylthiophene (MPU8) linkers ar...

Concurrent programming is notoriously difficult because actions by concurrent threads may be interleaved and result in unanticipated interactions, particularly on a shared-memory system. One mechanism proposed to address this difficulty is transactional memory (TM): programmers can group several operations into a transaction, which a TM implementation guarantees will appear to execute atomicall...

E cient synchronization is an essential component of parallel computing The designers of traditional multiprocessors have included hardware support only for simple operations such as compare and swap and load linked store conditional while high level synchronization primitives such as locks barriers and condition variables have been implemented in software With the advent of directory based dis...

OBJECTIVE To investigate the effect of antibiotic lock solutions for preventing catheter-related bacteraemia in patients receiving haemodialysis. DESIGN Retrospective study. SETTING University teaching hospital, Hong Kong. PATIENTS Consecutive patients from March 2006 to April 2007 who had central venous catheter insertion for haemodialysis in our centre were included in this historically...

This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic. As usual, each lock is associated with a resource invariant, i.e., when acquiring the lock the resources are obtained by the thread holding the lock, and when releasing the lock, the resources are released. To accomm...