会员服务
静态分析越来越被认为是程序验证、错误检测、编译器优化、程序理解和软件维护的基本工具。国际静态分析系列研讨会（SAS）是展示该领域理论、实践和应用进展的主要场所。官网链接：http://www.staticanalysis.org/
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日
ReGate: Enabling Power Gating in Neural Processing Units
Arxiv
0+阅读 · 2025年10月3日
QPADL: Post-Quantum Private Spectrum Access with Verified Location and DoS Resilience
Arxiv
0+阅读 · 2025年10月4日
Authentication Security of PRF GNSS Ranging
Arxiv
0+阅读 · 2025年10月2日
Heavy-Tailed Privacy: The Symmetric alpha-Stable Privacy Mechanism
Arxiv
0+阅读 · 2025年4月25日
Approximating Discrimination Within Models When Faced With Several Non-Binary Sensitive Attributes
Arxiv
0+阅读 · 2025年5月18日
Towards Autonomous In-situ Soil Sampling and Mapping in Large-Scale Agricultural Environments
Arxiv
0+阅读 · 2025年9月15日
参考链接
微信扫码咨询专知VIP会员
Top