Guohui Wang

Rui Qin

Ying Xia

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024

Refinement Verification of OS Services based on a Verified Preemptive Microkernel.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Programmable and Variable-Stiffness Robotic Skins for Pneumatic Actuation.

[BibT_eX]

[DOI]

Adv. Intell. Syst., December, 2023

Jamming Enabled Variable Stiffness Wrist Exoskeleton for Tremor Suppression.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., June, 2023

Formalization of the inverse kinematics of three-fingered dexterous hand.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., June, 2023

A unified proof technique for verifying program correctness with big-step semantics.

[BibT_eX]

[DOI]

J. Syst. Archit., March, 2023

Enabling High-Level Design Strategies for High-Throughput and Low-Power NB-LDPC Decoders.

[BibT_eX]

[DOI]

Srinivasan Subramaniyan

IEEE Des. Test, February, 2023

Some new constructions of optimal asymmetric quantum codes.

[BibT_eX]

[DOI]

Weiming Wei

Quantum Inf. Process., January, 2023

Self-Sensing Robotic Structures from Architectured Particle Assemblies.

[BibT_eX]

[DOI]

Adv. Intell. Syst., January, 2023

Formalization of Robot Collision Detection Method based on Conformal Geometric Algebra.

[BibT_eX]

[DOI]

CoRR, 2023

Coarse-to-Fine Stereo Matching Network Based on Multi-Scale Structural Information Filtrating.

[BibT_eX]

[DOI]

IEEE Access, 2023

Region-based Flash Caching with Joint Latency and Lifetime Optimization in Hybrid SMR Storage Systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Formal Verification of Interrupt Isolation for the TrustZone-based TEE.

[BibT_eX]

[DOI]

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

Musculoskeletal Model Construction of Deep Squat Using Low-Cost Inertial Measurement Units.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2023

2022

New constructions of optimal subsystem codes.

[BibT_eX]

[DOI]

Comput. Appl. Math., December, 2022

Some entanglement-assisted quantum MDS codes with large minimum distance.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2022

Some constructions of optimal subsystem codes derived from GRS codes.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2022

Application of GRS codes to some entanglement-assisted quantum MDS codes.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2022

A Preliminary Research on Space Situational Awareness Based on Event Cameras.

[BibT_eX]

[DOI]

CoRR, 2022

Event-Based Dense Reconstruction Pipeline.

[BibT_eX]

[DOI]

CoRR, 2022

Research on Event Accumulator Settings for Event-Based SLAM.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Robotics, Control and Automation, 2022

2021

ACCL: Architecting Highly Scalable Distributed Training Systems With Highly Efficient Collective Communication Library.

[BibT_eX]

[DOI]

IEEE Micro, 2021

Formalization of Euler-Lagrange Equation Set Based on Variational Calculus in HOL Light.

[BibT_eX]

[DOI]

J. Autom. Reason., 2021

Research on Event Accumulator Settings for Event-Based SLAM.

[BibT_eX]

[DOI]

CoRR, 2021

Priority-based Distributed Queuing Random Access Mechanism for mMTC/uRLLC Terminals Coexistence.

[BibT_eX]

[DOI]

Proceedings of the 93rd IEEE Vehicular Technology Conference, 2021

Hashing Linearity Enables Relative Path Control in Data Centers.

[BibT_eX]

[DOI]

Proceedings of the 2021 USENIX Annual Technical Conference, 2021

Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Printing Characters Recognition of Chip Resistors Based on the Combination of Image Segmentation and Artificial Neural Network.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Computer Science & Education, 2021

Electronic Components Detection for PCBA Based on A Tailored YOLOv3 Network with Image Pre-Processing.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020

Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2020

Digital signature scheme for information non-repudiation in blockchain: a state of the art review.

[BibT_eX]

[DOI]

EURASIP J. Wirel. Commun. Netw., 2020

A Benchmark for Multi-UAV Task Assignment of an Extended Team Orienteering Problem.

[BibT_eX]

[DOI]

CoRR, 2020

XTDrone: A Customizable Multi-Rotor UAVs Simulation Platform.

[BibT_eX]

[DOI]

CoRR, 2020

A Variable-Dimension Overtube for Natural Orifice Transluminal Endoscopic Surgery.

[BibT_eX]

[DOI]

IEEE Access, 2020

Practical Urban Localization for Mobile AR.

[BibT_eX]

[DOI]

Tiantu Xu

Felix Xiaozhu Lin

Proceedings of the HotMobile '20: The 21st International Workshop on Mobile Computing Systems and Applications, 2020

Pushing the Limits of Energy Efficiency for Non-Binary LDPC Decoders on GPUs and FPGAs.

