Tao Tang

According to our database1, Tao Tang authored at least 237 papers between 1993 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Big Data Analytics in Intelligent Transportation Systems: A Survey.
IEEE Trans. Intelligent Transportation Systems, 2019

Intelligent operation of heavy haul train with data imbalance: A machine learning method.
Knowl.-Based Syst., 2019

Recognizing the Critical Stations in Urban Rail Networks: An Analysis Method Based on the Smart-Card Data.
IEEE Intell. Transport. Syst. Mag., 2019

2018
The QoS Indicators Analysis of Integrated EUHT Wireless Communication System Based on Urban Rail Transit in High-Speed Scenario.
Wireless Communications and Mobile Computing, 2018

Shared Subway Shuttle Bus Route Planning Based on Transport Data Analytics.
IEEE Trans. Automation Science and Engineering, 2018

Single-step localization using multiple moving arrays in the presence of observer location errors.
Signal Processing, 2018

Combining Load and Motor Encoders to Compensate Nonlinear Disturbances for High Precision Tracking Control of Gear-Driven Gimbal.
Sensors, 2018

Understanding the advisor-advisee relationship via scholarly data analysis.
Scientometrics, 2018

Orchestrating parallel detection of strongly connected components on GPUs.
Parallel Computing, 2018

SAR Image Classification by Exploiting Adaptive Contextual Information and Composite Kernels.
IEEE Geosci. Remote Sensing Lett., 2018

Quadratic constrained weighted least-squares method for TDOA source localization in the presence of clock synchronization bias: Analysis and solution.
Digital Signal Processing, 2018

Distributed cooperative control of multiple high-speed trains under a moving block system by nonlinear mapping-based feedback.
SCIENCE CHINA Information Sciences, 2018

Train speed profile optimization with on-board energy storage devices: A dynamic programming based approach.
Computers & Industrial Engineering, 2018

Time-scale sensitive sensor applications in collecting and analyzing geographic event data.
Annals of GIS, 2018

VISOS: A Visual Interactive System for Spatial-Temporal Exploring Station Importance Based on Subway Data.
IEEE Access, 2018

A Survey of Scholarly Data Visualization.
IEEE Access, 2018

An ABC-Based Subway Timetable Optimization Model for Regenerative Energy Utilization.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Complete Test Suite for the CTCS-3 Target Speed Monitor Based on IECP Test Theory.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

A Two-Stage Stochastic Optimization Model for Passenger-Oriented Metro Rescheduling with Backup Trains.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

A signal segmentation and feature fusion based RUL prediction method for railway point system.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Test Suite Generation for CTCS-3 Train Control System Based On TAIO and Mutation Theory.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Quantized Consensus of Unidirectional Pedestrian Flow based on Two-Time-Scale Hybrid Models.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

An Intelligent train regulation algorithm for metro using deep reinforcement learning.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

An intelligent train control approach based on the monte carlo reinforcement learning algorithm.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Auto-tuning Streamed Applications on Intel Xeon Phi.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

MOCL: an efficient openCL implementation for the matrix-2000 architecture.
Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

2017
Communication-Based Train Control System Performance Optimization Using Deep Reinforcement Learning.
IEEE Trans. Vehicular Technology, 2017

Handoff Performance Improvements in an Integrated Train-Ground Communication System Based on Wireless Network Virtualization.
IEEE Trans. Intelligent Transportation Systems, 2017

Measuring Route Diversity for Urban Rail Transit Networks: A Case Study of the Beijing Metro Network.
IEEE Trans. Intelligent Transportation Systems, 2017

Bilevel Feature Extraction-Based Text Mining for Fault Diagnosis of Railway Systems.
IEEE Trans. Intelligent Transportation Systems, 2017

A Cognitive Control Method for Cost-Efficient CBTC Systems With Smart Grids.
IEEE Trans. Intelligent Transportation Systems, 2017

An Efficient Gradient Projection Method for Stochastic Optimal Control Problems.
SIAM J. Numerical Analysis, 2017

Error-Based Observer of a Charge Couple Device Tracking Loop for Fast Steering Mirror.
Sensors, 2017

Multifunctional biohybrid magnetite microrobots for imaging-guided therapy.
Science Robotics, 2017

