智快网
快讯 行业 产业 汽车 科技 AI+ 热点
阿里云DNS形式化验证论文入选国际计算机系统顶级会议SOSP’23
近日,阿里云和北京大学合作的论文《Automated Verification of an In-Production DNS Authoritative Engine》(DNS 产品级解析服务的自动化验证)被国际计算机系统顶级会议SOSP 2023主会收录。论文提出的形式化验证技

2023-10-27

北汽蓝谷前三季度营收同比增长63%,销量增91%
10月27日,北汽蓝谷(SH.600733)发布第三季度报告称,2023年前三季度营业收入93.08亿元,同比增长63%。销量层面,2023年前三季度,公司在行业普遍降价促销、市场竞争激烈的大环境中,销量达到54753台,同比增长91%。营收与销

2023-10-27

AI引领IT行业变革:2024年及以后的展望
【智快网】10月27日消息,国际数据公司(IDC)日前公布了其2024年及以后的全球信息技术(IT)行业预测报告。据了解,IDC对未来几年的IT领域做出了一系列预测,其中包括:1. 核心IT支出向AI转变:IDC预测,IT支出将急剧向

2023-10-27

« 上一页 73/456 下一页 »