Pinned Repositories
ci-exercise-app
A sample Android app that does not have Continuous Integration yet
DistribInfoSystems
public
SwEng materials for the public
RKC-data-analysis
stm-gpu-validation-opencl
Accelerating validation using integrated GPU (APU). A study of STM read-set sizes, validation, Tinystm, Swisstm, Norec, TL2. Covering 12 well known benchmarks. Stamp, sb7, datastructures, synth, tpc-c.
sudokube
palFinder
atappy's Repositories
atappy/DistribInfoSystems
atappy/ci-exercise-app
A sample Android app that does not have Continuous Integration yet
atappy/public
SwEng materials for the public
atappy/RKC-data-analysis
atappy/stm-gpu-validation-opencl
Accelerating validation using integrated GPU (APU). A study of STM read-set sizes, validation, Tinystm, Swisstm, Norec, TL2. Covering 12 well known benchmarks. Stamp, sb7, datastructures, synth, tpc-c.