阿里云DNS形式化验证论文入选国际计算机系统顶级会议SOSP’23
近日，阿里云和北京大学合作的论文《Automated Verification of an In-Production DNS Authoritative Engine》(DNS 产品级解析服务的自动化验证)被国际计算机系统顶级会议SOSP 2023主会收录。论文提出的形式化验证技
2023-10-27
- 离频绘片机软件剪辑师必须知道的摄取素材画面的影像技巧
2023-10-27
- 三星Galaxy Z Fold5：追求全能性与美感的智能手机
2023-10-27
- 微软Xbox固件更新：手柄映射键盘按键功能正式上线
2023-10-27
- 折叠屏新巅峰！三星W24揭示未来智能手机趋势
2023-10-27
- 广汽埃安新车AION S Max：豪华内饰搭载高科技
2023-10-27
- 入耳式PK开放式耳机，我们测了最好的两款
2023-10-27
- 苹果iPhone 15在中国市场份额锐减，小米逼近
2023-10-27
- 苹果低价MacBook传闻再起：12英寸和13英寸新品售价不超700美元
2023-10-27
- 报名倒计时！小米IoT生态大会将揭示全新技术能力
2023-10-27
- 联想、高通加码AI技术 NVIDIA与联想合作开启新时代
2023-10-27
- Redmi K70：强劲性能升级，AI技术全新升级
2023-10-27
全新搭载R7-7840HS处理器：吾空凌云X14 Pro AI笔记本即将上市
今年的轻薄性能本领域可谓是百花齐放百家争鸣，吾空在其中也以性价比杀出重围。继火热的凌云X16后，凌云X14 Pro也即将于十月底重磅登场，献上一场融合性能和轻薄的完美表演。凌云X14 Pro在外观就令人眼前一亮。与上
2023-10-26
直出电影原色原声，海信激光电视100L8K成FIRST惊喜影展评审专用设备
10月25日，为期一周的2023年FIRST惊喜影展在北京怀柔区青龙峡落下帷幕。头号玩家MVP 大奖得主揭晓，青年导演时诺凭借电影《撞击!心之列车!》获得了最重磅大奖——“惊喜头号玩家.类型MVP”，为本届影展带来了新的惊
2023-10-26
打开中德相知互信的窗口
目前，中欧互为最大经贸伙伴之一，双方在双边和多边层面存在大量的合作空间，双方若运作良好，合作前景依然广阔。在2023年年初展望中，中欧双方基于长期合作的战略条件，存在开展合作的共同利益诉求，以及在合作形式
2023-10-26
- 全“芯”升级，华硕破晓Air助你事业“芯”想事成
2023-10-26
- 阿维塔12即将问世，华为技术与宁德时代联手呈现创新力
2023-10-26
- 苹果秋季盛宴：11月9日新Mac设备抢先看
2023-10-26
- 高通官方：搭载骁龙 X Elite PC可与独立GPU搭配
2023-10-26
- 谷歌 Play 新政策出炉：AI 应用将遭受禁令
2023-10-26
