会员服务
AritPIM: High-Throughput In-Memory Arithmetic
Arxiv
0+阅读 · 2023年4月15日
Linear lambda-calculus is linear
Arxiv
0+阅读 · 2023年4月15日
A Logical Account of Subtyping for Session Types
Arxiv
0+阅读 · 2023年4月13日
SePEnTra: A secure and privacy-preserving energy trading mechanisms in transactive energy market
Arxiv
0+阅读 · 2023年4月12日
An additive framework for kirigami
Arxiv
0+阅读 · 2023年4月11日
On ZpZp[u, v]-additive cyclic and constacyclic codes
Arxiv
0+阅读 · 2023年4月8日
Locate: Low-Power Viterbi Decoder Exploration using Approximate Adders
Arxiv
0+阅读 · 2023年4月6日
Monotonicity of Multi-Term Floating-Point Adders
Arxiv
0+阅读 · 2023年4月3日
Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
Arxiv
0+阅读 · 2023年4月6日
Editing Models with Task Arithmetic
Arxiv
0+阅读 · 2023年3月31日
Simplification and Improvement of MMS Approximation
Arxiv
0+阅读 · 2023年3月29日
Editing Models with Task Arithmetic
Arxiv
0+阅读 · 2023年3月29日
Common Subexpression-based Compression and Multiplication of Sparse Constant Matrices
Arxiv
0+阅读 · 2023年3月26日
Large-Block Modular Addition Checksum Algorithms
Arxiv
0+阅读 · 2023年3月25日
参考链接
微信扫码咨询专知VIP会员
Top