会员服务
静态分析越来越被认为是程序验证、错误检测、编译器优化、程序理解和软件维护的基本工具。国际静态分析系列研讨会（SAS）是展示该领域理论、实践和应用进展的主要场所。官网链接：http://www.staticanalysis.org/
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日
SAS: Segment Any 3D Scene with Integrated 2D Priors
Arxiv
0+阅读 · 3月11日
Pull-Based Query Scheduling for Goal-Oriented Semantic Communication
Arxiv
0+阅读 · 3月9日
StatLLM: A Dataset for Evaluating the Performance of Large Language Models in Statistical Analysis
Arxiv
0+阅读 · 2月24日
Performance Evaluation of Large Language Models in Statistical Programming
Arxiv
0+阅读 · 2月18日
Axon: A novel systolic array architecture for improved run time and energy efficient GeMM and Conv operation with on-chip im2col
Arxiv
0+阅读 · 1月10日
On Stable Approximation Algorithms for Geometric Coverage Problems
Arxiv
1+阅读 · 2024年12月17日
参考链接
父主题
Springer
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top