[BibT_eX]

[DOI]

Srinivasan Subramaniyan

Proceedings of the IEEE Workshop on Signal Processing Systems, 2020

Batch Normalization Masked Sparse Autoencoder for Robotic Grasping Detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Gbit/s Non-Binary LDPC Decoders: High-Throughput using High-Level Specifications.

[BibT_eX]

[DOI]

Oscar Ferraz

Srinivasan Subramaniyan

Proceedings of the 28th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2020

Formal Verification of Memory Isolation for the TrustZone-based TEE.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

Formal Verification of Atomicity Requirements for Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

Revisiting Image Aesthetic Assessment via Self-Supervised Feature Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Formalization of functional variation in HOL Light.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0.

[BibT_eX]

[DOI]

CoRR, 2019

A HOL Theory of the Differential for Matrix Functions.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Towards Verifying Ethereum Smart Contracts at Intermediate Language Level.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2019

Accelerated Service Chaining on a Single Switch ASIC.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM Workshop on Hot Topics in Networks, 2019

Formal Modelling and Verification of Spinlocks at Instruction Level.

[BibT_eX]

[DOI]

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

A New Oren-Nayar Shape-from-Shading Approach for 3D Reconstruction Using High-Order Godunov-Based Scheme.

[BibT_eX]

[DOI]

Yuanbo Chu

Algorithms, 2018

Formalization of Symplectic Geometry in HOL-Light.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

2017

A Block-Level Log-Block Management Scheme for MLC NAND Flash Memory Storage Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2017

Dynamic Resource Reservation for Ultra-low Latency IoT Air-Interface Slice.

[BibT_eX]

[DOI]

KSII Trans. Internet Inf. Syst., 2017

Design of Thermal Power Generation System Based on Underwater Vehicles.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Robotics and Applications - 10th International Conference, 2017

2016

Towards Comprehensive Traffic Forecasting in Cloud Computing: Design and Application.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2016

Energy Efficient Cell Management by Flow Scheduling in Ultra Dense Networks.

[BibT_eX]

[DOI]

KSII Trans. Internet Inf. Syst., 2016

Energy-aware assignment and scheduling for hybrid main memory in embedded systems.

[BibT_eX]

[DOI]

Computing, 2016

Air-Interface Slice Based Dynamic Resource Reservation for Ultra-Low-Latency IoT Transmissions.

[BibT_eX]

[DOI]

Guolin Sun

Guisong Liu

Proceedings of the 41st IEEE Conference on Local Computer Networks, 2016

OpenCL-Based Mobile GPGPU Benchmarking: Methods and Challenges.

[BibT_eX]

[DOI]

Rotem Aviv

Proceedings of the 4th International Workshop on OpenCL, 2016

2015

Online Sensor Fault Detection Based on an Improved Strong Tracking Filter.

[BibT_eX]

[DOI]

Sensors, 2015

Software-Defined Flow Table Pipeline.

[BibT_eX]

[DOI]

Xiaoye Sun

Proceedings of the 2015 IEEE International Conference on Cloud Engineering, 2015

2014

GPU Acceleration of a Configurable N-Way MIMO Detector for Wireless Systems.

[BibT_eX]

[DOI]

J. Signal Process. Syst., 2014

Computer Vision Accelerators for Mobile Systems based on OpenCL GPGPU Co-Processing.

[BibT_eX]

[DOI]

J. Signal Process. Syst., 2014

Parallel Interleaver Design for a High Throughput HSPA+/LTE Multi-Standard Turbo Decoder.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. I Regul. Pap., 2014

A Non-Intrusive Method for Monitoring the Degradation of MOSFETs.

[BibT_eX]

[DOI]

Sensors, 2014

Large-Scale MIMO Detection for 3GPP LTE: Algorithms and FPGA Implementations.

[BibT_eX]

[DOI]

IEEE J. Sel. Top. Signal Process., 2014

HadoopWatch: A first step towards comprehensive traffic forecasting in cloud computing.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

A 3.8Gb/s large-scale MIMO detector for 3GPP LTE-Advanced.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2014

Efficient architecture mapping of FFT/IFFT for cognitive radio networks.

[BibT_eX]

[DOI]

Shuvra S. Bhattacharyya

Jarmo Takala

Proceedings of the IEEE International Conference on Acoustics, 2014

A high performance GPU-based software-defined basestation.

[BibT_eX]

[DOI]

Proceedings of the 48th Asilomar Conference on Signals, Systems and Computers, 2014

On the performance of LDPC and turbo decoder architectures with unreliable memories.

[BibT_eX]

[DOI]

João Andrade

Aida Vosoughi

Vítor Manuel Mendes da Silva

Georgios Karakonstantis

