Memory-Bound Proof-of-Work Acceleration for Blockchain Applications.
Kun WuGuohao DaiXing HuShuangchen LiXinfeng XieYu WangYuan XiePublished in: DAC (2019)
Keyphrases
- upper bound
- lower bound
- memory usage
- memory space
- worst case
- memory requirements
- machine learning
- error bounds
- memory size
- theorem proving
- linear logic
- theorem prover
- search algorithm
- low memory
- computing power
- natural deduction
- automated theorem proving
- memory footprint
- vc dimension
- computational power
- inference rules
- case based reasoning
- multi class
- multiscale
- artificial intelligence