中科大-耶鲁高可信软件联合研究中心梁红瑾、冯新宇和付明的论文“一种用于验证并发程序变换的基于依赖-保证的模拟关系”(A Rely-Guarantee-Based Simulation for Verifying Concurrent Progra ...
美国国家仪器公司(National Instruments 简称NI)发布了NI USRP-2920和NI USRP-2921通用软件无线硬件(USRP)。与之前高校射频和通信实验室依赖于计算机软件仿真加强理论学习的教学方法相比,U ...
新闻来源:新浪科技
北京时间10月7日午间消息,三星目前正联合竞争对手美光督促芯片界向新型堆叠式内存(stackable memory)芯片技术过渡,此举旨在降低能耗使用、加速电脑运行速度。三星和美光在 ...
截至2011年7月23日收盘,中华网的股价为2.09美元,市值7361.4万美元,每股亏损0.51美元。一天以前,这家公司因未能按时向SEC递交2010年年度报告(Form 20-F)收到纳斯达克书面警告。12年前的199 ...
根据 DigiTimes 的消息,台湾地区最大的半导体制造商台积电(TSMC)已经派出了一支 60 人的谈判团队,前往美国硅谷讨论苹果下一代 A 系列芯片(SoC)的设计和代工事宜。如果顺利的话,他们将拿 ...
10月6日早,苹果公司对外宣布前CEO乔布斯辞世,终年56岁。
苹果董事会声明如下:
我们沉痛宣布,史蒂夫·乔布斯今天去世。
史蒂夫的才华、激情和精力是无尽创新的来源,丰富和改善了我 ...
苹果2011年秋季新品发布会北京时间10月5日凌晨在其Cupertino总部举行,今年的活动主题是“Let's talk iPhone”。苹果的iPhone主题活动于美国太平洋时间10月4日上午10时(北京时间10月5日凌晨1点 ...
新闻来源:锋科技
今天要介绍的是另一款采用磁悬浮技术的物品,它就是由Eindhoven设计学院的设计师Angela Jansen与工程师Ger Jansen合作开发的“磁悬浮台灯”。
大家都知道磁悬浮列车这种高 ...
^^^^^^2011诺贝尔经济学奖揭晓:美国萨金特和西姆斯获得
托玛斯·萨金特克里斯托弗·西姆斯 2011诺贝尔经济学奖刚刚揭晓,美国纽约大学教授教授托马斯·J·萨金特(Thomas Sargent) ...
综合路透社与彭博新闻社消息,知情人士透露,有着131年历史的伊斯曼·柯达公司正在考虑申请破产保护。消息人士称,谷歌等柯达专利的潜在买家怀疑柯达有欺诈之嫌,提出了检查柯达资产的申请。受 ...
时逢国家“十二五”规划前期,电线电缆行业做为国民经济的基础性行业有未来的发展中必将取得更进一步的发展,总体实力随国家的发展也必将得以更大的提升。但线缆行业是一个很大的行业,市场细分 ...
预计下降4.4天至92.5天,为2009年以来最大降幅
作者:Sharon Stiefel
据IHS iSuppli公司的库存研究报告,由于厂商因应疲弱的需求前景而削减产能,预计第三季度模拟半导体供应商的库存天 ...