Saliency Map Generation for SAR Images with Bayes Theory and Heterogeneous Clutter Model.
Remote Sensing, 2017

Numerical Analysis of Fully Discretized Crank-Nicolson Scheme for Fractional-in-Space Allen-Cahn Equations.
J. Sci. Comput., 2017

WebIntera-classroom: an interaction-aware virtual learning environment for augmenting learning interactions.
Interactive Learning Environments, 2017

A Bayesian network model for prediction of weather-related failures in railway turnout systems.
Expert Syst. Appl., 2017

Efficient and high-quality sparse graph coloring on GPUs.
Concurrency and Computation: Practice and Experience, 2017

LU factorization on heterogeneous systems: an energy-efficient approach towards high performance.
Computing, 2017

High Performance Detection of Strongly Connected Components in Sparse Graphs on GPUs.
Proceedings of the 8th International Workshop on Programming Models and Applications for Multicores and Manycores, 2017

A TDM-based multi-channel analog front-end for wearable dry EEG recording system.
Proceedings of the 15th IEEE International New Circuits and Systems Conference, 2017

Train scheduling with short turning strategy for an urban rail transit line with multiple depots.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Prediction algorithms for train arrival time in urban rail transit.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Implementing and Evaluating OpenCL on an ARMv8 Multi-Core CPU.
Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017

Efficient and Portable ALS Matrix Factorization for Recommender Systems.
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, 2017

An integrated multichannel neural recording analog front-end ASIC with area-efficient driven right leg circuit.
Proceedings of the 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2017

High Performance Coordinate Descent Matrix Factorization for Recommender Systems.
Proceedings of the Computing Frontiers Conference, 2017

A 16-channel TDM analog front-end with enhanced system CMRR for wearable dry EEG recording.
Proceedings of the IEEE Asian Solid-State Circuits Conference, 2017

MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.
Proceedings of the Provably Correct Systems, 2017

2016
An Integrated Train-Ground Communication System Using Wireless Network Virtualization: Security and Quality of Service Provisioning.
IEEE Trans. Vehicular Technology, 2016

Efficient Real-Time Train Operation Algorithms With Uncertain Passenger Demands.
IEEE Trans. Intelligent Transportation Systems, 2016

A Survey on Energy-Efficient Train Operation for Urban Rail Transit.
IEEE Trans. Intelligent Transportation Systems, 2016

Energy-Efficient Communication-Based Train Control Systems With Packet Delay and Loss.
IEEE Trans. Intelligent Transportation Systems, 2016

Saving Energy and Improving Service Quality: Bicriteria Train Scheduling in Urban Rail Transit Systems.
IEEE Trans. Intelligent Transportation Systems, 2016

Energy-Efficient Train Tracking Operation Based on Multiple Optimization Models.
IEEE Trans. Intelligent Transportation Systems, 2016

Man-Made Target Detection from Polarimetric SAR Data via Nonstationarity and Asymmetry.
IEEE J Sel. Topics in Appl. Earth Observ. and Remote Sensing, 2016

Characterizing the Stabilization Size for Semi-Implicit Fourier-Spectral Method to Phase Field Equations.
SIAM J. Numerical Analysis, 2016

Application of MEMS Accelerometers and Gyroscopes in Fast Steering Mirror Control Systems.
Sensors, 2016

Combining Charge Couple Devices and Rate Sensors for the Feedforward Control System of a Charge Coupled Device Tracking Loop.
Sensors, 2016

Built-up Area Extraction from PolSAR Imagery with Model-Based Decomposition and Polarimetric Coherence.
Remote Sensing, 2016

Evaluating Multiple Streams on Heterogeneous Platforms.
Parallel Processing Letters, 2016

Edge Detector for Polarimetric SAR Images Using SIRV Model and Gauss-Shaped Filter.
IEEE Geosci. Remote Sensing Lett., 2016

Numerical Solutions for Weakly Singular Volterra Integral Equations Using Chebyshev and Legendre Pseudo-Spectral Galerkin Methods.
J. Sci. Comput., 2016

Numerical Blow-Up of Nonlinear Parabolic Integro-Differential Equations on Unbounded Domain.
J. Sci. Comput., 2016

Modelling and optimisation of train electric drive system based on fuzzy predictive control in urban rail transit.
IJSPM, 2016

