您的位置： 专家智库 > >

章明星

作品数：8 被引量：0H指数：0
供职机构：清华大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 8篇中文专利

领域

  • 4篇自动化与计算...

主题

  • 3篇分布式
  • 2篇数据类
  • 2篇漏洞
  • 2篇剪枝
  • 2篇共享数据
  • 2篇程序共享
  • 1篇电子设备
  • 1篇迭代
  • 1篇信息查找
  • 1篇一致性
  • 1篇义务
  • 1篇引用计数
  • 1篇硬件
  • 1篇硬件资源
  • 1篇用户
  • 1篇元数据
  • 1篇元数据信息
  • 1篇远程
  • 1篇远程分布式
  • 1篇删除

机构

  • 8篇清华大学

作者

  • 8篇武永卫
  • 8篇章明星
  • 5篇姜进磊
  • 4篇郑纬民
  • 3篇陈康
  • 2篇陈岩
  • 1篇李雪

年份

  • 5篇2024
  • 1篇2020
  • 1篇2016
  • 1篇2014
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
并行程序共享数据类漏洞的检测方法及系统
本发明提出一种并行程序共享数据类漏洞的检测方法，包括以下步骤：为软件不变量中的各条指令的动态实例定义瞬时Fetter集，其中，软件不变量是指程序中执行顺序预先固定的指令集合；获取瞬时Fetter集的包含集和义务集；将包含...
武永卫陈康郑纬民章明星
文献传递
一种用于Transformer模型推理计算的方法、系统及装置
本发明提供了一种用于Transformer模型推理计算的方法，所述方法包括：将一个Transformer模型的计算图切分为由计算子图和注意力算子交替串接的结构；使用两种不同型号或不同种类的计算设备，进行推理计算的过程。本...
章明星武永卫陈劭源
一种图数据的查询方法、系统及装置
本发明提供了一种图数据的查询方法、系统及装置，所述查询方法包括：将图数据划分为多个分片存储，且对于每个分片，配置一个独立的处理单元；根据用户提供的查询请求，将图查询分解为对分片数据和状态访问的遍历操作，其中，该遍历操作由...
章明星武永卫陈劭源姜进磊郑纬民
分布式图计算系统和分布式图计算方法
分布式图计算系统和方法，系统包括多个计算机和数据库，每台计算机上具有一个或多个计算结点，首先进行初始化，各个计算结点分别从数据库中读取不相交的原图的一部分边；主体计算流程，采用以子图为中心的迭代化计算方法，同时加入图缩减...
武永卫陈康姜进磊李雪章明星
文献传递
一种基于引用计数的自动分布式内存管理方法
本发明属于分布式内存管理系统技术领域，公开一种基于引用计数的自动分布式内存管理方法包括：内存分配路径包括快速路径与慢速路径；快速路径中，客户端从页面中分配一个本地的空闲块，如果不存在本地空闲块，将进入慢速路径分配内存；内...
章明星武永卫华瑾琪姜进磊郑纬民
元数据自适应压缩缓存方法、查找方法及装置、设备和介质
本公开涉及元数据自适应压缩缓存方法、查找方法及装置、设备和介质，所述缓存方法包括：获取待缓存至内存的元数据信息；在内存的第一缓存层已满的情况下，将第一缓存层中的第一末尾元数据信息进行淘汰，并将元数据信息完整缓存至第一缓存...
陈岩姜进磊武永卫章明星
数据共识方法及分布式系统、电子设备和存储介质
本公开涉及数据共识方法及分布式系统、电子设备和存储介质，所述方法包括：分布式系统中的各个节点当前处于第一工作模式，第一工作模式包括：每个节点响应于接收到客户端发送的数据操作请求，检测待完成的数据操作中是否存在相互冲突的数...
陈岩姜进磊武永卫章明星
并行程序共享数据类漏洞的检测方法及系统
本发明提出一种并行程序共享数据类漏洞的检测方法，包括以下步骤：为软件不变量中的各条指令的动态实例定义瞬时Fetter集，其中，软件不变量是指程序中执行顺序预先固定的指令集合；获取瞬时Fetter集的包含集和义务集；将包含...
武永卫陈康郑纬民章明星
文献传递
全选 清除 导出
共1页<1>
聚类工具0