会员服务
An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (Y)C20 memory consistency model
Arxiv
0+阅读 · 9月26日
VirtualFencer: Generating Fencing Bouts based on Strategies Extracted from In-the-Wild Videos
Arxiv
0+阅读 · 6月30日
A Virtual Fencing Framework for Safe and Efficient Collaborative Robotics
Arxiv
0+阅读 · 3月26日
Guardian: Safe GPU Sharing in Multi-Tenant Environments
Arxiv
0+阅读 · 2024年10月16日
Extending the C/C++ Memory Model with Inline Assembly
Arxiv
0+阅读 · 2024年8月30日
Extending the C/C++ Memory Model with Inline Assembly
Arxiv
0+阅读 · 2024年9月2日
Brokenwire : Wireless Disruption of CCS Electric Vehicle Charging
Arxiv
0+阅读 · 2024年3月26日
G-Safe: Safe GPU Sharing in Multi-Tenant Environments
G-Safe: Safe GPU Sharing in Multi-Tenant Environments
Arxiv
0+阅读 · 2024年1月17日
Navigating the Congestion Maze: Geospatial Analysis and Travel Behavior Insights for Dockless Bike-Sharing Systems in Xiamen
Arxiv
0+阅读 · 2024年1月8日
Diffence: Fencing Membership Privacy With Diffusion Models
Arxiv
0+阅读 · 2023年12月7日
Cooperative Label-Free Moving Target Fencing for Second-Order Multi-Agent Systems with Rigid Formation
Arxiv
0+阅读 · 2023年11月2日
Improving safety in physical human-robot collaboration via deep metric learning
Arxiv
0+阅读 · 2023年2月23日
Minimum Link Fencing
Arxiv
0+阅读 · 2022年9月29日
Fence Synthesis under the C11 Memory Model
Arxiv
0+阅读 · 2022年8月2日
Fence Synthesis under the C11 Memory Model
Arxiv
0+阅读 · 2022年7月30日
参考链接
父主题
Windows 应用软件
微信扫码咨询专知VIP会员
Top