Optimisation of recommended speed profile for train operation based on ant colony algorithm.
IJSPM, 2016

Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

Streaming Applications on Heterogeneous Platforms.
Proceedings of the Network and Parallel Computing, 2016

Optimal control of heavy haul train on steep downward slope.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Efficient dual-association resource allocation model of train-ground communication system based on TD-LTE in urban rail transit.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Field test results analysis in urban rail transit train ground communication systems of integrated service using LTE-M.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Impact of wireless communication delay on train headway of Communication Based Train Control system.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

A 0.18µm, 0.6V, 83.5µW integer DCT processor for neural signal applications.
Proceedings of the International Symposium on Integrated Circuits, 2016

Evaluating the Performance Impact of Multiple Streams on the MIC-Based Heterogeneous Platform.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

High Performance Parallel Graph Coloring on GPGPUs.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

An Energy-Efficient Implementation of LU Factorization on Heterogeneous Systems.
Proceedings of the 22nd IEEE International Conference on Parallel and Distributed Systems, 2016

A robust edge indicator employing nonlocal structure tensor.
Proceedings of the 12th International Conference on Natural Computation, 2016

Research on risk assessment of CTCS based on fuzzy reasoning and analytic hierarchy process.
Proceedings of the 2016 International Conference on Intelligent Information Processing, 2016

Handoff performance improvement in a network virtualization based integrated train ground communication system.
Proceedings of the 2016 IEEE International Conference on Communications, 2016

Synthetic aperture radar image matching based on improved scale-invariant feature transform.
Proceedings of the 9th International Congress on Image and Signal Processing, 2016

Classification Based on Brain Storm Optimization Algorithm.
Proceedings of the Bio-inspired Computing - Theories and Applications, 2016

2015
Cooperative and cognitive wireless networks for train control systems.
Wireless Networks, 2015

MIMO-Assisted Handoff Scheme for Communication-Based Train Control Systems.
IEEE Trans. Vehicular Technology, 2015

A Cognitive Control Approach to Communication-Based Train Control Systems.
IEEE Trans. Intelligent Transportation Systems, 2015

Efficient Real-Time Train Scheduling for Urban Rail Transit Systems Using Iterative Convex Programming.
IEEE Trans. Intelligent Transportation Systems, 2015

A Cooperative Train Control Model for Energy Saving.
IEEE Trans. Intelligent Transportation Systems, 2015

Measurements and Analysis of Large-Scale Fading Characteristics in Curved Subway Tunnels at 920 MHz, 2400 MHz, and 5705 MHz.
IEEE Trans. Intelligent Transportation Systems, 2015

Long Time Numerical Simulations for Phase-Field Problems Using p-Adaptive Spectral Deferred Correction Methods.
SIAM J. Scientific Computing, 2015

Error Analysis of a Mixed Finite Element Method for the Molecular Beam Epitaxy Model.
SIAM J. Numerical Analysis, 2015

Spline Galerkin Methods for the Sherman-Lauricella Equation on Contours with Corners.
SIAM J. Numerical Analysis, 2015

Fast and stable explicit operator splitting methods for phase-field models.
J. Comput. Physics, 2015

Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL.
SCIENCE CHINA Information Sciences, 2015

An Efficient Clique-Based Algorithm of Compute Nodes Allocation for In-memory Checkpoint System.
Proceedings of the High Performance Computing - 30th International Conference, 2015

Cognitive Control Method for Cost-Efficient Communication-Based Train Control Systems in Smart Grids.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

A feature combining spatial and structural information for SAR image classification.
Proceedings of the 2015 IEEE International Geoscience and Remote Sensing Symposium, 2015

Cooperative and cognitive wireless networks for communication-based train control (CBTC) systems.
Proceedings of the 2015 IEEE International Conference on Communications, 2015

A highway vehicle detection method based on the improved visual background extractor.
Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015

2014
Performance improvements of communication-based train control (CBTC) systems with unreliable wireless networks.
Wireless Networks, 2014

Communication-Based Train Control (CBTC) Systems With Cooperative Relaying: Design and Performance Analysis.
IEEE Trans. Vehicular Technology, 2014

Design and Performance Enhancements in Communication-Based Train Control Systems With Coordinated Multipoint Transmission and Reception.
IEEE Trans. Intelligent Transportation Systems, 2014

