Feng Sheng

23 papers A 1B 2C 5Misc 1Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Theoretical and Practical Approach to the Soundness and Completeness of Operational Semantics based on Denotational Semantics for MDESL.
Formal Aspects Comput.
Hongyan Zhao, Huibiao Zhu, Feng Sheng, Jifeng He, Jonathan P. Bowen
2024 — conf
Construction of Traffic Control Scenarios for Energy-Saving Trucks Driving.
ICIT
Feng Sheng, Xiaoqing Zeng, Bo Deng, Xuehui An, Xiaoyuan Yue, Yizeng Wang
2022 — conf
Design and Implementation of FY Satellite Remote Sensing Image Storage System Based on GaussDB for Mongo.
ICITEE
Feng Sheng, Ying Wang, Chun Liu
2022 — conf
Design of Geospatial Big Data Cloud Platform for Land Resources.
ICITEE
Feng Sheng, Chun Liu, Ying Wang, Yanjin Shen
2021 J jnl
Exploiting Buffered Updates for Fast Streaming Graph Analysis.
IEEE Trans. Computers
Feng Sheng, Qiang Cao, Jie Yao
2020 — conf
A Displacement Data Acquisition and Transmission System Based on a Wireless Body Domain Network.
ICAIS (1)
Juan Guo, Feng Sheng, Jie Li, Chao Guo, Dingbang Xie
2020 B conf
GraBi: Communication-Efficient and Workload-Balanced Partitioning for Bipartite Graphs.
ICPP
Feng Sheng, Qiang Cao, Hong Jiang, Jie Yao
2020 J jnl
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP.
Formal Aspects Comput.
Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
2019 B conf
ESprint: QoS-Aware Management for Effective Computational Sprinting in Data Centers.
CCGRID
Haoran Cai, Qiang Cao, Feng Sheng, Yang Yang, Changsheng Xie, Liang Xiao
2019 J jnl
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL.
ACM Trans. Softw. Eng. Methodol.
Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
2019 C conf
Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software.
APSEC
Yongxin Zhao, Xiujuan Zhang, Ling Shi, Gan Zeng, Feng Sheng, Shuang Liu
2019 C conf
Towards the Mechanized Semantics and Refinement of UML Class Diagrams.
APSEC
Feng Sheng, Huibiao Zhu, Zongyuan Yang
2019 C conf
Verifying Static Aspects of UML models using Prolog (S).
SEKE
Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu
2018 J jnl
A Study of College Basketball LAMS Teaching Model Centered on Learning Activities.
Int. J. Emerg. Technol. Learn.
Feng Sheng, Shaozeng Sheng
2018 J jnl
Construction of Multifunctional Video Conversion-based Multimedia Teaching System for College Basketball.
Int. J. Emerg. Technol. Learn.
Feng Sheng, Shaozeng Sheng
2018 — conf
GraPU: Accelerate Streaming Graph Analysis through Preprocessing Buffered Updates.
SoCC
Feng Sheng, Qiang Cao, Haoran Cai, Jie Yao, Changsheng Xie
2018 A conf
GreenSprint: Effective Computational Sprinting in Green Data Centers.
IPDPS
Haoran Cai, Xu Zhou, Qiang Cao, Hong Jiang, Feng Sheng, Xiandong Qi, Jie Yao, Changsheng Xie, Liang Xiao, Liang Gu
2017 C conf
Laro: Lazy repartitioning for graph workloads on heterogeneous clusters.
IPCCC
Feng Sheng, Qiang Cao, Haoran Cai, Jie Yao, Changsheng Xie
2017 J jnl
Mechanized semantics and refinement of UML-Statecharts.
Frontiers Inf. Technol. Electron. Eng.
Feng Sheng, Liang Dou, Zongyuan Yang
2016 C conf
Montgolfier: Latency-aware power management system for heterogeneous servers.
IPCCC
Haoran Cai, Qiang Cao, Feng Sheng, Manyi Zhang, Chuanyi Qi, Jie Yao, Changsheng Xie
2014 J jnl
Task modulations of racial bias in neural responses to others' suffering.
NeuroImage
Feng Sheng, Qiang Liu, Hong Li, Fang Fang, Shihui Han
2012 J jnl
Manipulations of cognitive strategies and intergroup relationships reduce the racial bias in empathic neural responses.
NeuroImage
Feng Sheng, Shihui Han
2006 Misc conf
A Framework for Comparative Performance Analysis of MPI Applications.
PDPTA
Edgar Gabriel, Feng Sheng, Rainer Keller, Michael M. Resch