<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Louren{\c c}o, João</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Barner, Sharon</style></author><author><style face="normal" font="default" size="100%">Harris, Ian</style></author><author><style face="normal" font="default" size="100%">Kroening, Daniel</style></author><author><style face="normal" font="default" size="100%">Raz, Orna</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Understanding Transactional Memory (Extended Abstract)</style></title><secondary-title><style face="normal" font="default" size="100%">Hardware and Software: Verification and Testing</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Lecture Notes in Computer Science</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-642-19583-9_1</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Berlin / Heidelberg</style></publisher><volume><style face="normal" font="default" size="100%">6504</style></volume><pages><style face="normal" font="default" size="100%">1–2</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">Transactional Memory [3] (TM) is a new paradigm for concurrency control that brings the concept of transactions, widely known from the Databases community, into the management of data located in main memory. TM delivers a powerful semantics for constraining concurrency and provides the means for the extensive use of the available parallel hardware. TM uses abstractions that promise to ease the development of scalable parallel applications by achieving performances close to fine-grained locking while maintaining the simplicity of coarse-grained locking.</style></abstract></record></records></xml>