Currently browsing

Specification and Verification of Synchronisation Classes in Java: A Practical Approach

Afshin Amighi promotor: prof.dr. Marieke Huisman (UT) University of Twente Date: 17 January 2018 Thesis: PDF  Summary Nowadays, concurrent programming is becoming a mainstream technique to achieve high-performance computing. Implementing a correct program using shared memory concurrency is challenging. This is because of the unpredictable interleavings of threads that may cause …