
阿里云DNS形式化验证论文入选国际计算机系统顶级会议SOSP’23
近日,阿里云和北京大学合作的论文《Automated Verification of an In-Production DNS Authoritative Engine》(DNS 产品级解析服务的自动化验证)被国际计算机系统顶级会议SOSP...

近日,阿里云和北京大学合作的论文《Automated Verification of an In-Production DNS Authoritative Engine》(DNS 产品级解析服务的自动化验证)被国际计算机系统顶级会议SOSP...

当前,人工智能技术正在越来越多地被引入到产品设计过程中。 达索系统大中国区专业客户事业部技术总监戴瑞华表示,达索系统很早就在设计领域融入了相关的人工智能,并且一直在升级。人工智能技术对客户数据库数据进行识别、筛选和梳理,帮助一家叉车客户将5...

备受业界瞩目的2023年度“鼎革奖”数字化转型先锋榜在2023年10月27日召开的《哈佛商业评论》中国年会上正式揭晓。本届“鼎革奖”以“提速•新型中国企业”为主题,继续聚焦全数据、全链接、全绿色的“新型中国企业”,共包含6大类榜单,31个细...

首席信息官和技术高管表示,生成式AI是一项能改变游戏规则的技术. 2023年10月26日 – Gartner对首席信息官(CIO)和技术高管的年度全球调研显示,45%的CIO开始与其他高管合作,将IT和业务员工整合到一起,并且共同领导整个企...

2023年10月26日,全球领先的企业级开源解决方案提供商红帽公司宣布了2023红帽亚太创新奖中国区获奖名单。在2023 Red Hat Summit:Connect(红帽论坛)中国站上,华晨宝马、南方基金、正泰安能和摩根士丹利获得奖项,这...

2023年10月23-26日,计算机系统国际顶会“第29届ACM操作系统原理大会(SOSP)”在德国科布伦茨召开。记者从会上了解到,蚂蚁链和上海交通大学合作研发的异步共识算法MyTumbler成功入选,标志着中国科学团队在全球共识算法技术领...

国际数据公司(IDC)最新发布了《中国半年度液冷服务器市场(2023上半年)跟踪》报告。其中,宁畅市场表现瞩目,液冷服务器(高密度计算)和液冷服务器(标准机)分别以79%和31.9%的市场占有率,双双问鼎上半年产品出货量第一名。 2023年...

在当今纷繁复杂的网络安全市场中,多种多样的安全产品和解决方案可能会让人眼花缭乱。但如果安全战略中最重要的部分并不是安全产品呢? 作为一家大型PC制造商,戴尔科技高度重视安全问题。近年来,随着勒索软件攻击所带来的毁灭性后果和基于固件的恶意软件...
Prisma Cloud的“Darwin”版本简化了云安全,提高了开发人员、运营和安全团队在代码、基础架构和运行时安全方面的生产力与协作能力 2023 年 10 月 26 日,北京——过去十年里,企业以前所未有的速度构建和部署云应用。而且从...

近日,紫光股份旗下新华三集团联合复旦大学、同济大学、中国科学技术大学等多所高等院校共同研发的“虚拟现实(VR)的云边端协同视频传输关键技术及应用”荣获上海市科学技术进步奖一等奖。这一荣誉不仅是对新华三在虚拟现实网络传输关键技术领域做出卓越贡...