In this paper we present CMTJava, a domain specific language for composable memory transactions [7] in Java. CMTJava provides the abstraction of transactional objects. Transactional objects have their fields accessed only by special get and set methods that are automatically generated by the compiler. These methods return transactional actions as a result. A transactional action is an action th...

We present a framework for verifying transactional memory (TM) algorithms. Specifications and algorithms are specified using I/O automata, enabling hierarchical proofs that the algorithms implement the specifications. We have used this framework to develop what we believe is the first fully formal machine-checked verification of a practical TM algorithm: the NOrec algorithm of Dalessandro, Spea...

Leadership is the activity to influences others in order guide them towards a certain goal (Miftah Thoha, 2013; 121). A leader someone with capabilities and advantages so that they can guides work together for similar goal. Political leadership covers wide range of topics due how country are constituted by structures designed run it. Transactional occurs because default form social control betw...

Transactional patterns are used to specify flexible and reliable composite Web services. A transactional pattern is a convergence concept between workflow patterns and advanced transactional models. These are of coordination patterns and as a structured transaction. This project proposes an event-driven approach to validate the transactional behavior of service compositions. The transactional b...

BACKGROUND Evidence shows that HIV prevalence among young women in sub-Saharan Africa increases almost five-fold between ages 15 and 24, with almost a quarter of young women infected by their early-to mid-20s. Transactional sex or material exchange for sex is a relationship dynamic that has been shown to have an association with HIV infection. METHODS Using five focus group discussions and 19...

A transactional memory simplifies the concurrency management in multicore systems by permitting sets of load and store instructions to be executed in an atomic way. The correct results for concurrent transactions and the execution time strongly depend on the coherency potentials, rollback capabilities and strategies of the transactional memory. A transactional memory can be implemented as a Har...