Yifeng Chen

Guangchen Lin

Songyuan Li

Omar El Farouk Bourahla

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2019

Correction to: FastNBL: fast neighbor lists establishment for molecular dynamics simulation based on bitwise operations.

[BibT_eX]

[DOI]

J. Supercomput., 2019

Correction to: GMR: graph-compatible MapReduce programming model.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2019

GMR: graph-compatible MapReduce programming model.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2019

An Asynchronous Algorithm for Optimizing the Communication Performance.

[BibT_eX]

[DOI]

Zhuo Tian

Lei Zhang

Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019

swMD: Performance Optimizations for Molecular Dynamics Simulation on Sunway Taihulight.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019

A Communication-Avoiding Algorithm for Molecular Dynamics Simulation.

[BibT_eX]

[DOI]

Bei Wang

Chaofeng Hou

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

An Asynchronous Algorithm to Reduce the Number of Data Exchanges.

[BibT_eX]

[DOI]

Zhuo Tian

Lei Zhang

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

T-Center: A Novel Discriminative Feature Extraction Approach for Iris Recognition.

[BibT_eX]

[DOI]

Cheng Wu

Yiming Wang

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Digital object identifier and its use in core Chinese academic journals: A Chinese perspective.

[BibT_eX]

[DOI]

Learn. Publ., 2018

Networked Control System Design for Turbofan Aeroengines with Aging and Deterioration.

[BibT_eX]

[DOI]

Complex., 2018

An Efficient Recognition Method for Incomplete Iris Image Based on CNN Model.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE SmartWorld, 2018

Multi-objective Cooperative Scheduling of CAVs at Non-Signalized Intersection.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Asynchronous Parallel Dijkstra's Algorithm on Intel Xeon Phi Processor - How to Accelerate Irregular Memory Access Algorithm.

[BibT_eX]

[DOI]

Weidong Zhang

Lei Zhang

Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

Abstract Parallel Array Types and Ghost Cell Update Implementation.

[BibT_eX]

[DOI]

Shuang Zhang

Bei Wang

Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

Heterogeneous Hi-C Data Super-resolution with a Conditional Generative Adversarial Network.

[BibT_eX]

[DOI]

Wei Sun

Haohan Wang

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2018

2017

An augmented smart home system based on the internet of people concept.

[BibT_eX]

[DOI]

Proceedings of the 27th International Telecommunication Networks and Applications Conference, 2017

Deicing of aluminum alloy rod by laser induced bubble explosion reaction.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Systems and Informatics, 2017

Preconditioners for Parallel Reservoir Simulation.

[BibT_eX]

[DOI]

Zhuo Tian

Bei Wang

Proceedings of the International Conference on High Performance Compilation, 2017

Hybrid small class teaching: dividing and conquering large computer systems classes.

[BibT_eX]

[DOI]

Proceedings of the ACM Turing 50th Celebration Conference, 2017

2016

Samsara parallel: a non-BSP parallel-in-time model.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Optimizing Protein Folding Simulation on Intel Xeon Phi.

[BibT_eX]

[DOI]

Kun Huang

Proceedings of the 15th International Symposium on Parallel and Distributed Computing, 2016

2015

Trends and potential cautions in food web research from a bibliometric analysis.

[BibT_eX]

[DOI]

Scientometrics, 2015

A bibliometric analysis of research papers related to the Mekong River.

[BibT_eX]

[DOI]

Scientometrics, 2015

Methods to speed up read operation in a 64 Mbit phase change memory chip.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2015

Tiles: a new language mechanism for heterogeneous parallelism.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

UniDegree: A GPU-Based Graph Representation for SSSP.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Improving Performance of Floating Point Division on GPU and MIC.

[BibT_eX]

[DOI]

Kun Huang

Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Programming Heterogeneous Systems with Array Types.

[BibT_eX]

[DOI]

Xiaowen Li

Proceedings of the 15th IEEE/ACM International Symposium on Cluster, 2015

2014

Flexible block management with data migration wear-leveling algorithm for phase change memory.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2014

Optimization of periphery circuits in a 1K-bit PCRAM chip for highly reliable write and read operations.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2014

Cross-Platform Parallel Programming in Parray: A Case Study.

[BibT_eX]

[DOI]

Xiaowen Li

Proceedings of the Network and Parallel Computing, 2014

2013

Semantic inheritance in unifying theories of programming.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2013

Algebraic Program Semantics for Supercomputing.

[BibT_eX]

[DOI]

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

PARRAY: a unifying array representation for heterogeneous parallelism.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

Power-aware Programming with GPU Accelerators.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

2011

Programming-Level Power Measurement for GPU Clusters.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/ACM International Conference on Green Computing and Communications (GreenCom), 2011

2010

UTP and Sustainability.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Programmable Verifiers in Imperative Programming.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Abstraction of Object Graphs in Program Verification.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Large-scale FFT on GPU clusters.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Supercomputing, 2010

Auto-tuning Dense Matrix Multiplication for GPGPU with Cache.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

2009

Improving Performance of Matrix Multiplication and FFT on GPU.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

Unifying Probability with Nondeterminism.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

2007

Inheriting Laws for Processes with States.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Hierarchical Organisation of Predicate-Semantic Models.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Compositional Reasoning for Pointer Structures.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

MADESE: A Simulation Environment for Mobile Agent.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Computer and Information Technology (CIT 2006), 2006

2005

The weakest specifunction.

[BibT_eX]

[DOI]

Acta Informatica, 2005

A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs.

[BibT_eX]

[DOI]

Proceedings of the Network and Parallel Computing, IFIP International Conference, 2005

Generating C Code from LOGS Specifications.

[BibT_eX]

[DOI]

Jianguo Zhou

Proceedings of the Theoretical Aspects of Computing, 2005

2004

Logic of global synchrony.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2004

Checkpointing in Hybrid Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th International Symposium on Parallel Architectures, 2004

Integrating Temporal Logics.

[BibT_eX]

[DOI]

Zhiming Liu

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

From Durational Specifications to TLA Designs of Timed Automata.

[BibT_eX]

[DOI]

Zhiming Liu

Proceedings of the Formal Methods and Software Engineering, 2004

2003

A fixpoint theory for non-monotonic parallelism.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Top-Down Design of Bulk-Synchronous Parallel Programs.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2003

Cumulative Computing.

[BibT_eX]

[DOI]

Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, 2003

A Relational Model for Formal Object-Oriented Requirement Analysis in UML.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2003

A GA-Based Solution to the Migration Problem of Mobile Agents in Distributed Information Retrieval Systems.

[BibT_eX]

[DOI]

Yanxiang He

Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

2002

Generic Composition.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2002

2001

Formal methods for global synchrony.

[BibT_eX]

[DOI]

PhD thesis, 2001

Weakest Specifunctions for BSP.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2001

2000

Specification for reactive bulk-synchronous programming.

[BibT_eX]

[DOI]

Proceedings of the Eight Euromicro Workshop on Parallel and Distributed Processing, 2000

How to Write a Healthiness Condition.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1995

A high-dimensional SOFM vector quantizer with weightless neural predictor.

[BibT_eX]

[DOI]

Zhuoqun Xu

Proceedings of International Conference on Neural Networks (ICNN'95), Perth, WA, Australia, November 27, 1995

A hybrid neural network for spatio-temporal pattern recognition.

[BibT_eX]

[DOI]