2

On the relevance of total-order broadcast implementations in replicated software transactional memories
Transactional Memory (TM), an attractive solution to support concurrent accesses to main-memory storage, is already being deployed by …
Tiago M Vale, Ricardo J Dias, João M Lourenço
Posted Jan 1, 2013
Link
On the relevance of total-order broadcast implementations in replicated software transactional memories
Transactional Memory (TM), an attractive solution to support concurrent accesses to main-memory storage, is already being deployed by …
Tiago M Vale, Ricardo J Dias, João M Lourenço
Posted Jan 1, 2013
Link
Prevenção de Violações de Atomicidade usando Contratos
A programação concorrente obriga o programador a sincronizar os acessos concorrentes a regiões de memória partilhada, contudo esta …
D Sousa, Carla Ferreira, J Lourenço
Posted Jan 1, 2013
Link
Preventing atomicity violations with contracts
Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and …
Diogo Miguel Gaspar De Sousa
Posted Jan 1, 2013
Link
Replicaçao parcial com memória transacional distribuıda
Os sistemas de memória transacional distribuıda atuais recorrem essencialmentea distribuiçao oua replicaçao total para distribuir os …
Joao a Silva, Tiago M Vale, Joao M Lourenço, Hervé Paulino
Posted Jan 1, 2013
Link
Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work?
Programs increasingly rely on the use of complex component libraries, such as in-memory databases. As any other software, these …
Joao Soares, Joao Lourenço, Nuno Preguiça
Posted Jan 1, 2013
Link
Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work?
Programs increasingly rely on the use of complex component libraries, such as in-memory databases. As any other software, these …
Joao Soares, Joao Lourenço, Nuno Preguiça
Posted Jan 1, 2013
Link
Efficient support for in-place metadata in transactional memory
Implementations of Software Transactional Memory (STM) algorithms associate metadata with the memory locations accessed during a …
Ricardo J Dias, Tiago M Vale, João M Lourenço
Posted Jan 1, 2012
Link
Efficient support for in-place metadata in transactional memory
Implementations of Software Transactional Memory (STM) algorithms associate metadata with the memory locations accessed during a …
Ricardo J Dias, Tiago M Vale, João M Lourenço
Posted Jan 1, 2012
Link
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC …
Kerstin Eder, João Lourenҫo, Onn Shehory
Posted Jan 1, 2012
Link