排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
2.
FORTH语言已越来越广泛地用于设计嵌入式软件和固件,但设计过程中通常面临的诸如没有操作系统支持、缺乏调试环境等问题却使得传统的编译FORTH语言的方法遇到了很大的困难,本文针对嵌入式软件开发的实际情况,提出了一种具有良好可移植性和可扩展性、能有效生成异构平台上FORTH系统的框架,该框架被应用于开放式BOOT固件的设计中,取得了良好的效果。 相似文献
3.
针对应用程序安全分析的实际需求,设计并实现了一个针对可执行代码的内存泄漏分析框架MLAB.MLAB首先从可执行代码中恢复控制流和数据流信息,依据恢复的控制流图建立程序的有限状态自动机,在此基础上运用模型检测算法分析程序可能存在的内存泄漏.利用几个典型的程序实例详细说明了MLAB方法的工作原理,并通过基于测试程序集MiBench的实验对方法进行了验证,结果说明了该方法的有效性. 相似文献
4.
提出了一种基于数据库模式的超媒体语义网络模型,该模型通过引入模式约束图,对超媒体系统中的关系约束进行了分类,并给出了相应的约束检测算法;通过引入视图机制提出了结构约束的概念;通过扩充模式约束图的属性,描述了超媒体特定应用领域的计算约束,从而从整体上对与应用领域无关至特定应用领域的语义约束进行了深入的研究。 相似文献
5.
论在分析基于内容检索的图像数据库系统中查询类型的基础上,为支持基于图像语义概念的查询,扩充了面向对象的SQL语言,以有效地表达查询中的概念,为进行查询变换,提出了概念层次模型以有效地表达概念在不同抽象层的不同表现形式,并利用项重写技术,将查询中涉及的概念项和语义空间关系转化为基本检索类型的组合。 相似文献
1