Eleni Bila | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Heike Wehrheim
19 publications
Brijesh Dongol
15 publications
Simon Doherty
8 publications
John Derrick
6 publications
Gerhard Schellhorn
4 publications

research

∙ 11/30/2020

Modularising Verification Of Durable Opacity

Non-volatile memory (NVM), also known as persistent memory, is an emergi...

0 Eleni Bila, et al. ∙

research

∙ 04/17/2020

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory

Non-volatile memory (NVM), aka persistent memory, is a new paradigm for ...

0 Eleni Bila, et al. ∙

Success!

An error occurred