A Two-Objective Timetable Optimization Model in Subway Systems.
IEEE Trans. Intelligent Transportation Systems, 2014

Finite-State Markov Modeling for Wireless Channels in Tunnel Communication-Based Train Control Systems.
IEEE Trans. Intelligent Transportation Systems, 2014

Efficient Bilevel Approach for Urban Rail Transit Operation With Stop-Skipping.
IEEE Trans. Intelligent Transportation Systems, 2014

Optimization of Multitrain Operations in a Subway System.
IEEE Trans. Intelligent Transportation Systems, 2014

Energy-Efficient Train Operation in Urban Rail Transit Using Real-Time Traffic Information.
IEEE Trans. Intelligent Transportation Systems, 2014

Performance Improved Methods for Communication-Based Train Control Systems With Random Packet Drops.
IEEE Trans. Intelligent Transportation Systems, 2014

On Discrete Least-Squares Projection in Unbounded Domain with Random Evaluations and its Application to Parametric Uncertainty Quantification.
SIAM J. Scientific Computing, 2014

A Kernel Clustering Algorithm With Fuzzy Factor: Application to SAR Image Segmentation.
IEEE Geosci. Remote Sensing Lett., 2014

OpenMC: Towards Simplifying Programming for TianHe Supercomputers.
J. Comput. Sci. Technol., 2014

Adaptive moving grid methods for two-phase flow in porous media.
J. Computational Applied Mathematics, 2014

Least-Squares Based and Gradient Based Iterative Parameter Estimation Algorithms for a Class of Linear-in-Parameters Multiple-Input Single-Output Output Error Systems.
J. Applied Mathematics, 2014

IEEE International Conference on Intelligent Rail Transportation [Conference Report].
IEEE Intell. Transport. Syst. Mag., 2014

Recursive least squares estimation algorithm applied to a class of linear-in-parameters output error moving average systems.
Appl. Math. Lett., 2014

Design and performance tests in an integrated TD-LTE based train ground communication system.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

Archetypes for dynamic evolution of human and organizational factors in Fully Automated Operation system.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

Performance improvement in Communication-Based Train Control (CBTC) Systems using cognitive control.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

A novel handoff decision algorithm in TD-LTE based train-ground communication system.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

Method to improve the performance of communication-based train control (CBTC) systems with transmission delays and packet drops.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

The Research of Private Network Secure Interconnection Scheme in Large-Scaled Enterprises.
Proceedings of the Genetic and Evolutionary Computing, 2014

A novel communication-based train control (CBTC) system with coordinated multi-point transmission and reception.
Proceedings of the IEEE Global Communications Conference, 2014

Energy-efficient communication-based train control (CBTC) systems with random delay and packet drop.
Proceedings of the IEEE Global Communications Conference, 2014

2013
A Cooperative Scheduling Model for Timetable Optimization in Subway Systems.
IEEE Trans. Intelligent Transportation Systems, 2013

A Subway Train Timetable Optimization Approach Based on Energy-Efficient Operation Strategy.
IEEE Trans. Intelligent Transportation Systems, 2013

Online Learning Algorithms for Train Automatic Stop Control Using Precise Location Data of Balises.
IEEE Trans. Intelligent Transportation Systems, 2013

Parallel in Time Algorithm with Spectral-Subdomain Enhancement for Volterra Integral Equations.
SIAM J. Numerical Analysis, 2013

Superpixel Generating Algorithm Based on Pixel Intensity and Location Similarity for SAR Image Classification.
IEEE Geosci. Remote Sensing Lett., 2013

High-Order Convergence of Spectral Deferred Correction Methods on General Quadrature Nodes.
J. Sci. Comput., 2013

Exploiting hierarchy parallelism for molecular dynamics on a petascale heterogeneous system.
J. Parallel Distrib. Comput., 2013

Finite-State Markov Modeling of Leaky Waveguide Channels in Communication-Based Train Control (CBTC) Systems.
IEEE Communications Letters, 2013

A joint design of security and quality-of-service (QoS) provisioning in vehicular ad hoc networks with cooperative communications.
EURASIP J. Wireless Comm. and Networking, 2013

Robust transceiver design for MIMO interference network with norm bounded channel uncertainty.
Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

