Guohui Wang

ORCID

Publication Activity (10 Years)

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

Top Venues

CoRR

Quantum Inf. Process.

APSEC

KSII Trans. Internet Inf. Syst.

Publications

Guohui Wang, Rui Qin, Ying Xia
M-FSDistill: A Feature Map Knowledge Distillation Algorithm for SAR Ship Detection. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 17 (2024)
Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi
Refinement Verification of OS Services based on a Verified Preemptive Microkernel. FASE (2024)
Yingjie Wu, Guohui Wang, Shanyan Chen, Zhiping Shi, Yong Guan, Ximeng Li
Formalization of Robot Collision Detection Method based on Conformal Geometric Algebra. CoRR (2023)
Ximeng Li, Qianying Zhang, Guohui Wang, Zhi-Ping Shi, Yong Guan
A unified proof technique for verifying program correctness with big-step semantics. J. Syst. Archit. 136 (2023)
Guohui Wang, Yu Chen, Minda Wang, Yifan Wang
Musculoskeletal Model Construction of Deep Squat Using Low-Cost Inertial Measurement Units. AIM (2023)
Guohui Wang, Shanyan Chen, Yong Guan, Zhi-Ping Shi, Ximeng Li, Jingzhi Zhang
Formalization of the inverse kinematics of three-fingered dexterous hand. J. Log. Algebraic Methods Program. 133 (2023)
Guohui Wang, Hailu Wang, Weinan Gao, Xudong Yang, Yifan Wang
Jamming Enabled Variable Stiffness Wrist Exoskeleton for Tremor Suppression. IEEE Robotics Autom. Lett. 8 (6) (2023)
Srinivasan Subramaniyan, Oscar Ferraz, M. R. Ashuthosh, Santosh Krishna, Guohui Wang, Joseph R. Cavallaro, Vítor Silva, Gabriel Falcão, Madhura Purnaprajna
Enabling High-Level Design Strategies for High-Throughput and Low-Power NB-LDPC Decoders. IEEE Des. Test 40 (1) (2023)
Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan
Formal Verification of Interrupt Isolation for the TrustZone-based TEE. APSEC (2023)
Guohui Wang, Chunming Tang, Weiming Wei
Some new constructions of optimal asymmetric quantum codes. Quantum Inf. Process. 22 (1) (2023)
Xudong Yang, Zongzheng Wang, Bojian Zhang, Tianyu Chen, Changhong Linghu, Kunlin Wu, Guohui Wang, Hailu Wang, Yifan Wang
Self-Sensing Robotic Structures from Architectured Particle Assemblies. Adv. Intell. Syst. 5 (1) (2023)
Zhengang Chen, Guohui Wang, Zhi-Ping Shi, Yong Guan, Tianyu Wang
Region-based Flash Caching with Joint Latency and Lifetime Optimization in Hybrid SMR Storage Systems. DATE (2023)
Weinan Gao, Jingtian Kang, Guohui Wang, Haoxiang Ma, Xueyan Chen, Muamer Kadic, Vincent Laude, Huifeng Tan, Yifan Wang
Programmable and Variable-Stiffness Robotic Skins for Pneumatic Actuation. Adv. Intell. Syst. 5 (12) (2023)
Yuanwei Bi, Chuanbiao Li, Qiang Zheng, Guohui Wang, Shidong Xu, Weiyuan Wang
Coarse-to-Fine Stereo Matching Network Based on Multi-Scale Structural Information Filtrating. IEEE Access 11 (2023)
Kun Xiao, Guohui Wang, Yi Chen, Jinghong Nan, Yongfeng Xie
Event-Based Dense Reconstruction Pipeline. CoRR (2022)
Guohui Wang, Chunming Tang
Application of GRS codes to some entanglement-assisted quantum MDS codes. Quantum Inf. Process. 21 (3) (2022)
Kun Xiao, Pengju Li, Guohui Wang, Zhi Li, Yi Chen, Yongfeng Xie, Yuqiang Fang
A Preliminary Research on Space Situational Awareness Based on Event Cameras. CoRR (2022)
Kun Xiao, Guohui Wang, Yi Chen, Yongfeng Xie, Hong Li, Sen Li
Research on Event Accumulator Settings for Event-Based SLAM. ICRCA (2022)
Guohui Wang, Chunming Tang
New constructions of optimal subsystem codes. Comput. Appl. Math. 41 (8) (2022)
Guohui Wang, Chunming Tang
Some constructions of optimal subsystem codes derived from GRS codes. Quantum Inf. Process. 21 (8) (2022)
Guohui Wang, Chunming Tang
Some entanglement-assisted quantum MDS codes with large minimum distance. Quantum Inf. Process. 21 (8) (2022)
Yong Guan, Jingzhi Zhang, Guohui Wang, Ximeng Li, Zhiping Shi, Yongdong Li
Formalization of Euler-Lagrange Equation Set Based on Variational Calculus in HOL Light. J. Autom. Reason. 65 (1) (2021)
Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan
Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics. CoRR (2021)
Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan
Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics. SETTA (2021)
Shujun Gao, Tian Qiu, Ailin Huang, Guohui Wang, Jiachao Yu
Electronic Components Detection for PCBA Based on A Tailored YOLOv3 Network with Image Pre-Processing. CASE (2021)
Zhehui Zhang, Haiyang Zheng, Jiayao Hu, Xiangning Yu, Chenchen Qi, Xuemei Shi, Guohui Wang
Hashing Linearity Enables Relative Path Control in Data Centers. USENIX Annual Technical Conference (2021)
Yifan Chen, Guohui Wang, Huiyue Yi, Wuxiong Zhang
Priority-based Distributed Queuing Random Access Mechanism for mMTC/uRLLC Terminals Coexistence. VTC Spring (2021)
Kun Xiao, Guohui Wang, Yi Chen, Yongfeng Xie, Hong Li
Research on Event Accumulator Settings for Event-Based SLAM. CoRR (2021)
Jianbo Dong, Shaochuang Wang, Fei Feng, Zheng Cao, Heng Pan, Lingbo Tang, Pengcheng Li, Hao Li, Qianyuan Ran, Yiqun Guo, Shanyuan Gao, Xin Long, Jie Zhang, Yong Li, Zhisheng Xia, Liuyihan Song, Yingya Zhang, Pan Pan, Guohui Wang, Xiaowei Jiang
ACCL: Architecting Highly Scalable Distributed Training Systems With Highly Efficient Collective Communication Library. IEEE Micro 41 (5) (2021)
Shujun Gao, Tian Qiu, Guohui Wang, Ailin Huang, Jiachao Yu
Printing Characters Recognition of Chip Resistors Based on the Combination of Image Segmentation and Artificial Neural Network. ICCSE (2021)
Kun Xiao, Junqi Lu, Ying Nie, Lan Ma, Xiangke Wang, Guohui Wang
A Benchmark for Multi-UAV Task Assignment of an Extended Team Orienteering Problem. CoRR (2020)
Zhenzhou Shao, Ying Qu, Guangli Ren, Guohui Wang, Yong Guan, Zhiping Shi, Jindong Tan
Batch Normalization Masked Sparse Autoencoder for Robotic Grasping Detection. IROS (2020)
Yuwei Ma, Qianying Zhang, Shijun Zhao, Guohui Wang, Ximeng Li, Zhiping Shi
Formal Verification of Memory Isolation for the TrustZone-based TEE. APSEC (2020)
Kekai Sheng, Weiming Dong, Menglei Chai, Guohui Wang, Peng Zhou, Feiyue Huang, Bao-Gang Hu, Rongrong Ji, Chongyang Ma
Revisiting Image Aesthetic Assessment via Self-Supervised Feature Learning. AAAI (2020)
Kun Xiao, Shaochang Tan, Guohui Wang, Xueyan An, Xiang Wang, Xiangke Wang
XTDrone: A Customizable Multi-Rotor UAVs Simulation Platform. CoRR (2020)
Oscar Ferraz, Srinivasan Subramaniyan, Guohui Wang, Joseph R. Cavallaro, Gabriel Falcão, Madhura Purnaprajna
Gbit/s Non-Binary LDPC Decoders: High-Throughput using High-Level Specifications. FCCM (2020)
Yuyang Sun, Hongbin Liu, Shuxin Wang, Junghwan Back, Siyang Zuo, Julius E. Bernth, Guokai Zhang, Guohui Wang, Jianmin Li
A Variable-Dimension Overtube for Natural Orifice Transluminal Endoscopic Surgery. IEEE Access 8 (2020)
Srinivasan Subramaniyan, Oscar Ferraz, M. R. Ashuthosh, Santosh Krishna, Guohui Wang, Joseph R. Cavallaro, Vítor Silva, Gabriel Falcão, Madhura Purnaprajna
Pushing the Limits of Energy Efficiency for Non-Binary LDPC Decoders on GPUs and FPGAs. SiPS (2020)
Shanyan Chen, Guohui Wang, Ximeng Li, Qianying Zhang, Zhi-Ping Shi, Yong Guan
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula. Formal Aspects Comput. 32 (4-6) (2020)
Weidong Fang, Wei Chen, Wuxiong Zhang, Jun Pei, Weiwei Gao, Guohui Wang
Digital signature scheme for information non-repudiation in blockchain: a state of the art review. EURASIP J. Wirel. Commun. Netw. 2020 (1) (2020)
Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan
Formal Verification of Atomicity Requirements for Smart Contracts. APLAS (2020)
Tiantu Xu, Guohui Wang, Felix Xiaozhu Lin
Practical Urban Localization for Mobile AR. HotMobile (2020)
Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan
Formal Modelling and Verification of Spinlocks at Instruction Level. APSEC (2019)
Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan, Guohui Wang
A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0. IACR Cryptol. ePrint Arch. 2019 (2019)
Jingzhi Zhang, Guohui Wang, Zhiping Shi, Yong Guan, Yongdong Li
Formalization of functional variation in HOL Light. J. Log. Algebraic Methods Program. 106 (2019)
Kekai Sheng, Weiming Dong, Menglei Chai, Guohui Wang, Peng Zhou, Feiyue Huang, Bao-Gang Hu, Rongrong Ji, Chongyang Ma
Revisiting Image Aesthetic Assessment via Self-Supervised Feature Learning. CoRR (2019)
Dingming Wu, Ang Chen, T. S. Eugene Ng, Guohui Wang, Haiyong Wang
Accelerated Service Chaining on a Single Switch ASIC. HotNets (2019)
Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan, Guohui Wang
A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0. CoRR (2019)
Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han
Towards Verifying Ethereum Smart Contracts at Intermediate Language Level. ICFEM (2019)
Yuhan Nie, Zhiping Shi, Aixuan Wu, Ximeng Li, Guohui Wang, Yong Guan
A HOL Theory of the Differential for Matrix Functions. TASE (2019)
Guohui Wang, Yuanbo Chu
A New Oren-Nayar Shape-from-Shading Approach for 3D Reconstruction Using High-Order Godunov-Based Scheme. Algorithms 11 (5) (2018)
Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li
Formalization of Symplectic Geometry in HOL-Light. ICFEM (2018)
Rui Wang, Hongwei Zhang, Guohui Wang, Zhesong Ma
Design of Thermal Power Generation System Based on Underwater Vehicles. ICIRA (1) (2017)
Yong Guan, Guohui Wang, Chenlin Ma, Renhai Chen, Yi Wang, Zili Shao
A Block-Level Log-Block Management Scheme for MLC NAND Flash Memory Storage Systems. IEEE Trans. Computers 66 (9) (2017)
Guolin Sun, Guohui Wang, Prince Clement Addo, Guisong Liu, Wei Jiang
Dynamic Resource Reservation for Ultra-low Latency IoT Air-Interface Slice. KSII Trans. Internet Inf. Syst. 11 (7) (2017)
Guolin Sun, Prince Clement Addo, Guohui Wang, Guisong Liu
Energy Efficient Cell Management by Flow Scheduling in Ultra Dense Networks. KSII Trans. Internet Inf. Syst. 10 (9) (2016)
Rotem Aviv, Guohui Wang
OpenCL-Based Mobile GPGPU Benchmarking: Methods and Challenges. IWOCL (2016)
Yang Peng, Kai Chen, Guohui Wang, Wei Bai, Yangming Zhao, Hao Wang, Yanhui Geng, Zhiqiang Ma, Lin Gu
Towards Comprehensive Traffic Forecasting in Cloud Computing: Design and Application. IEEE/ACM Trans. Netw. 24 (4) (2016)
Guohui Wang, Yong Guan, Yi Wang, Zili Shao
Energy-aware assignment and scheduling for hybrid main memory in embedded systems. Computing 98 (3) (2016)
Guolin Sun, Guohui Wang, Guisong Liu
Air-Interface Slice Based Dynamic Resource Reservation for Ultra-Low-Latency IoT Transmissions. LCN (2016)
Xiaoye Sun, T. S. Eugene Ng, Guohui Wang
Software-Defined Flow Table Pipeline. IC2E (2015)
Lijuan Wang, Lifeng Wu, Yong Guan, Guohui Wang
Online Sensor Fault Detection Based on an Improved Strong Tracking Filter. Sensors 15 (2) (2015)
Lifeng Wu, Yu Zheng, Yong Guan, Guohui Wang, Xiaojuan Li
A Non-Intrusive Method for Monitoring the Degradation of MOSFETs. Sensors 14 (1) (2014)
Guohui Wang, Hao Shen, Yang Sun, Joseph R. Cavallaro, Aida Vosoughi, Yuanbin Guo
Parallel Interleaver Design for a High Throughput HSPA+/LTE Multi-Standard Turbo Decoder. CoRR (2014)
Michael Wu, Bei Yin, Guohui Wang, Christoph Studer, Joseph R. Cavallaro
GPU Acceleration of a Configurable N-Way MIMO Detector for Wireless Systems. J. Signal Process. Syst. 76 (2) (2014)
Guohui Wang, Yingen Xiong, Jay Yun, Joseph R. Cavallaro
Computer Vision Accelerators for Mobile Systems based on OpenCL GPGPU Co-Processing. J. Signal Process. Syst. 76 (3) (2014)
Guohui Wang, Bei Yin, Inkeun Cho, Joseph R. Cavallaro, Shuvra S. Bhattacharyya, Jarmo Takala
Efficient architecture mapping of FFT/IFFT for cognitive radio networks. ICASSP (2014)
Guohui Wang, Hao Shen, Yang Sun, Joseph R. Cavallaro, Aida Vosoughi, Yuanbin Guo
Parallel Interleaver Design for a High Throughput HSPA+/LTE Multi-Standard Turbo Decoder. IEEE Trans. Circuits Syst. I Regul. Pap. (5) (2014)
João Andrade, Aida Vosoughi, Guohui Wang, Georgios Karakonstantis, Andreas Burg, Gabriel Falcão, Vítor Manuel Mendes da Silva, Joseph R. Cavallaro
On the performance of LDPC and turbo decoder architectures with unreliable memories. ACSSC (2014)
Yang Peng, Kai Chen, Guohui Wang, Wei Bai, Zhiqiang Ma, Lin Gu
HadoopWatch: A first step towards comprehensive traffic forecasting in cloud computing. INFOCOM (2014)
Michael Wu, Bei Yin, Guohui Wang, Chris Dick, Joseph R. Cavallaro, Christoph Studer
Large-Scale MIMO Detection for 3GPP LTE: Algorithms and FPGA Implementations. CoRR (2014)
Kaipeng Li, Michael Wu, Guohui Wang, Joseph R. Cavallaro
A high performance GPU-based software-defined basestation. ACSSC (2014)
Guohui Wang, Yingen Xiong, Jay Yun, Joseph R. Cavallaro
Computer Vision Accelerators for Mobile Systems based on OpenCL GPGPU Co-Processing. CoRR (2014)
Bei Yin, Michael Wu, Guohui Wang, Chris Dick, Joseph R. Cavallaro, Christoph Studer
A 3.8Gb/s large-scale MIMO detector for 3GPP LTE-Advanced. ICASSP (2014)
Michael Wu, Bei Yin, Guohui Wang, Chris Dick, Joseph R. Cavallaro, Christoph Studer
Large-Scale MIMO Detection for 3GPP LTE: Algorithms and FPGA Implementations. IEEE J. Sel. Top. Signal Process. 8 (5) (2014)
Wenfei Wu, Guohui Wang, Aditya Akella, Anees Shaikh
Virtual network diagnosis as a service. SoCC (2013)
Yong Guan, Guohui Wang, Yi Wang, Renhai Chen, Zili Shao
-block management for NAND flash memorystorage systems. LCTES (2013)
Guohui Wang, Yingen Xiong, Jay Yun, Joseph R. Cavallaro
Accelerating computer vision algorithms using OpenCL framework on the mobile GPU - A case study. ICASSP (2013)
Michael Wu, Guohui Wang, Bei Yin, Christoph Studer, Joseph R. Cavallaro
HSPA;/LTE-A turbo decoder on GPU and multicore CPU. ACSSC (2013)
Guohui Wang, Aida Vosoughi, Hao Shen, Joseph R. Cavallaro, Yuanbin Guo
Parallel interleaver architecture with new scheduling scheme for high throughput configurable turbo decoder. ISCAS (2013)
Blaine Rister, Guohui Wang, Michael Wu, Joseph R. Cavallaro
A fast and efficient sift detector using the mobile GPU. ICASSP (2013)
Guoyuan Lin, Yuyu Bie, Guohui Wang, Min Lei
A Novel Clustering Algorithm Based on Graph Matching. J. Softw. 8 (4) (2013)
Guohui Wang, Michael Wu, Bei Yin, Joseph R. Cavallaro
High throughput low latency LDPC decoding on GPU for SDR systems. GlobalSIP (2013)
Mohammad Banikazemi, David Olshefski, Anees Shaikh, John M. Tracey, Guohui Wang
Meridian: an SDN platform for cloud network services. IEEE Commun. Mag. 51 (2) (2013)
Aida Vosoughi, Guohui Wang, Hao Shen, Joseph R. Cavallaro, Yuanbin Guo
Highly scalable on-the-fly interleaved address generation for UMTS/HSPA+ parallel turbo decoder. ASAP (2013)
Guohui Wang, Blaine Rister, Joseph R. Cavallaro
Workload analysis and efficient OpenCL-based implementation of SIFT algorithm on a smartphone. GlobalSIP (2013)
Guohui Wang, T. S. Eugene Ng, Anees Shaikh
Programming your network at run-time for big data applications. HotSDN@SIGCOMM (2012)
Bei Yin, Michael Wu, Guohui Wang, Joseph R. Cavallaro
Low complexity opportunistic decoder for network coding. ACSCC (2012)
Guohui Wang, Hao Shen, Bei Yin, Michael Wu, Yang Sun, Joseph R. Cavallaro
Parallel nonbinary LDPC decoding on GPU. ACSCC (2012)
Guohui Wang, Michael Wu, Yang Sun, Joseph R. Cavallaro
GPU accelerated scalable parallel decoding of LDPC codes. ACSCC (2011)
Guohui Wang, Yongpeng Xie, Dan Shi, Nan Zhang
The effects of mechanical stimulation on proliferation and CTGF expression of human lung fibroblast. BMEI (2011)
Guohui Wang, Yang Sun, Joseph R. Cavallaro, Yuanbin Guo
High-throughput Contention-Free concurrent interleaver architecture for multi-standard turbo decoder. ASAP (2011)
Michael Wu, Yang Sun, Guohui Wang, Joseph R. Cavallaro
Implementation of a High Throughput 3GPP Turbo Decoder on GPU. J. Signal Process. Syst. 65 (2) (2011)
Guohui Wang, Michael Wu, Yang Sun, Joseph R. Cavallaro
A massively parallel implementation of QC-LDPC decoder on GPU. SASP (2011)
Guohui Wang, Wei Su, Yugui Song
A New Shape from Shading Approach for Specular Surfaces. AICI (3) (2011)
Yang Sun, Guohui Wang, Joseph R. Cavallaro
Multi-layer parallel decoding algorithm and vlsi architecture for quasi-cyclic LDPC codes. ISCAS (2011)
Hamid Hajabdolali Bazzaz, Malveeka Tewari, Guohui Wang, George Porter, T. S. Eugene Ng, David G. Andersen, Michael Kaminsky, Michael A. Kozuch, Amin Vahdat
Switching the optical divide: fundamental challenges for hybrid electrical/optical datacenter networks. SoCC (2011)
Bo Zhang, Guohui Wang, Angela Yun Zhu, T. S. Eugene Ng
Router group monitoring: making traffic trajectory error detection more efficient. IEEE Trans. Netw. Serv. Manag. 7 (3) (2010)
Bo Zhang, Tze Sing Eugene Ng, Animesh Nandi, Rudolf H. Riedi, Peter Druschel, Guohui Wang
Measurement-based analysis, modeling, and synthesis of the internet delay space. IEEE/ACM Trans. Netw. 18 (1) (2010)
Guohui Wang, David G. Andersen, Michael Kaminsky, Konstantina Papagiannaki, T. S. Eugene Ng, Michael Kozuch, Michael P. Ryan
c-Through: part-time optics in data centers. SIGCOMM (2010)

Guohui Wang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Guohui Wang