Eleni Bila | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

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. ∙