Distributed Resource Allocation for Cognitive Radio Network with Imperfect Spectrum Sensing.
Proceedings of the 78th IEEE Vehicular Technology Conference, 2013

Distributed Collaborative Compressive Spectrum Sensing in Multihop Cognitive Radio Networks.
Proceedings of the 78th IEEE Vehicular Technology Conference, 2013

Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

OpenACC to Intel Offload: Automatic Translation and Optimization.
Proceedings of the Computer Engineering and Technology - 17th CCF Conference, 2013

Real-time scheduling for trains in urban rail transit systems using nonlinear optimization.
Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013

Model-based test cases generation for Onboard system.
Proceedings of the 11th International Symposium on Autonomous Decentralized Systems, 2013

Interoperability test data graphical capture and analysis system based on multi-resolution models for the onboard equipment of CTCS-3 train control system.
Proceedings of the 11th International Symposium on Autonomous Decentralized Systems, 2013

A novel communication-based train control (CBTC) system with cooperative wireless relaying.
Proceedings of IEEE International Conference on Communications, 2013

Joint security and QoS provisioning in cooperative vehicular ad hoc networks.
Proceedings of IEEE International Conference on Communications, 2013

Finite-state Markov modeling of tunnel channels in communication-based train control (CBTC) systems.
Proceedings of IEEE International Conference on Communications, 2013

A delay tolerant control scheme for communication-based train control (CBTC) systems with unreliable wireless networks.
Proceedings of IEEE International Conference on Communications, 2013

An energy-efficient control scheme for communication-based train control (CBTC) systems with random packet drops.
Proceedings of IEEE International Conference on Communications, 2013

Classification of building structures on high spatial resolution satellite image for mapping the readiness to hurricane hazards, Cancun and Chetumal, Mexico.
Proceedings of the 21st International Conference on Geoinformatics, 2013

Performance Analysis of High Speed Rail Wireless Communication Network.
Proceedings of the 2013 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2013

MIC acceleration of short-range molecular dynamics simulations.
Proceedings of the First International Workshop on Code Optimisation for Multi and Many Cores, 2013

2012
Handoff Performance Improvements in MIMO-Enabled Communication-Based Train Control Systems.
IEEE Trans. Intelligent Transportation Systems, 2012

Verification of the safety communication protocol in train control system using colored Petri net.
Rel. Eng. & Sys. Safety, 2012

Galerkin Methods for Stochastic Hyperbolic Problems Using Bi-Orthogonal Polynomials.
J. Sci. Comput., 2012

Convergence Analysis of Spectral Galerkin Methods for Volterra Type Integral Equations.
J. Sci. Comput., 2012

Cross-Layer Handoff Design in MIMO-Enabled WLANs for Communication-Based Train Control (CBTC) Systems.
IEEE Journal on Selected Areas in Communications, 2012

A Thin Folded Dipole UHF RFID Tag Antenna with Shorting Pins for Metallic Objects.
TIIS, 2012

An integrated error-detecting method based on expert knowledge for GPS data points measured in Qinghai-Tibet Railway.
Expert Syst. Appl., 2012

Handoff Management in Communication-Based Train Control Networks Using Stream Control Transmission Protocol and IEEE 802.11p WLANs.
EURASIP J. Wireless Comm. and Networking, 2012

MPtostream: an OpenMP compiler for CPU-GPU heterogeneous parallel systems.
SCIENCE CHINA Information Sciences, 2012

Cross-Layer Handoff Design in Communication-Based Train Control (CBTC) Systems Using WLANs.
Proceedings of the 76th IEEE Vehicular Technology Conference, 2012

Optimal Charging Control for Electric Vehicles in Smart Microgrids with Renewable Energy Sources.
Proceedings of the 75th IEEE Vehicular Technology Conference, 2012

Energy efficient driving strategy for trains in MRT systems.
Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012

Component Based Design of Fault Tolerant Devices in Cyber Physical System.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Service availability analysis in communication-based train control (CBTC) systems using WLANs.
Proceedings of IEEE International Conference on Communications, 2012

Optimization of RS error-correcting decoding algorithm for QR code - Verified in android phone.
Proceedings of the 5th International Conference on BioMedical Engineering and Informatics, 2012

Application specific sensor node architecture optimization - Experiences from field deployments.
Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

2011
Cross-Layer Design for Video Transmissions in Metro Passenger Information Systems.
IEEE Trans. Vehicular Technology, 2011

