1

We Don't Know it All: on Understanding and Correcting Concurrent Computations with Inaccurate Observations
N/A
André J. Costa, Eitan Farchi, João M. Lourenço
Posted Jan 1, 2024
Cite
FLeeC: A Fast Lock-Free Application Cache
Access to data in applications that make use of external storage systems (eg, Databases) can be a major performance bottleneck. A …
André J. Costa, Nuno M. Preguiça, João M. Lourenço
Posted Sep 1, 2023
Cite
Monitoring of Spatio-Temporal Properties
N/A
Tomás Silva, André Matos Pedro, João Costa Seco, João M. Lourenço
Posted Sep 9, 2022
Cite
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