Peng Wu - Publications, H-index & Citations

Peng Wu

chinese academy of sciences

8H指数

55论文数

251被引数

收录论文 7

发表时间

Checking Linearizability of Multi-core Task Management and Scheduling System 多核任务管理与调度系统的线性化可检查性

ENGINEERING OF COMPLEX COMPUTER SYSTEMS, ICECCS 2025

IF0

2026-01-01

PREAI

Jia, Qiaowen; Lv, Liangjie; Yang, Yuting; Zhan, Bohua; Wu, Peng; Hao, Jifeng; Ye, Hong; Wang, Chao; Lv, Yi

Knowledge graph-driven process reasoning of human-robot collaborative disassembly strategy for end-of-life products 基于知识图谱驱动的人机协同拆解策略的端到端产品过程推理

Robotics and Computer-Integrated Manufacturing

IF11.4

2025-12-20

OAAI

Jinhua Xiao; Zhiwen Zhang; Yu Zheng; Peng Wu; Sergio Terzi; Marco Macchi

An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2023-11-23

OAAI

Sun, Chang-Ai; Dai, Hepeng; Geng, Ning; Liu, Huai; Chen, Tsong Yueh; Wu, Peng; Cai, Yan; Wang, Jinqiu

A restrictive polymorphic ant colony algorithm for the optimal band selection of hyperspectral remote sensing images

INTERNATIONAL JOURNAL OF REMOTE SENSING

IF2.6

2019-08-20

PREAI

Ding, Xiaohui; Zhang, Shuqing; Li, Huapeng; Wu, Peng; Dale, Patricia; Liu, Lingjia; Cheng, Shuai

A Novel Multi-Thread Parallel Constraint Propagation Scheme

IEEE ACCESS

IF3.6

2019-01-01

OAAI

Li, Zhe; Yu, Zhezhou; Wu, Peng; Chen, Jianan; Li, Zhanshan

Diversity driven adaptive test generation for concurrent data structures

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2018-11-01

PREAI

Ma, Linhai; Wu, Peng; Chen, Tsong Yueh

Decidability of linearizabilities for relaxed data structures 松弛数据结构的线性可解性

SCIENCE CHINA-INFORMATION SCIENCES

IF7.6

2017-09-01

PREAI

Wang, Chao; Lv, Yi; Wu, Peng

研究方向