/confstrs-abbrv.bib/1.1/Wed Jan 14 22:53:32 2015//
/confstrs-long.bib/1.1/Wed Jan 14 22:53:32 2015//
/sig-alternate.cls/1.1/Wed Jan 14 22:53:32 2015//
D/figures////
/makefile/1.2/Fri Jan 23 17:16:19 2015//
/spell.lst/1.1/Fri Jan 23 05:47:30 2015//
/abstract.tex/1.2/Fri Jan 23 22:58:26 2015//
/conclusion.tex/1.2/Fri Jan 23 22:58:26 2015//
/related.tex/1.2/Fri Jan 23 22:58:26 2015//
/speccfg.tex/1.1/Fri Jan 23 22:58:26 2015//
/technical.tex/1.1/Fri Jan 23 22:58:26 2015//
/paper.tex/1.6/Fri Jan 23 23:30:25 2015//
/paper.bib/1.3/Sat Jan 24 00:47:32 2015//
/memorymodel.tex/1.8/Sat Jan 24 01:51:58 2015//
/introduction.tex/1.36/Sat Jan 24 03:09:04 2015//
/example.tex/1.19/Sat Jan 24 03:36:11 2015//
/specification.tex/1.59/Sat Jan 24 04:47:54 2015//
/implementation.tex/1.16/Sat Jan 24 05:04:07 2015//
/evaluation.tex/1.21/Sat Jan 24 05:35:18 2015//