Cited By
View all- Peterson CDechev D(2017)A Transactional Correctness Tool for Abstract Data TypesACM Transactions on Architecture and Code Optimization10.1145/314896414:4(1-24)Online publication date: 14-Nov-2017
- Choi CJoo H(2016)Motion recognition technology based remote Taekwondo Poomsae evaluation systemMultimedia Tools and Applications10.1007/s11042-015-2901-175:21(13135-13148)Online publication date: 1-Nov-2016
- Balegas VDuarte SFerreira CRodrigues RPreguiça NNajafzadeh MShapiro MRéveillère LHarris THerlihy M(2015)Putting consistency back into eventual consistencyProceedings of the Tenth European Conference on Computer Systems10.1145/2741948.2741972(1-16)Online publication date: 17-Apr-2015
- Show More Cited By