Comparing NoSQL Databases for Operational Workloads
FPGA Implementation of Successive Cancellation Polar Decoder Architecture
Abstraction of programs manipulating pointers using modal logics Yoshinori TANABE (IST & AIST) (Joint work with Yoshifumi YUASA, Toshifusa SEKIZAWA and.
Abstraction of programs manipulating pointers using modal logics
