搜索优化
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日,北京轩宇信息技术有限公司与大连理工大学联合发布了一项重要的专利,这项名为“基于单变量访问序模式的中断数据竞争模型检测方法”的专利,标志着软件模型检测领域的一次重大突破。该专利旨在通过创新的方法检测中断程序中的数据竞争问题,满足日益增长的软件安全需求。此专利的授予,不仅提升了北京轩宇信息在软件检测技术领域的市场地位,也为相关行业提供了新的安全保障。 这项新技术的核心在于其独创的 ...
一些您可能无法访问的结果已被隐去。
显示无法访问的结果
今日热点
1951 kidnap victim found
Alabama mass shooting
Daylight saving time
Visits US ammunition plant
SpaceX plans Mars missions
California plastic bag ban
Ga. suspect's mom indicted
Robinson loses key staff
Dolphins legend Morris dies
To meet Vietnamese pres
San Francisco homelessness
Israeli strikes in Lebanon
No govt. shutdown for now
CA firefighter held for arson
No. 1 at box office again
Former WA governor dies
Donlon's homes searched
Trump to campaign in MI
J&J unit files for bankruptcy
Drug price challenge revived
SC 1st execution in 13 years
Sesame Place suit verdict
Boeing defense chief exits
Released after guilty plea
Iran coal mine blast
ISR raids Al Jazeera office
Economic speech this week
Biden hosts 'Quad' summit
CA bill to protect kids online
TN abortion law blocked
Free COVID-19 tests
PM Modi visits US
反馈