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

2023-10-27

联发科推出全新天玑9300芯片,vivo X100系列即将首发
【沃资讯】10月24日消息,据可靠消息来源披露,联发科即将发布其最新旗舰芯片——天玑9300,这一芯片采用了突破性的全大核CPU设计,同时在GPU和APU性能方面表现出色。业内人士透露,天玑9300已经成功完成与vivo自家

2023-10-24

« 上一页 1199/1270 下一页 »