Home
News
Software
Teaching
Projects
Advisees
Publications
Contacts
Light
Dark
Automatic
1
Comunicação Móvel Inter-Grupo Baseada em TCP sobre Wi-Fi Direct
N/A
António Teófilo
,
Diogo Remédios
,
Hervé Miguel Cordeiro Paulino
,
João M. Lourenço
Posted Sep 1, 2016
Cite
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 …
J. A. Silva
,
R. Monteiro
,
H. Paulino
,
João M. Lourenço
Posted Aug 1, 2016
Cite
Link
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
Link
«
»
Cite
×