搜索优化
Rewards
English
搜索
Copilot
图片
视频
地图
资讯
购物
更多
航班
旅游
酒店
房地产
笔记本
Top stories
Sports
U.S.
Local
World
Science
Technology
Entertainment
Business
More
Politics
时间不限
过去 1 小时
过去 24 小时
过去 7 天
过去 30 天
按相关度排序
按时间排序
9 天
北京轩宇信息获得创新专利:中断数据竞争模型检测的新突破
北京轩宇信息的这一进展,不仅提升了中断程序数据竞争的检测能力,同时也为未来的编程实践提供了新的方向。随着物联网、人工智能、大数据等新兴技术的广泛应用,对稳定性和安全性的要求愈加严苛。“基于单变量访问序模式的中断数据竞争模型检测方法”的上市,将为软件工程师提供强大的工具支持,使得程序设计中的隐患能够在开发阶段就得到有效识别,显著降低后期维护成本。
9 天
北京轩宇信息革新技术:中断数据竞争模型检测专利引领软件安全新 ...
2024年9月13日,北京轩宇信息技术有限公司与大连理工大学联合发布了一项重要的专利,这项名为“基于单变量访问序模式的中断数据竞争模型检测方法”的专利,标志着软件模型检测领域的一次重大突破。该专利旨在通过创新的方法检测中断程序中的数据竞争问题,满足日益增长的软件安全需求。此专利的授予,不仅提升了北京轩宇信息在软件检测技术领域的市场地位,也为相关行业提供了新的安全保障。 这项新技术的核心在于其独创的 ...
一些您可能无法访问的结果已被隐去。
显示无法访问的结果
今日热点
Alabama mass shooting
1951 kidnap victim found
Daylight saving time
Visits US ammunition plant
California plastic bag ban
Israeli strikes in Lebanon
Economic speech this week
Trump to campaign in MI
To meet Vietnamese pres
No govt. shutdown for now
San Francisco homelessness
Released after guilty plea
Free COVID-19 tests
Dolphins legend Morris dies
PM Modi visits US
CA firefighter held for arson
Donlon's homes searched
Ga. suspect's mom indicted
SpaceX plans Mars missions
CA bill to protect kids online
TN abortion law blocked
Robinson loses key staff
J&J unit files for bankruptcy
Sesame Place suit verdict
SC 1st execution in 13 years
No. 1 at box office again
ISR raids Al Jazeera office
Iran coal mine blast
Former WA governor dies
Biden hosts 'Quad' summit
Boeing defense chief exits
Drug price challenge revived
反馈