Andreas Burg

Gabriel Falcão

Joseph R. Cavallaro

Proceedings of the 48th Asilomar Conference on Signals, Systems and Computers, 2014

2013

A Novel Clustering Algorithm Based on Graph Matching.

[BibT_eX]

[DOI]

J. Softw., 2013

Meridian: an SDN platform for cloud network services.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2013

<i>BLog</i>: block-level <i>log</i>-block management for NAND flash memorystorage systems.

[BibT_eX]

[DOI]

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

Parallel interleaver architecture with new scheduling scheme for high throughput configurable turbo decoder.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013

Accelerating computer vision algorithms using OpenCL framework on the mobile GPU - A case study.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2013

A fast and efficient sift detector using the mobile GPU.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2013

High throughput low latency LDPC decoding on GPU for SDR systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Conference on Signal and Information Processing, 2013

Workload analysis and efficient OpenCL-based implementation of SIFT algorithm on a smartphone.

[BibT_eX]

[DOI]

Blaine Rister

Joseph R. Cavallaro

Proceedings of the IEEE Global Conference on Signal and Information Processing, 2013

Virtual network diagnosis as a service.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

Highly scalable on-the-fly interleaved address generation for UMTS/HSPA+ parallel turbo decoder.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Application-Specific Systems, 2013

HSPA;/LTE-A turbo decoder on GPU and multicore CPU.

[BibT_eX]

[DOI]

Proceedings of the 2013 Asilomar Conference on Signals, 2013

2012

Programming your network at run-time for big data applications.

[BibT_eX]

[DOI]

Anees Shaikh

Proceedings of the first workshop on Hot topics in software defined networks, 2012

Low complexity opportunistic decoder for network coding.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Forty Sixth Asilomar Conference on Signals, 2012

Parallel nonbinary LDPC decoding on GPU.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Forty Sixth Asilomar Conference on Signals, 2012

2011

Implementation of a High Throughput 3GPP Turbo Decoder on GPU.

[BibT_eX]

[DOI]

J. Signal Process. Syst., 2011

A massively parallel implementation of QC-LDPC decoder on GPU.

[BibT_eX]

[DOI]

Proceedings of the IEEE 9th Symposium on Application Specific Processors, 2011

Multi-layer parallel decoding algorithm and vlsi architecture for quasi-cyclic LDPC codes.

[BibT_eX]

[DOI]

Yang Sun

Joseph R. Cavallaro

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2011), 2011

Switching the optical divide: fundamental challenges for hybrid electrical/optical datacenter networks.

[BibT_eX]

[DOI]

Hamid Hajabdolali Bazzaz

Proceedings of the ACM Symposium on Cloud Computing in conjunction with SOSP 2011, 2011

The effects of mechanical stimulation on proliferation and CTGF expression of human lung fibroblast.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011

High-throughput Contention-Free concurrent interleaver architecture for multi-standard turbo decoder.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Application-specific Systems, 2011

A New Shape from Shading Approach for Specular Surfaces.

[BibT_eX]

[DOI]

Wei Su

Yugui Song

Proceedings of the Artificial Intelligence and Computational Intelligence, 2011

GPU accelerated scalable parallel decoding of LDPC codes.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Forty Fifth Asilomar Conference on Signals, 2011

2010

Measurement-based analysis, modeling, and synthesis of the internet delay space.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2010

Router group monitoring: making traffic trajectory error detection more efficient.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2010

c-Through: part-time optics in data centers.

[BibT_eX]

[DOI]

David G. Andersen

Michael Kaminsky

Konstantina Papagiannaki

Michael Kozuch

Michael P. Ryan

Proceedings of the ACM SIGCOMM 2010 Conference on Applications, 2010

The Impact of Virtualization on Network Performance of Amazon EC2 Data Center.

[BibT_eX]

[DOI]

Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010

2009

The Design of the GPS-Based Surveying Robot Automatic Monitoring System for Underground Mining Safety.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Robotics and Applications, Second International Conference, 2009

Your Data Center Is a Router: The Case for Reconfigurable Optical Circuit Switched Paths.

[BibT_eX]

[DOI]

Konstantina Papagiannaki

Madeleine Glick

Lily B. Mummert

Proceedings of the Eight ACM Workshop on Hot Topics in Networks (HotNets-VIII), 2009

Prediction and Analysis of Landslide Based on Fuzzy Theory.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Fuzzy Systems and Knowledge Discovery, 2009

2008

Distributed algorithms for stable and secure network coordinates.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGCOMM Internet Measurement Conference, 2008

2007

Towards network triangle inequality violation aware distributed systems.

[BibT_eX]

[DOI]

Bo Zhang