1

A Hardware Approach to Detect, Expose and Tolerate High Level Data Races
N/A
L. Orosa, João M. Lourenço
Posted Feb 1, 2016
Cite Link
A hardware approach for detecting, exposing and tolerating high level atomicity violations
Multicores are the main trend in computer architecture to gain performance without exponentially increasing the power consumption. …
Lois Orosa, João M. Lourenço
Posted Jan 1, 2016
Cite Link
Extracting static and dynamic structural information from Java concurrent programs for coverage testing
This paper proposes novel techniques for the extraction of structural information from the source code of Java concurrent programs for …
Rafael R. Prado, Paulo S. L. Souza, George G M Dourado, Simone R. S. Souza, Julio C. Estrella, Sarita M. Bruschi, João M. Lourenço
Posted Dec 1, 2015
Cite Link
Armazenamento Distribuído para Redes de Dispositivos Móveis
N/A
Ricardo Monteiro, João a Silva, João M. Lourenço, Hervé Miguel Cordeiro Paulino
Posted Sep 1, 2015
Cite
Como separar o trigo do joio? Ou: Como selecionar a melhor fotografia de um conjunto de fotografias semelhantes
N/A
André Alves, Fernando P. Birra, João M. Lourenço
Posted Sep 1, 2015
Cite
Execução Concorrente e Determinista de Transações
N/A
João M. Lourenço, Tiago M. Vale
Posted Sep 1, 2015
Cite
Boosting locality in multi-version partial data replication
Partial data replication protocols for transactional distributed systems present a high scalability potential, but suffer from a …
João A. Silva, João M. Lourenço, Hervé Paulino
Posted Apr 1, 2015
Cite Link
Dynamic Validation of Contracts in Concurrent Code
Multi-threaded programs allow one to achieve better performance by doing a lot of work in parallel using multiple threads. Such …
Jan Fiedor, Zdenek Letko, João M. Lourenço, Tomas Vojnar
Posted Feb 1, 2015
Cite
Crowdsourcing Mobile Devices to Provide Storage in Edge-Clouds
N/A
João A. Silva, Hervé Paulino, João M. Lourenço
Posted Jan 1, 2015
Cite
Decentralized storage for networks of hand-held devices
In this paper we propose a fully distributed storage system for everyday hand-held mobile devices, eg, smartphones and tablets, that …
Ricardo Monteiro, João Silva, João M. Lourenço, Hervé Paulino
Posted Jan 1, 2015
Cite Link