2

Towards a persistent publish/subscribe system for networks of mobile devices
There is a clear trend and progressive interest in the quasi-real-time sharing of user-generated content, and mobile devices are among …
Filipe Cerqueira, Joao a Silva, João M Lourenço, Hervé Paulino
Posted Jan 1, 2017
Link
Um sistema publicador/subscritor com persistência de dados para redes de dispositivos móveis
Os dispositivos móveis são atualmente uma das principais fontes de geração de conteúdos pessoais. A portabilidade e a crescente …
Filipe Alexandre Bandeira Cerqueira
Posted Jan 1, 2017
Link
Verifying concurrent programs using contracts
The central notion of this paper is that of contracts for concurrency, allowing one to capture the expected atomicity of sequences of …
Ricardo J Dias, Carla Ferreira, Jan Fiedor, João M Lourenço, Aleš Smrcka, Diogo G Sousa, Tomáš Vojnar
Posted Jan 1, 2017
Link
Verifying concurrent programs using contracts
The central notion of this paper is that of contracts for concurrency, allowing one to capture the expected atomicity of sequences of …
Ricardo J Dias, Carla Ferreira, Jan Fiedor, João M Lourenço, Aleš Smrcka, Diogo G Sousa, Tomáš Vojnar
Posted Jan 1, 2017
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, JM Lourenço
Posted Jan 1, 2016
Link
A suite of Java message-passing benchmarks to support the validation of testing models, criteria and tools
This paper proposes a novel suite of benchmarks for the evaluation of the structural testing of concurrent programs with …
George GM Dourado, Paulo SL Souza, Rafael R Prado, Raphael N Batista, Simone RS Souza, Julio C Estrella, Sarita M Bruschi, Joao Lourenco
Posted Jan 1, 2016
Link
Comunicação Móvel Inter-Grupo Baseada em TCP sobre Wi-Fi Direct
N/A
António Teófilo, Diogo Remédios, Hervé Paulino, João Lourenço
Posted Jan 1, 2016
Link
Ephemeral data storage for networks of hand-held devices
Presently, hand-held mobile devices, such as smartphones, generate and record large amounts of data (e.g., multimedia files like photos …
João a Silva, Ricardo Monteiro, Hervé Paulino, João M Lourenço
Posted Jan 1, 2016
Link
Ephemeral data storage for networks of hand-held devices
Presently, hand-held mobile devices, such as smartphones, generate and record large amounts of data (e.g., multimedia files like photos …
João a Silva, Ricardo Monteiro, Hervé Paulino, João M Lourenço
Posted Jan 1, 2016
Link
Pot: Deterministic transactional execution
This article presents Pot, a system that leverages the concept of preordered transactions to achieve deterministic multithreaded …
Tiago M Vale, João a Silva, Ricardo J Dias, João M Lourenço
Posted Jan 1, 2016
Link