Qingguo Xu

According to our database1, Qingguo Xu authored at least 21 papers between 2006 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Synthesizing Proxy Applications for MPI Programs.
CoRR, 2023

Scalable Tracing of MPI Events and Performance Metrics.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2023

Optimizing Transformer Training Based on Computation and Accessing Memory Features with Deep Learning Processor.
Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

2022
Multi-Layer Feature Fusion-Based Community Evolution Prediction.
Future Internet, 2022

2021
Normalized Avatar Synthesis Using StyleGAN and Perceptual Refinement.
CoRR, 2021

Normalized Avatar Synthesis Using StyleGAN and Perceptual Refinement.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

2019
Mask-off: Synthesizing Face Images in the Presence of Head-mounted Displays.
Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces, 2019

Text Classification Based on Improved Information Gain Algorithm and Convolutional Neural Network.
Proceedings of the Testbeds and Research Infrastructures for the Development of Networks and Communications, 2019

2016
Mask-off: Synthesizing Face Images in the Presence of Head-mounted Displays.
CoRR, 2016

Instant-Based and State-Based Analysis of Infinite Logical Clock.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Divergence Detection for CCSL Specification via Clock Causality Chain.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015
LittleHelper: An augmented reality glass application to assist individuals with autism in job interview.
Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2015

2012
An Advanced Methodology for Measuring and Characterizing Software Aging.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

2011
Modeling Predicate Abstraction of Timed Automata in PVS.
Proceedings of the 2011 IEEE International Conference on Internet of Things (iThings) & 4th IEEE International Conference on Cyber, 2011

2010
Modeling and Verifying Web Service Applications with Time Constraints.
Proceedings of the 9th IEEE/ACIS International Conference on Computer and Information Science, 2010

2009
Manipulating Clocks in Timed Automata Using PVS.
Proceedings of the 10th ACIS International Conference on Software Engineering, 2009

2008
Modeling and Refining the Service-Oriented Requirement.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Verifying Service-Oriented Requirements Using Model Checking.
Proceedings of the 2008 IEEE International Conference on e-Business Engineering, 2008

2007
Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority.
Proceedings of the Grid and Cooperative Computing, 2007

2006
Modeling Timed Automata Theory in PVS.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Formal Verification Framework for Safety of Real-Time System based on Timed Automata Model in PVS.
Proceedings of the IASTED International Conference on Software Engineering, 2006


  Loading...