阿里云DNS形式化验证论文入选国际计算机系统顶级会议SOSP’23
谢 世诚 发布于 2023-10-27
近日,阿里云和北京大学合作的论文《Automated Verification of an In-Production DNS Authoritative Engine》(DNS 产品级解析服务的自动化验证)被国际计算机系统顶级会议SOSP 2023主会收录。论文提出的形式化验证...
谢 世诚 发布于 2023-10-27
近日,阿里云和北京大学合作的论文《Automated Verification of an In-Production DNS Authoritative Engine》(DNS 产品级解析服务的自动化验证)被国际计算机系统顶级会议SOSP 2023主会收录。论文提出的形式化验证...
谢 世诚 发布于 2023-10-16
日前,由国家知识产权局、辽宁省人民政府联合主办的第二十四届中国专利金奖颁奖大会在大连盛大开幕。阿里云分布式存储技术专利《一种分布式存储系统升级方法和装置》(专利号:ZL201511034171.7)获颁中国专利金奖,这是阿里云14年创业发展史上荣获的首个专利金奖。 中国专利奖由中...
谢 世诚 发布于 2023-10-12
10月12日消息,中国信息产业信息安全测评中心发布最新评估结果,阿里云飞天企业版以高分通过最新版《商用密码应用安全性评估量化评估规则(2023版)》,成为国内首家通过该标准的云厂商,在商用密码应用方面的保持技术领先性,云上信息系统安全提供可靠的技术保障。 本次测评由国家信息安全产...
谢 世诚 发布于 2023-09-24
9月24日消息,智谱AI推出数学模型MathGLM,以提升大语言模型的数学推理能力。它可以在不使用计算器工具的情况下,高效执行复杂算术运算,解答中文数学应用题,部分表现超过GPT4和ChatGPT,目前已在魔搭社区ModelScope全球首发上架。 过往研究认为,大语言模型并不能...
谢 世诚 发布于 2023-09-21
9月21日,阿里云宣布推出全新的经济型云服务器e系列,基于“飞天+CIPU”黄金技术架构设计,可轻松满足网站建设、开发测试和小型应用构建等场景需求,使用成本最低可降至每天0.5元,告别复杂的选型和高昂的成本,进一步降低了学生群体、个人开发者和小微企业的上云门槛。 “上百万的大学生...
谢 世诚 发布于 2023-09-19
杭州亚运会即将开幕,将成为亚运史上首届云上亚运。9月19日,国际奥委会首席信息科技官艾拉里奥·孔纳(Ilario Corna)在杭州亚运会数字科技体验中心举行的启动仪式上表示,杭州亚运会用云计算创造了历史,赛事核心系统和转播全面上云,为大型赛事的数字化普及奠定了坚实基础,相信杭州...
谢 世诚 发布于 2023-09-14
近日,国际权威研究机构Gartner发布《2023全球Daas魔力象限报告》,阿里云无影成功入围,成为目前国内唯一入选的云桌面厂商。依托于阿里云遍布全球的基础设施,阿里云无影为客户提供丰富的桌面服务,以自研流化协议、自研硬件终端、全面的管控能力和开放的产品架构,提供云端一体、安全...
谢 世诚 发布于 2023-09-06
近日,阿里云推出全新视频生成大模型I2VGen-XL,并在魔搭社区开放体验,用户上传一张图片后2分钟左右即可生成一段1280*720的高分辨率视频,该模型研发负责人表示,未来将进一步实现2K超清效果,可应用于短视频内容生产、电影制作等场景。 和业界爆火的AI绘画创作大模型不同,视...
谢 世诚 发布于 2023-09-05
近日,图计算领域顶级国际赛事“2023 Graph Challenge”结果揭晓,阿里云GraphScope团队与南京大学等团队联合提交的参赛作品斩获“子图同构”赛道冠军。“子图同构”是图计算领域最核心的学术问题之一,此前从未有中国团队在该赛道夺冠。 “Graph Challen...
朱 朋博 发布于 2023-09-04
8月29日-30日,2023年闪存峰会在杭州召开,30日上午,一场关于闪存存储技术创新的论坛——存储系统未来发展论坛也如期召开。 在经历了过去十余年的发展后,闪存存储系统迎来了新的发展阶段,来到现场分享的几位嘉宾几乎全都围绕闪存、分布式存储、软件定义存储的概念来展开,或许正说明,...