2095-2228

Frontiers of Computer Science （FCS） - December 2010, issue 4 论文列表

点击这里查看 Frontiers of Computer Science 的JCR分区、影响因子等信息
卷期号： December 2010, issue 4
发布时间：
卷期年份： 2010
卷期官网： https://link.springer.com/journal/11704/volumes-and-issues/4-4
本期论文列表
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