Computationally Inexpensive Tracking Control of High-Speed Trains With Traction/Braking Saturation.
IEEE Trans. Intelligent Transportation Systems, 2011

An Introduction to Parallel Control and Management for High-Speed Railway Systems.
IEEE Trans. Intelligent Transportation Systems, 2011

An Adaptive Time-Stepping Strategy for the Molecular Beam Epitaxy Models.
SIAM J. Scientific Computing, 2011

A Speed-Up Strategy for Finite Volume WENO Schemes for Hyperbolic Conservation Laws.
J. Sci. Comput., 2011

Terminal iterative learning control based station stop control of a train.
Int. J. Control, 2011

Performance analysis and verification of safety communication protocol in train control system.
Computer Standards & Interfaces, 2011

Power Optimization for GPU Programs Based on Software Prefetching.
Proceedings of the IEEE 10th International Conference on Trust, 2011

Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Stochastic charging management for plug-in electric vehicles in smart microgrids fueled by renewable energy sources.
Proceedings of the IEEE Online Conference on Green Communications, 2011

Energy saving for automatic train control in moving block signaling system.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

Modelling and Verification of the System Requirement Specification of Train Control System Using SDL.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Research on the Method of Interoperability Test for the Onboard Equipment of CTCS-3 Train Control System of Chinese Railway.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Safety Monitoring for ETCS with 4-valued LTL.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Cache Miss Analysis for GPU Programs Based on Stack Distance Profile.
Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

Cross Layer Design in MIMO-Enabled Communication-Based Train Control Systems.
Proceedings of the Global Communications Conference, 2011

2010
Convergence analysis of the Jacobi spectral-collocation methods for Volterra integral equations with a weakly singular kernel.
Math. Comput., 2010

Note on coefficient matrices from stochastic Galerkin methods for random diffusion equations.
J. Comput. Physics, 2010

A robust high-order residual distribution type scheme for steady Euler equations on unstructured grids.
J. Comput. Physics, 2010

Runtime Verification with Multi-valued Formula Rewriting.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Sim-spm: A SimpleScalar-Based Simulator for Multi-level SPM Memory Hierarchy Architecture.
Proceedings of the 12th IEEE International Conference on High Performance Computing and Communications, 2010

Spatial statistical modeling of the pollution impact of old industrial sites on colon and lung cancer incidents in New York State, USA.
Proceedings of the 18th International Conference on Geoinformatics: GIScience in Change, 2010

A fuzzy object-based data processing for high resolution remote sensing image.
Proceedings of the Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010

Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway.
Proceedings of the FORMS/FORMAT 2010, 2010

Optimization and Implementation of LBM Benchmark on Multithreaded GPU.
Proceedings of the International Conference on Data Storage and Data Engineering, 2010

Improving scratchpad allocation with demand-driven data tiling.
Proceedings of the 2010 International Conference on Compilers, 2010

Optimizing Stencil Application on Multi-thread GPU Architecture Using Stream Programming Model.
Proceedings of the Architecture of Computing Systems, 2010

A Data Communication Scheduler for Stream Programs on CPU-GPU Platform.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

Power Measurements and Analyses of Massive Object Storage System.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009
SRF Coloring: Stream Register File Allocation via Graph Coloring.
J. Comput. Sci. Technol., 2009

Spectral methods for weakly singular Volterra integral equations with smooth solutions.
J. Computational Applied Mathematics, 2009

Visual health subject directory analysis based on users' traversal activities.
JASIST, 2009

Program Optimization of Stencil Based Application on the GPU-Accelerated System.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2009

Spatial Variation of Inhalable Particulate Matter and its Influence Factor Analysis during the Regional Air Pollution Study.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

Program Optimization of Array-Intensive SPEC2k Benchmarks on Multithreaded GPU Using CUDA and Brook+.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

Formal Modeling and Analysis of RBC Subsystem in CTCS Level 3 Using UPPAAL.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

2008
Efficient computation of dendritic growth with r-adaptive finite element methods.
J. Comput. Physics, 2008

Optimizing scientific application loops on stream processors.
Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

An Information Fusion Algorithm for Multiple GPS Track Data.
Proceedings of the Fourth International Conference on Natural Computation, 2008

