# Yifeng Chen

According to our database

Collaborative distances:

^{1}, Yifeng Chen authored at least 57 papers between 2000 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

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

Multimedia Tools Appl., 2019

GMR: graph-compatible MapReduce programming model.

Multimedia Tools Appl., 2019

2018

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

Learned Publishing, 2018

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

Complexity, 2018

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

Proceedings of the 2018 IEEE SmartWorld, 2018

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

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.

Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

Abstract Parallel Array Types and Ghost Cell Update Implementation.

Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

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

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

2017

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

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

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

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

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

Proceedings of the ACM Turing 50th Celebration Conference, 2017

2016

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

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

Optimizing Protein Folding Simulation on Intel Xeon Phi.

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.

Scientometrics, 2015

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

Scientometrics, 2015

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

IEICE Electronic Express, 2015

Tiles: a new language mechanism for heterogeneous parallelism.

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

UniDegree: A GPU-Based Graph Representation for SSSP.

Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Improving Performance of Floating Point Division on GPU and MIC.

Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Programming Heterogeneous Systems with Array Types.

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.

IEICE Electronic Express, 2014

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

IEICE Electronic Express, 2014

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

Proceedings of the Network and Parallel Computing, 2014

2013

Semantic inheritance in unifying theories of programming.

Formal Asp. Comput., 2013

Algebraic Program Semantics for Supercomputing.

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

PARRAY: a unifying array representation for heterogeneous parallelism.

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

Power-aware Programming with GPU Accelerators.

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

2011

Programming-Level Power Measurement for GPU Clusters.

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

2010

UTP and Sustainability.

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

Programmable Verifiers in Imperative Programming.

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

Abstraction of Object Graphs in Program Verification.

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

Large-scale FFT on GPU clusters.

Proceedings of the 24th International Conference on Supercomputing, 2010

Auto-tuning Dense Matrix Multiplication for GPGPU with Cache.

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

2009

Improving Performance of Matrix Multiplication and FFT on GPU.

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

Unifying Probability with Nondeterminism.

Proceedings of the FM 2009: Formal Methods, 2009

2007

Inheriting Laws for Processes with States.

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

2006

Hierarchical Organisation of Predicate-Semantic Models.

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

Compositional Reasoning for Pointer Structures.

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

MADESE: A Simulation Environment for Mobile Agent.

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

2005

The weakest specifunction.

Acta Inf., 2005

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

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

Generating C Code from LOGS Specifications.

Proceedings of the Theoretical Aspects of Computing, 2005

2004

Logic of global synchrony.

ACM Trans. Program. Lang. Syst., 2004

Checkpointing in Hybrid Distributed Systems.

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

Integrating Temporal Logics.

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

From Durational Specifications to TLA Designs of Timed Automata.

Proceedings of the Formal Methods and Software Engineering, 2004

2003

A fixpoint theory for non-monotonic parallelism.

Theor. Comput. Sci., 2003

Top-Down Design of Bulk-Synchronous Parallel Programs.

Parallel Processing Letters, 2003

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

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.

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

2002

Generic Composition.

Formal Asp. Comput., 2002

A Fixpoint Theory for Non-monotonic Parallelism.

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001

Weakest Specifunctions for BSP.

Parallel Processing Letters, 2001

Logic of Global Synchrony.

Proceedings of the CONCUR 2001, 2001

2000

Specification for reactive bulk-synchronous programming.

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

How to Write a Healthiness Condition.

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