Saeki Masaki's repositories
earthquake
A framework of implementation level distributed system model checkers
glance
The Glance project provides services for discovering, registering, and retrieving virtual machine images. Glance has a RESTful API that allows querying of VM image metadata as well as retrieval of the actual image.
Language:PythonApache-2.0000
glance_store
Glance stores library
infinisql
Extreme Scale Distributed Transaction Processing
Language:C++NOASSERTION000