Research on Alarm System in Wireless Network Based on Mining Association Rules.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Model-guided strip size selection for minimal execution time on imagine stream processor.
Proceedings of 8th IEEE International Conference on Computer and Information Technology, 2008

2007
Level Set Calculations for Incompressible Two-Phase Flows on a Dynamically Adaptive Grid.
J. Sci. Comput., 2007

Resolving the shock-induced combustion by an adaptive mesh redistribution method.
J. Comput. Physics, 2007

Implementation and Optimization of Dense LU Decomposition on the Stream Processor.
Proceedings of the Parallel Processing and Applied Mathematics, 2007

Implementation and Optimization of Sparse Matrix-Vector Multiplication on Imagine Stream Processor.
Proceedings of the Parallel and Distributed Processing and Applications, 2007

Architecture-Based Optimization for Mapping Scientific Applications to Imagine.
Proceedings of the Parallel and Distributed Processing and Applications, 2007

The modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets.
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

Evaluation of Transcendental Functions on Imagine Architecture.
Proceedings of the 2007 International Conference on Parallel Processing (ICPP 2007), 2007

Implementation and Evaluation of Jacobi Iteration on the Imagine Stream Processor.
Proceedings of the High Performance Computing, 2007

2006
Moving Mesh Methods for Singular Problems on a Sphere Using Perturbed Harmonic Mappings.
SIAM J. Scientific Computing, 2006

Stability Analysis of Large Time-Stepping Methods for Epitaxial Growth Models.
SIAM J. Numerical Analysis, 2006

Moving Mesh Discontinuous Galerkin Method for Hyperbolic Conservation Laws.
J. Sci. Comput., 2006

Intelligent Railway Systems in China.
IEEE Intelligent Systems, 2006

Dynamic Data Retrieval and Distance Decay of Triangulated Irregular Network(TIN) in Three Dimensional Visualizations.
Annals of GIS, 2006

2005
Moving Mesh Finite Element Methods for the Incompressible Navier-Stokes Equations.
SIAM J. Scientific Computing, 2005

Hermite Spectral Methods with a Time-Dependent Scaling for Parabolic Equations in Unbounded Domains.
SIAM J. Numerical Analysis, 2005

Preface.
J. Sci. Comput., 2005

HADS-humanized autonomous decentralized systems.
Proceedings of the 2005 International Symposium on Autonomous Decentralized Systems, 2005

2004
A Posteriori Error Estimates for Discontinuous Galerkin Time-Stepping Method for Optimal Control Problems Governed by Parabolic Equations.
SIAM J. Numerical Analysis, 2004

A multilevel successive iteration method for nonlinear elliptic problems.
Math. Comput., 2004

2003
Adaptive Mesh Methods for One- and Two-Dimensional Hyperbolic Conservation Laws.
SIAM J. Numerical Analysis, 2003

Fractional Rate of Convergence for Viscous Approximation to Nonconvex Conservation Laws.
SIAM J. Math. Analysis, 2003

2002
Adaptive Finite Element Approximation for Distributed Elliptic Optimal Control Problems.
SIAM J. Control and Optimization, 2002

Combined Hermite spectral-finite difference method for the Fokker-Planck equation.
Math. Comput., 2002

2001
A Compact Fourth-Order Finite Difference Scheme for Unsteady Viscous Incompressible Flows.
J. Sci. Comput., 2001

On Mixed Error Estimates for Elliptic Obstacle Problems.
Adv. Comput. Math., 2001

2000
On the Regularity of Approximate Solutions to Conservation Laws with Piecewise Smooth Solutions.
SIAM J. Numerical Analysis, 2000

Pointwise Error Estimates for Relaxation Approximations to Conservation Laws.
SIAM J. Math. Analysis, 2000

Convergence of MUSCL Relaxing Schemes to the Relaxed Schemes for Conservation Laws with Stiff Source Terms.
J. Sci. Comput., 2000

1997
Viscosity methods for piecewise smooth solutions to scalar conservation laws.
Math. Comput., 1997

1996
Boundary Layer Resolving Pseudospectral Methods for Singular Perturbation Problems.
SIAM J. Scientific Computing, 1996

1993
The Hermite Spectral Method for Gaussian-Type Functions.
SIAM J. Scientific Computing, 1993


  Loading...