会员服务
静态分析越来越被认为是程序验证、错误检测、编译器优化、程序理解和软件维护的基本工具。国际静态分析系列研讨会（SAS）是展示该领域理论、实践和应用进展的主要场所。官网链接：http://www.staticanalysis.org/
Representations
Arxiv
0+阅读 · 2月16日
From Dynamic to Lexical: A Comparative Exploration of Scoping Rules in SAS and R
Arxiv
0+阅读 · 1月14日
Structured Debate Improves Corporate Credit Reasoning in Financial AI
Arxiv
0+阅读 · 1月13日
Lazy Evaluation: A Comparative Analysis of SAS MACROs and R Functions
Arxiv
0+阅读 · 1月14日
Using Shadows in Circular Synthetic Aperture Sonar Imaging for Target Analysis
Arxiv
0+阅读 · 1月23日
SAS-VPReID: A Scale-Adaptive Framework with Shape Priors for Video-based Person Re-Identification at Extreme Far Distances
Arxiv
0+阅读 · 1月9日
Can Large Language Models Resolve Semantic Discrepancy in Self-Destructive Subcultures? Evidence from Jirai Kei
Arxiv
0+阅读 · 1月8日
Adaptable Teastore with Energy Consumption Awareness: A Case Study
Arxiv
0+阅读 · 2025年12月29日
Generative AI for Self-Adaptive Systems: State of the Art and Research Roadmap
Arxiv
0+阅读 · 2025年12月4日
SAS: Simulated Attention Score
Arxiv
0+阅读 · 2025年11月25日
Multi-Task Surrogate-Assisted Search with Bayesian Competitive Knowledge Transfer for Expensive Optimization
Arxiv
0+阅读 · 2025年10月27日
Representations
Arxiv
0+阅读 · 2025年10月14日
Representations
Arxiv
0+阅读 · 2025年10月13日
Authentication Security of PRF GNSS Ranging
Arxiv
0+阅读 · 2025年10月9日
Hierarchical Semantic RL: Tackling the Problem of Dynamic Action Space for RL-based Recommendations
Arxiv
0+阅读 · 2025年10月10日
参考链接
微信扫码咨询专知VIP会员
Top