阿里云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...

2023年10月26日,全球领先的企业级开源解决方案提供商红帽公司宣布了2023红帽亚太创新奖中国区获奖名单。在2023 Red Hat Summit:Connect(红帽论坛)中国站上,华晨宝马、南方基金、正泰安能和摩根士丹利获得奖项,这...
2023年10月23-26日,计算机系统国际顶会“第29届ACM操作系统原理大会(SOSP)”在德国科布伦茨召开。记者从会上了解到,蚂蚁链和上海交通大学合作研发的异步共识算法MyTumbler成功入选,标志着中国科学团队在全球共识算法技术领...
在当今纷繁复杂的网络安全市场中,多种多样的安全产品和解决方案可能会让人眼花缭乱。但如果安全战略中最重要的部分并不是安全产品呢? 作为一家大型PC制造商,戴尔科技高度重视安全问题。近年来,随着勒索软件攻击所带来的毁灭性后果和基于固件的恶意软件...
中国数字经济的快速发展离不开算力的支撑,为提升国家整体的算力水平,从2022年起我国正式启动了“东数西算”工程。随着工程逐步开展,许多大中型数据中心落地高海拔地区,然而高海拔会对数据中心的电子设备造成散热、绝缘性能等方面的影响外,还会因为中...
近日,全球权威咨询机构Gartner正式发布报告《2023中国安全技术成熟度曲线》(Hype Cycle for Security in China, 2023)。瑞数信息凭借近年来在云安全方向的优异表现,继2022年入选后,再度成为中国云...
近日,VMware(NYSE:VMW)宣布VMware跨云服务正式上架Oracle云市场(Oracle Cloud Marketplace)。VMware客户可以通过Oracle云基础架构(Oracle Cloud Infrastructu...
2023年10月25日:Veritas宣布,微软成为其首个通过Veritas REDLab安全解决方案验证的Veritas 360 Defense合作伙伴。 在Veritas REDLab隔离测试实验室用真实环境的恶意软件对Microsof...
PowerMax提供更强大的数据缩减功能、实时功耗仪表板和业界领先的AI驱动的网络安全。 近日,戴尔科技集团发布了PowerMax的最新增强功能。PowerMax是针对任务关键型工作负载的持续现代化高密度存储。在Dell PowerMax ...
加快发展新质生产力,必须坚持科技创新引领,实现人才强、科技强进而促进产业强、经济强。科技创新,需要与时俱进,紧跟变化,才能实现高质量的发展突破。 当前,人工智能技术加速了科学研究的范式变革,带来科研模式的重构和新一轮科技革命,也对科研基础设...