内存模型相关论文
随着软件技术的普及发展,软件系统被应用到我们生活的各个方面,在带来极大便利的同时我们也承受着由软件漏洞所带来的巨大风险。如......
C语言以其对底层机器操控的灵活性，在操作系统、嵌入式软件、底层驱动等要求高效的软件设计领域得到广泛应用。然而出于灵活性和效......
本文研究了500万像素的电荷耦合器件(Charge Couple Device,CCD)驱动电路,设计了一种和传统模拟图像采集方式不同的高清数字图像采......
随着电力系统规模越来越大,节点数目越来越多,故障计算的计算量也逐渐增大。在大批量故障计算的求解过程中通常需要消耗大量的时间......
符号执行技术以其良好的精确度控制和代码覆盖率被广泛应用于静态程序分析和高覆盖率测试用例自动生成。符号执行在分析程序时,以......
为了解决智能手机的安全性问题,以Symbian操作系统为对象分析了该操作系统中内存管理机制。主要研究内存模型如何应用物理内存、内......
由于Servlet在服务器端事务处理方面的优异表现，在许多的Web应用中，它仍然是不可或缺的。在默认情况下，Servlet是以单实例多线程方式......
WINCE系统内存配置较小，嵌入式软件如果出现内存泄露问题，将会导致系统的可用内存不足，甚至出现系统崩溃。为此针对WINCE操作系统内存......
计算机程序设计语言的教学一直就是高校的一个教学难点,学生们普遍存在理解起来难,知识抽象等问题,本文就此问题提出了一个内存模......
基于嵌入式实时操作系统VxWorks对内存的基本要求，提出并实现基于VxWorks操作系统基于生命周期的内存管理的设计和实现。......
Java虚拟机(JVM)虽自带内存回收机制,但随着业务量增大和高并发运行,资源的不合理分配及自身编码缺陷仍可导致内存溢出、延迟及吞......
使用形式化方法对程序进行验证是保证软件可信的重要手段．对于像C语言这样的较低级的命令式语言可以直接对内存进行操作，对其操作语......
初次接触面向对象程序设计,不易弄清楚各种类型变量在内存中是如何分配和管理的。以Java为例,主要介绍基本数据类型一维数组内存模......
μClinux内存管理采用非标准Linux内存模型。系统为进程分配连续内存区域，代码段、数据段和栈段间无空隙，且进程私有堆被取消，所有进......
多核处理器为并发编程打开了一扇扇新的大门,Java内置的多线程机制可以方便地实现多个并发程序的开发以及多任务同时执行,但是Java......
为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静......
伴随着移动互联网的快速发展,越来越多的软件被应用在我们的生活中,软件的安全性却一直是一个亟待解决的问题。在C语言这样的显式......
Java编程应用中内存是重要的资源,安全而有效地利用它能够提高编程效率,促进开发出优秀的应用。分析Java内存模型及其分配机制,剖......
符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本......
今天软件在我们的生活中已经无处不在,它对人们的影响越来越大,虽然有时会觉察不到它的存在。在许多领域如航空航天、金融、医疗、......
