教育房产时事环球科技商业
投稿投诉
商业财经
热点动态
科技数码
软件应用
国际环球
晨报科学
新闻时事
信息智能
汽车房产
办公手机
教育体育
生活生物

英特尔推出机器编程工具,可自主检测代码中的Bug

  英特尔本月推出了机器编程研究系统 ControlFlag, 可以自主检测代码中的错误,目前仍处于早期阶段 。
  在初步测试中,ControlFlag 利用超过 10 亿行未标记的产品级别的代码进行了训练并学习了新的缺陷。
  英特尔首席科学家 Justin Gottschlich 表示:“ControlFlag 是一个强大的新工具,可以大幅减少评估和 Debug 代码所需的时间和成本。”
  英特尔表示,在IT行业每年花费的 1.25 万亿美元软件开发成本中,大约有 50% 是用于 Debug 代码。
  据悉,ControlFlag 检测 Bug 的功能是通过机器编程实现的,其中融合了机器学习、形式化方法、编程语言、编译器和计算机系统。
  英特尔甚至已经开始评估在内部使用 ControlFlag,在自己的软件和固件产品化中寻找 Bug。这是英特尔 Rapid Analysis for Developers 项目的关键组成部分。
  【来源:IT之家】【作者:懒猫】

银欣发布NightjarNJ450白金认证电源新品银欣(SilverStone)刚刚发布了一款特殊的被动式散热电源新品,它就是通过了80Plus白金认证自带厚实散热块的NightjarNJ450。其采用SFXL规格和全模组设计,额英特尔宣布与镁光联手开发96层3DQLC闪存在与镁光联手推出企业级QLCSSD的同时,英特尔也宣布了两家公司将合作开发96层3DQLC闪存的消息。IMFT的3DNAND合作可追溯到2015年初,展示现在想要进一步推动相关技术华为全面屏笔记本MateBookXPro笔记本登陆美国今年2月底,华为发布了全球首款全面屏笔记本MateBookXPro,屏占比高达91,并在4月份来到国内市场。现在,它又杀入了华为朝思暮想的美国市场。MateBookXPro在美国仅惠普可能会将Alexa内置于一台全功能的个人电脑上,几个月来,宏基和亚马逊一直在做的准备工作,即在笔记本电脑中放置一个人工智能驱动的智能助理。借助内建Alexa的AcerSpin3连续七年下滑,全球PC销量跌入历史最低谷PC市场虽然有复苏的迹象,但看样子至少不会发生在2018年第二季度。业界消息称,第二季度本来就是淡季,尽管游戏商务领域表现稳健,但因为消费级PC购买力疲软,挖矿设备需求在4月突然萎GTX10503GB正式发布频率上去了显存下来了竞争乏力,NVIDIA下代显卡一再拖延,但ldquo新产品rdquo其实也不少,在已有型号上反复动刀阉割打磨,成了黄记的惯用手法GTX10605GB专门给网吧,GT1030换用廉价台媒PC市场将在今年二季度跌至谷底5月21日消息近日台湾媒体电子时报援引了业内消息人士的观点,称第二季度是PC市场传统的淡季,尽管游戏和商用PC需求稳定,但由于消费级市场的萎缩和加密货币挖矿的退热,PC市场供应链的友达发力LTPSLCD面板普及全面屏笔记本华为MatebookXPro是全球首款全面屏笔记本产品,给用户带来的全新的视觉冲击。据Digitimes报道,5月22日到24日在洛杉矶开幕的DisplayWeek上,AUO(友达Corei58G256G官翻版SurfaceBook限时折扣170美元数日前,微软官方商城SurfacePro页面移除了Corei54GB内存选项,这很大程度上是因为引入了双倍内存的入门级Corei5新型号。而今天微软再次对官翻版Corei5256G最多12块AMDRX560显卡映泰连发三大矿机专注于挖矿板卡的映泰近日推出了全新的iMiner系列三台挖矿专用主机,采用所谓的区块链级硬件设计,尤其是配备612块AMD显卡。三台矿机都已经预先配置好,配置ethOS挖矿专用系统尴尬!Win10更新让自家SurfaceStudio键鼠出现问题Windows10April2018更新的bug不断,又有一些SurfaceStudio用户反映,在更新到最新版系统后,微软自家的SurfaceStudio键鼠出现问题,症状是会突
苹果扩大iPodTouch商标范围,增加游戏机功能美国专利商标局本月早些时候批准了苹果的iPodTouch商标的发布申请,该申请将保护范围扩大到了国际分类28下的可玩电子游戏的手持式游戏机。从2008年开始,苹果iPodTouchMacBookPro又出事了16款之后机型遭遇排线门有国外用户称,它们的16款MacBookPro屏幕出现了类似ldquo舞台灯光rdquo的显示问题,这类问题普遍出现在16款及以后的TouchBar机型当中。MacBookPro显技术新突破!PC产品内存容量最大可达128GBPConline资讯计算机技术的进步总是令人激动的,比如处理器主频突破1GHz硬盘容量突破1TB,这些进步让人们获得了更好的使用体验,提高人们的生活水平。现如今,RAM突破了128华为MateBook13发售5699元起全面屏轻薄本深空灰华为MateBook13深空灰全面屏轻薄本正式发售,i58G512G版售价是5699元,i78G512G版售价是6399元。华为MateBook13采用全面屏设计,其屏幕尺寸为13AMD线程撕裂者支持单条32GB内存32核心配256GB最近,IntelZ390平台开放了对单条32GB内存的支持,微星华硕技嘉等已经相继宣布支持,插满四条插槽就能实现单系统128GB超大内存。其实在Intel桌面发烧平台上,单条32G外媒英特尔10nmNUC主机搭载AMDRX540显卡近日,据外媒报道,英特尔正在筹备一款全新的NUC(mini主机)产品,产品代号为CrimsonCanyon,比较有意思的是,AMD的身影也出现在这款产品中。具体来说,这款NUC型号精英展示AMD锐龙APU迷你机体积不到1。2升一直以来,AMDRyzen锐龙在迷你机市场上一直缺乏存在感,产品极少,尤其是鲜有大厂产品。近日,精英(ECS)展示了一款采用锐龙APU的迷你机ldquoSF110A320rdquo全新iPodtouch概念设计图采用刘海全面屏之前外媒曾给出消息称,苹果正在打造新一代iPodtouch,这让不少用户开心不已,毕竟苹果没有放弃这个设备。现在,有设计师就提前送出了新一代iPodtouch的概念图,其采用了苹果要比SATA3便宜!金士顿首秀A2000NVMe固态盘老外在CES2019的拾遗文章中提到了金士顿展台的SSD新品,A2000。A2000是一款典型的M。22280固态盘,相较前作A1000,升级为走PCIe3。0x4通道。基本参数上KB4476976重发Win10版本号升至Build17763。292微软正在邀请WindowsInsider成员测试Windows10十月更新的又一个累积更新,如果不出意外的话将会在本月底之前面向公众发布。Windows10KB4476976已经于三星2GB运存平板SMT515跑分现身Exynos7885芯片三星即将推出的最新平板设备的规格和详情现身跑分网站GeekBench,这是一款型号为SMT515的中端平板设备,其运行内存为2GBRAM,采用Exynos7885SoC芯片,处理单