Search

Your search keyword '"Lourenço, Joao"' showing total 4 results

Search Constraints

Start Over You searched for: Author "Lourenço, Joao" Remove constraint Author: "Lourenço, Joao" Topic concurrent program Remove constraint Topic: concurrent program
4 results on '"Lourenço, Joao"'

Search Results

1. Dynamic Validation of Contracts in Concurrent Code

2. Precise Detection of Atomicity Violations

3. Special Session on Debugging

4. Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search

Catalog

Books, media, physical & digital resources