1

A Study of Latency-Aware Data-Placement in Heterogeneous (PMEM) Memory Systems
N/A
João Antão, João Barreto, João M. Lourenço
Posted Sep 8, 2022
Cite
Automatic Detection and Resolution of Deadlocks in Go Programs
N/A
Jorge Coelho, João M. Lourenço, António Ravara
Posted Sep 8, 2022
Cite
Automatic Generation of Contracts for Concurrent Java Programs
N/A
Hugo Pereira, Diogo G. Sousa, Jeremy Bradbury, João M. Lourenço
Posted Sep 8, 2022
Cite
Empowering a Relational Database with LSD: Lazy State Determination
N/A
Thales Parreira, Tiago M. Vale, Ricaro J. Dias, João M. Lourenço
Posted Sep 8, 2022
Cite
OSCAR - A Java Noise Injection Framework
N/A
Filipe De Luna, Jeremy Bradbury, João M. Lourenço
Posted Sep 8, 2022
Cite
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
The automotive industry is increasingly dependent on computing systems with different critical requirements. The verification and …
André De Matos Pedro, Tomás Silva, Tiago Sequeira, João M. Lourenço, João Costa Seco, Carla Ferreira
Posted Jan 1, 2022
Cite Link
RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios
Device-to-device communication enables collaboration between mobile devices, even when no communication infrastructure is available. In …
António Teófilo, Hervé Paulino, João M. Lourenço
Posted Nov 1, 2020
Cite
INForum 2019 - Atas do 11º Simpósio de Informática
N/A
Ana Paula Afonso, João M. Lourenço
Posted Sep 1, 2019
Cite Link
Time-Aware Reactive Storage in Wireless Edge Environments
Nowadays, smart mobile devices generate huge amounts of data in all sorts of gatherings. Much of that data has localized and ephemeral …
João Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno Preguiça
Posted Jan 1, 2019
Cite
Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória
A indústria do software tem evoluído no sentido do desenvolvimento de produtos cada vez mais complexos, no menor tempo possível e com …
Patricía Monteiro, João M. Lourenço, António Ravara
Posted Sep 1, 2018
Cite