Kei Ohmura

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Ambient Intelligence

Computing Platform

Development Environment

Remote Attestation

Top Venues

Publications

Akane Koto, Hiroshi Yamada, Kei Ohmura, Kenji Kono
Towards unobtrusive VM live migration for cloud computing platforms. APSys (2012)
Kei Ohmura, Kazunori Ueda
c-sat: A Parallel SAT Solver for Clusters. SAT (2009)