Petaflop supercomputers of China
Evolution of supercomputers
Perspectives of China’s HPC system development: a view from the 2009 China HPC TOP100 list
TH-1: China’s first petaflop supercomputer
HPP controller: a system controller for high performance computing
Design and implementation of communication system of the Dawning 6000 supercomputer
DeepComp: towards a balanced system design for high performance computer systems
JASMIN: a parallel software infrastructure for scientific computing
One-to-one communication in twisted cubes under restricted connectivity
PopCap: popularity oriented proxy caching for peer-assisted Internet video-on-demand streaming services
Full and partial deniability for authentication schemes
Network intrusion detection based on system calls and data mining
Linear complexity and autocorrelation values of a polyphase generalized cyclotomic sequence of length pq
An immune memory clonal algorithm for numerical and combinatorial optimization
An enhanced swarm intelligence clustering-based RBFNN classifier and its application in deep Web sources classification
Fast motion and disparity estimation for multiview video coding
Human behavior classification by analyzing periodic motions
Documenting and verifying systems assembled from components
A concern-based approach to generating formal requirements specifications
On the computation of quotients and factors of regular languages
Financial information processing and development of emerging financial markets
Modeling default risk via a hidden Markov model of multiple sequences
Developing an SVM-based ensemble learning system for customer risk identification collaborating with customer relationship management
A class of life insurance reserve model and risk analysis in a stochastic interest rate environment
N-person credibilistic strategic game
Corporate financial distress diagnosis model and application in credit rating for listing firms in China
Evaluation of mutual funds using multi-dimensional information
Neural network methods for forecasting turning points in economic time series: an asymmetric verification to business cycles
Using jump-diffusion modeling for valuing real options in infrastructure projects
Partially funded public pension, human capital and endogenous growth
Knowledge discovery through directed probabilistic topic models: a survey
ID-based authenticated group key agreement from bilinear maps
Recent advances in program verification through computer algebra
Static worst-case execution time analysis of the μC/OS-II real-time kernel
A semantic model of confinement and Locality theorem
TRainbow: a new trusted virtual machine based platform
Formal verification of concurrent programs with read-write locks
A new model for model checking: cycle-weighted Kripke structure
Mining non-redundant diverse patterns: an information theoretic perspective
A constraint-based topic modeling approach for name disambiguation
Improved feedback modeling of transport in enlarging urban areas of developing countries
Efficient distributed location verification in wireless sensor networks
An effective scheduling scheme for multi-hop multicast in wireless mesh networks
A MANET accessing Internet routing algorithm based on dynamic gateway adaptive selection
Cognitive sense of China
Toward secure and private service discovery anywhere anytime
Three challenges in data mining
Long-term large-scale sensing in the forest: recent advances and future directions of GreenOrbs
iSensNet: an infrastructure for research and development in wireless sensor networks
Data-driven testing methodology for RFID systems
Packet transmission policies for battery operated wireless sensor networks
Development of foundation models for Internet of Things
Visual data security and management for smart cities
A 3D shape retrieval framework for 3D smart cities
Virtual cityscapes: recent advances in crowd modeling and traffic simulation
Applied research of data sensing and service to ubiquitous intelligent transportation system
