Feng Sheng

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 19

Top Topics

Bipartite Graph

Denotational Semantics

Top Venues

Publications

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