Linköping University: Students Alumni Trade and Industry/Society Internal Search

Search Results

AUTHOR:SANDHYA DWARKADAS
Found 1 entry
  1. Verifying Safety and Liveness for the FlexTM Hybrid Transactional Memory
    Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriramanx, Yunyun Zhu
    Design, Automation & Test in Europe (DATE 2013), Grenoble, France, March 18-22, 2013.
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)