会员服务
静态分析越来越被认为是程序验证、错误检测、编译器优化、程序理解和软件维护的基本工具。国际静态分析系列研讨会（SAS）是展示该领域理论、实践和应用进展的主要场所。官网链接：http://www.staticanalysis.org/
Representations
Arxiv
0+阅读 · 10月14日
Representations
Arxiv
0+阅读 · 10月13日
Authentication Security of PRF GNSS Ranging
Arxiv
0+阅读 · 10月9日
Hierarchical Semantic RL: Tackling the Problem of Dynamic Action Space for RL-based Recommendations
Arxiv
0+阅读 · 10月10日
ReGate: Enabling Power Gating in Neural Processing Units
Arxiv
0+阅读 · 10月3日
QPADL: Post-Quantum Private Spectrum Access with Verified Location and DoS Resilience
Arxiv
0+阅读 · 10月4日
Authentication Security of PRF GNSS Ranging
Arxiv
0+阅读 · 10月2日
Heavy-Tailed Privacy: The Symmetric alpha-Stable Privacy Mechanism
Arxiv
0+阅读 · 4月25日
Approximating Discrimination Within Models When Faced With Several Non-Binary Sensitive Attributes
Arxiv
0+阅读 · 5月18日
Towards Autonomous In-situ Soil Sampling and Mapping in Large-Scale Agricultural Environments
Arxiv
0+阅读 · 9月15日
Towards Autonomous In-situ Soil Sampling and Mapping in Large-Scale Agricultural Environments
Arxiv
0+阅读 · 9月16日
Towards Autonomous In-situ Soil Sampling and Mapping in Large-Scale Agricultural Environments
Arxiv
0+阅读 · 6月6日
Stochastic Claims Reserving Using State Space Modeling
Arxiv
0+阅读 · 4月12日
Node Assigned physics-informed neural networks for thermal-hydraulic system simulation: CVH/FL module
Arxiv
0+阅读 · 4月23日
SLAP: Secure Location-proof and Anonymous Privacy-preserving Spectrum Access
Arxiv
0+阅读 · 3月3日
参考链接
父主题
Springer
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top