易于移植的测试图形程序编译器

利用ＵＮＩＸ的词法、语法分析器的自动生成工具ｌｅｘ、ｙａｃｅ，方便地构造了编译器的前端，同时提供了修改前端的便利。并还定义了面向测试图形的描述性中间语言，以此作为移植的基础上。     

GCC驱动程序参数处理的技巧

本文介绍ＧＣＣ的适合多语种、多平台、可移植的驱动程序参数处理方法。本方法采用参数描述与模板匹配技术使驱动程序可接收任意参数集合。所采用的这种技术具有较好的借鉴价值     

Low-cost,Concurrent Checking of Pointer and Array Accesses in C Programs

Illegal pointer and array accesses are a major cause of failure for C programs. We present a technique called ‘guarding’ to catch illegal array and pointer accesses. Our implementation of guarding for C programs works as a source-to-source translator. Auxiliary objects called guards are added to a user program to monitor pointer and array accesses at run time. Guards maintain attributes to catch out of bounds array accesses and accesses to deallocated memory. Our system has found a number of previously unreported errors in widely-used Unix utilities and SPEC92 benchmarks. Many commonly used programs have bugs which may not always manifest themselves as a program crash, but may instead produce a subtly wrong answer. These programs are not routinely checked for run-time errors because the increase in execution time due to run-time checking can be very high. We present two techniques to handle the high cost of run-time checking of pointer and array accesses in C programs: ‘customization’ and ‘shadow processing’. Customization works by decoupling run-time checking from original computation. A user program is customized for guarding by throwing away computation not relevant for guarding. We have explored using program slicing for customization. Customization can cut the overhead of guarding by up to half. Shadow processing uses idle processors in multiprocessor workstations to perform run-time checking in the background. A user program is instrumented to obtain a ‘main process’ and a ‘shadow process’. The main process performs computations from the orignal program, occasionally communicating a few key values to the shadow process. The shadow process follows the main process, checking pointer and array accesses. The overhead to the main process which the user sees is very low – almost always less than 10%. © 1997 by John Wiley & Sons, Ltd.     

An Algebraic Hardware/Software Partitioning Algorithm

Hardware and software co-design is a design technique which delivers computer systems comprising hardware and software components.A critical phase of the co-design process is to decompose a program into hardware and software .This paper proposes an algebraic partitioning algorithm whose correctness is verified in program algebra.The authors inroduce a program analysis phase before program partitioning and deveop a collection of syntax-based splitting rules.The former provides the information for moving operations from software to hardware and reducing the interaction between compoents,and th latter supports a compositional approach to program partitioning.     

MATLAB图形信息数据库应用程序的开发

MATLAB图形技术采用矩阵运算方法，可以方便地绘制出各种二维和三维图形，广泛用于科学研究和工程技术。利用PB8．0数据库应用系统开发工具，结合对象连接与嵌入(OLE)技术，使用MSSQL Server2000作为后台数据库管理系统，开发出了功能强大、使用方便、用户满意的应用程序，它能灵活操作和管理MATLAB图形信息，并用实例说明了PB8．0与MSSQL Server2000的连接、数据库表的建立，以及窗体控件的设计方法和数据库应用程序的设计。     

C/C++静态代码安全检查工具研究

静态代码安全检查工具是一种能够帮助程序员自动检测出源程序中是否存在安全缺陷的软件。它通过逐行分析程序的源代码,发现软件中潜在的安全漏洞。本文针对C／C＋＋语言程序设计中容易存在的多种安全问题,分别分析了问题的根源,给出了具体可行的分析及检测方法。最后通过对静态代码安全检查工具优缺点的比较,给出了一些提高安全检查效果的建议。     

基于MSP430F149单片机的SDRAM控制程序设计

本文介绍了德州仪器公司新一代16位Flash型MSP430F149系列单片机的结构、特性和功能,阐述了基于该单片机控制系统的硬件组成和软件设计,并给出了该控制器在SDRAM控制系统中的应用。具有功耗低、功能齐全、人机界面友好等优点。     

基于证据推理的程序恶意性判定方法

针对可执行程序恶意性难以判定的情况,提出一种基于证据推理的程序恶意性判定方法.首先,建立程序恶意性判定模型;然后,通过对程序进行反编译,抽取影响程序安全性的特征,建立程序行为集合;使用BP神经网络对模型进行训练得到各个行为的概率分配函数BPAF(basic probability assignment functions),并使用加权和形式的合成法则对程序行为进行合成;最后,实现对程序恶意性的判定.实验结果表明了该方法的有效性.     

云计算环境下的弹性结构程序研究

针对云计算环境下云程序的弹性结构进行研究,结合Anytime算法、弹性计价模型和软件即服务层中的SLA计费架构,将总业务费用分为接入费用、使用费用和补偿费用进行计算,设计基于图像小波变换的弹性结构程序,给出程序的执行步骤和状态转换图。分析结果表明,该弹性结构程序能对程序迭代次数进行控制,较好满足用户需求。