您的位置： 专家智库 > >

章明星

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

合作作者

文献类型

  • 6篇中文专利

领域

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

主题

  • 2篇数据类
  • 2篇漏洞
  • 2篇剪枝
  • 2篇共享数据
  • 2篇分布式
  • 2篇程序共享
  • 1篇电子设备
  • 1篇迭代
  • 1篇一致性
  • 1篇义务
  • 1篇硬件
  • 1篇硬件资源
  • 1篇用户
  • 1篇删除
  • 1篇数据操作
  • 1篇数据一致
  • 1篇数据一致性
  • 1篇算子
  • 1篇主节点
  • 1篇注意力

机构

  • 6篇清华大学

作者

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

年份

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