暂无，待补充字段
0专利总数
0许可专利
0转让专利
0第一发明人
0合作企业
专利列表
- 在审
面向RISC-V架构内建函数的迁移方法及装置
申请日: 20250530 公开日: 20251031 申请人: 中国科学院软件研究所
- 在审
跨架构的代码变更同步方法、系统、电子设备及存储介质
申请日: 20250530 公开日: 20251031 申请人: 中国科学院软件研究所
- 在审
面向数据库模式演进的逻辑缺陷自动化检测方法及装置
申请日: 20250312 公开日: 20250715 申请人: 中国科学院软件研究所
- 在审
一种基于Gremlin的图数据库系统的查询拆解测试方法及装置
申请日: 20240109 公开日: 20250711 申请人: 中国科学院软件研究所
- 失效
软件包构建问题修复方法、系统、设备、介质及产品
申请日: 20250324 公开日: 20250422 申请人: 中国科学院软件研究所
显示 1-5 条，共 12 条
科研动态
中国科学院软件研究所提出系列数据库系统质量保障方法并发现真实缺陷
来源: VLDB 2025;ICDE 2025;ISSTA 2025合作: 宋建森、窦文生、高钰、崔紫玉、王伟、魏峻、杨睿、冯源、谢旭东、汤磊、许利杰、黄涛、王栋、冯文翰、梁堉
中国科学院提出系列数据库系统质量保障方法并发现真实缺陷
来源: VLDB 2025;ICDE 2025;ISSTA 2025合作: 宋建森、窦文生、高钰、崔紫玉、王伟、魏峻、杨睿、冯源、谢旭东、汤磊、许利杰、黄涛、王栋、冯文翰、梁堉
中国科学院提出模型驱动的图数据库系统查询生成和随机差分测试方法
来源: ISSTA 2022合作: 窦文生、王伟
中国科学院提出模型驱动的图数据库系统查询生成和随机差分测试方法
来源: ISSTA 2022合作: 窦文生、王伟
