会员服务
学习编程，数据结构是基础中的基础。
Dynamic Meta-Kernelization
Arxiv
0+阅读 · 11月5日
Distributing Context-Aware Shared Memory Data Structures: A Case Study on Singly-Linked Lists
Arxiv
0+阅读 · 11月8日
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
Arxiv
0+阅读 · 11月17日
Shortest Paths on Convex Polyhedral Surfaces
Arxiv
0+阅读 · 12月12日
Precise Static Identification of Ethereum Storage Variables (Extended Version)
Arxiv
0+阅读 · 11月28日
Simpler is Faster: Practical Distance Reporting by Sorting Along a Space-Filling Curve
Arxiv
0+阅读 · 12月4日
Standardising the NLP Workflow: A Framework for Reproducible Linguistic Analysis
Arxiv
0+阅读 · 11月19日
Solvable Tuple Patterns and Their Applications to Program Verification
Arxiv
0+阅读 · 12月13日
Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs
Arxiv
0+阅读 · 11月4日
Functional Python Programming in Introductory Computer Science Courses
Arxiv
0+阅读 · 12月3日
Fault-Tolerant Approximate Distance Oracles with a Source Set
Arxiv
0+阅读 · 11月3日
Data-Parallel Algorithms for String Diagrams
Arxiv
0+阅读 · 2023年5月1日
Approximate Nearest Neighbor for Polygonal Curves under Fréchet Distance
Arxiv
0+阅读 · 2023年5月2日
Supporting Contextual Conversational Agent-Based Software Development
Arxiv
0+阅读 · 2023年5月1日
Sliding Block Hashing (Slick) -- Basic Algorithmic Ideas
Arxiv
0+阅读 · 2023年4月18日
参考链接
微信扫码咨询专知VIP会员
Top