期刊网_中国期刊网

学科分类

电子电信
电子电信

年份：

不限 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 更早

最新浏览↓

共 5 个结果

基于KLEE的复杂路径中内存泄露检测研究

简介：为了检测出复杂路径中的内存泄露问题,首先将Z3求解器移植到符号执行工具KLEE中,使其与KLEE中原有的STP求解器并行工作;然后利用并行了Z3求解器的KLEE对复杂路径的内存泄露程序进行测试用例生成;最后利用生成的测试用例对程序进行测试,挖掘出内存泄露问题。证明这种检测复杂路径中内存泄露的方法具有可行性、正确性、有效性。
标签：复杂路径内存泄露 Z3求解器 KLEE

全文阅读

Mac OS X背后的秘密

作者：
学科：电子电信 > 物理电子学
创建时间：2003-02-12
出处：《桌面黄页》 2003年第2期

简介：
标签：苹果电脑 MacOS-X 操作系统体系结构

全文阅读

腾讯高价回购域名——秘密重铸QQ品牌

作者：
学科：电子电信 > 物理电子学
创建时间：2003-05-15
出处：《信息技术时代》 2003年第5期

简介：3月21日，深圳市腾讯计算机系统有限公司(以下简称“腾讯公司”)从美国爱达荷州博伊西市一名软件工程师罗伯特·亨茨曼(RobertHuntsman)手里高价购买QQ.COM域名。
标签：腾讯计算机系统有限公司 QQ.COM域名海外回购品牌战略

全文阅读

“软实力”：信息强国的秘密武器——约瑟夫·奈与《软实力》

作者：刘见林;金龙鱼
学科：电子电信 > 物理电子学
创建时间：2004-08-18
出处：《信息空间》 2004年第8期

简介：当前．信息产业实现做大做强，已是众望所归：举国上下．呼声一片，颇有当年毛主席诗词《清平乐六盘山》“今日长缨在手，何时缚住苍龙?”之意境。只不过，一个更为重要的问题，即如何做强，却有待进一步探讨。目前，做强的方案以偏“硬”为主，这可谓常规武器。《信息空间》再度引领风气之先，以“软实力”之核心理论，对此进行了重要补充．提出了信息强国的秘密武器。
标签：信息强国软实力约瑟夫信息产业武器问题

全文阅读

一切在无声中发生——发生在Mac OS X启动时的秘密

作者：张琪
学科：电子电信 > 物理电子学
创建时间：2003-10-20
出处：《桌面黄页》 2003年第10期

简介：对于大多数的用户而言，Mac电脑在被按下启动按钮直到进入MacOSX的用户会话界面，展现在用户面前的只有一个简单的进展条和一些令人迷惑和充满期待的系统启动画面。而在这一下，Mac电脑究竟经历了一些怎么样的变化，MacOSX操作系统又究竟在进行一项怎么样的工作，我们将在下面的文章中试图解释这一问题。
标签： MAC OS X 操作系统启动过程 BOOTROM

全文阅读

返回顶部