5 citations · 8 across the 5 of their papers we have counts for
5 papers
Lazy State Determination: More concurrency for contending linearizable transactions
Tiago M. Vale, João Leitão, Nuno Preguiça +3
The concurrency control algorithms in transactional systems limits concurrency to provide strong semantics, which leads to poor performance under high contention. As a consequence,…
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo +9
This report presents the activities of the first working group of the COST Action ArVI, Runtime Verification beyond Monitoring. The report aims to provide an overview of some of th…
Time-Aware Publish/Subscribe for Networks of Mobile Devices
João A. Silva, Hervé Paulino, João M. Lourenço +2
Smart mobile devices are increasingly ubiquitous and are the primary source of user-generated content, and current communication infrastructures are failing in keeping up with the…
Preventing Atomicity Violations with Contracts
Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira +1
Software developers are expected to protect concurrent accesses to shared regions of memory with some mutual exclusion primitive that ensures atomicity properties to a sequence of…
Control and Debugging of Distributed Programs Using Fiddle
Joao Lourenco, Jose C. Cunha, Vitor Moreira
The main goal of Fiddle, a distributed debugging engine, is to provide a flexible platform for developing debugging tools. Fiddle provides a layered set of interfaces with a minima…