可重构专用处理器核的周期精确的仿真模型及其硬件架构

技术简介： 本发明涉及一种可重构专用处理器核的周期精确的仿真模型，基于SystemC周期精确模型，包括控制模块，发出配置参数，用于控制与所述模型外部的交互以及模型内部的各模块的工作状态；传输模块，接…… 查看详细 >

基于网络感知的虚拟机调度与再调度方法

技术简介： 本发明提供了一种基于网络感知的虚拟机调度与再调度方法,包括虚拟机初次调度与再调度。初次调度首先获取当前数据中心的状态,判断有无初始通信矩阵，根据有无初始通信矩阵来选择是否进行初次进行…… 查看详细 >

在虚拟机管理器中动态无侵的应用进程函数调用监控方法

技术简介： 本发明是在虚拟机管理器中动态无侵的应用进程函数调用监控方法，包括函数调用触发器插入算法、触发器代码的构造。在需要监控的时候，从被监控的应用程序的函数的入口地址开始处根据函数调用触发…… 查看详细 >

一种可重构专用处理器核的功能模拟器

技术简介： 本发明涉及可重构专用处理器核的功能模拟器，包括：对外接口模块，模拟可重构专用处理器核内部寄存器组和内部SRAM的功能，接收需要模拟的配置指令，根据所述配置指令解析得到的任务信息，并将所…… 查看详细 >

一种基于抽象格结构的异步普适计算环境感知方法

技术简介： 本发明公开了一种基于抽象格结构的异步普适计算环境感知方法。在异步的普适计算环境中，传感器设备收集环境信息，并发送给信息处理基站，局部区域的信息处理基站将环境信息封装为局部状态，并发…… 查看详细 >

一种基于软件主体的环境探知平台系统及其环境探知方法

技术简介： 本发明涉及一种基于软件主体的环境探知平台系统及其环境探知方法，该系统安装在每一个网络计算机节点，包括基础通讯模块、软件主体运行管理模块、环境信息分发模块和集成命令处理模块。其通过在…… 查看详细 >

基于OGR的shapefile文件主从式并行写方法

技术简介： 本发明属于高性能地理计算领域，公开了基于OGR的shapefile文件主从式并行写方法。其步骤为：步骤1：输入命令行参数;步骤2：串行的方式创建shapefile目标数据源和图层文件，关闭目标数据源文件；…… 查看详细 >

基于反转单链表的锁无关消息队列实现方法

技术简介： 基于反转单链表的锁无关消息队列实现方法，用于2线程服务器架构，包括a)基于反转单链表的锁无关消息队列的数据结构，b)基于所述数据结构实现的两个锁无关方法的操作函数：Push函数和Pop函数；2…… 查看详细 >

一种用于mashup应用推荐的协同过滤方法

技术简介： 本发明公开了一种用于mashup应用推荐的协同过滤方法，包括以下步骤：步骤1，计算mashup应用之间的内容相似度；步骤2，传递内容相似度；步骤3，聚类mashup应用；步骤4，计算属于同一个聚类的mash…… 查看详细 >

基于图形处理器的并行化约束检测方法

技术简介： 本发明是一种基于图形处理器的并行化地检测约束的方法，步骤1)以量词为分割点，将一条约束分割成若干处理单元，通过调度这些处理单元，消除检测过程中的递归并最大化并行度；2)根据当前的处理单…… 查看详细 >

一种基于标签的分布式系统构件动态更新方法

技术简介： 本发明公开一种基于标签的分布式系统构件动态更新方法，包括以下步骤：发起更新请求，用户向分布式系统发送更新构件的请求，指名待更新构件的名称；添加事务标签，对正在运行的事务进行分析，如…… 查看详细 >

基于偏序规约的中断驱动系统有界模型检验方法

技术简介： 基于偏序规约的中断驱动系统有界模型检验方法，该方法采用偏序规约来约减中断驱动系统有界模型检验状态遍历过程中的路径和状态。本发明根据中断驱动系统所具有的性质，首先定义中断处理程序之间…… 查看详细 >