2

Towards the opportunistic combination of mobile ad-hoc networks with infrastructure access
One of the main characteristics of mobile ad-hoc networks (MANETs) is the lack of global, consistent, and up-to-date knowledge of the …
João a Silva, Joao Leitao, Nuno Preguiça, Joao M Lourenço, Hervé Paulino
Posted Jan 1, 2016
Link
Towards the opportunistic combination of mobile ad-hoc networks with infrastructure access
One of the main characteristics of mobile ad-hoc networks (MANETs) is the lack of global, consistent, and up-to-date knowledge of the …
João a Silva, Joao Leitao, Nuno Preguiça, Joao M Lourenço, Hervé Paulino
Posted Jan 1, 2016
Link
Armazenamento Distribuído para Redes de Dispositivos Móveis
N/A
Ricardo Monteiro, João a Silva, João M Lourenço, Hervé Paulino
Posted Jan 1, 2015
Link
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 Jan 1, 2015
Link
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 a Silva, João Lourenço, Hervé Paulino
Posted Jan 1, 2015
Link
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 a Silva, João Lourenço, Hervé Paulino
Posted Jan 1, 2015
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, Zdeněk Letko, João Lourenço, Tomáš Vojnar
Posted Jan 1, 2015
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, Zdeněk Letko, João Lourenço, Tomáš Vojnar
Posted Jan 1, 2015
Link
Execução concorrente e determinista de transacções
Neste artigo apresentamos um protocolo de controlo de concorrência que garante que a execução concorrente de transações é equivalente à …
Tiago M Vale, JA Silva, RJ Dias, João M Lourenço
Posted Jan 1, 2015
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 SL Souza, George GM Dourado, Simone RS Souza, Julio C Estrella, Sarita M Bruschi, Joao Lourenco
Posted Jan 1, 2015
Link