subodhvsharma's repositories
mopper-spo
MOPPER with SPO encoding
Language:C000
house-allocation-strategy
An algorithm to perform house allocation at IITD
Language:Alloy000
SIoTS-paper
We describe our work on implementing and benchmarking a faster consensus protocol for the IoT systems.