Volume 13, Issue 4

Search all Frontiers of Computer Science articles

August 2019

Special Section: Semantic-focused Modelling of Embedded Architectures (Guest editors: Jean-Pierre Talpin (INRIA, France), Kai Hu (Beihang University, China))

15 articles in this issue

Safe semi-supervised learning: a brief introduction
Yu-Feng Li
De-Ming Liang
Review Article 18 June 2019 Pages: 669 - 676
Polychronous automata and their use for formal validation of AADL models
Thierry Gautier
Clément Guy
Loïc Besnard
Research Article 18 June 2019 Pages: 677 - 697
Template-based AADL automatic code generation
Kai Hu
Zhangbo Duan
Lihong Shang
Research Article 18 June 2019 Pages: 698 - 714
Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL
Zhibin Yang
Jean-Paul Bodeveix
Mamoun Filali
Research Article 18 June 2019 Pages: 715 - 734
Inforence: effective fault localization based on information-theoretic analysis and statistical causal inference
Farid Feyzi
Saeed Parsa
Research Article 18 June 2019 Pages: 735 - 759
Fault-tolerant precise data access on distributed log-structured merge-tree
Tao Zhu
Huiqi Hu
Aoying Zhou
Research Article 18 June 2019 Pages: 760 - 777
Joint salient object detection and existence prediction
Huaizu Jiang
Ming-Ming Cheng
Jingdong Wang
Research Article 18 June 2019 Pages: 778 - 788
Locality-constrained framework for face alignment
Jie Zhang
Xiaowei Zhao
Xilin Chen
Research Article 18 June 2019 Pages: 789 - 801
Enhancing subspace clustering based on dynamic prediction
Ratha Pech
Dong Hao
Tao Zhou
Research Article 18 June 2019 Pages: 802 - 812
A maximum margin clustering algorithm based on indefinite kernels
Hui Xue
Sen Li
Yunyun Wang
Research Article 18 June 2019 Pages: 813 - 827
A fully abstract semantics for value-passing CCS for trees
Ying Jiang
Shichao Liu
Thomas Ehrhard
Research Article 18 June 2019 Pages: 828 - 849
PAM: an efficient power-aware multilevel cache policy to reduce energy consumption of storage systems
Xiaodong Meng
Chentao Wu
Jingyu Zhang
Research Article 18 June 2019 Pages: 850 - 863
Fast correlation coefficient estimation algorithm for HBase-based massive time series data
Wen Liu
Tuqian Zhang
Peng Wang
Research Article 18 June 2019 Pages: 864 - 878
Universally composable oblivious transfer from ideal lattice
Momeng Liu
Yupu Hu
Research Article 18 June 2019 Pages: 879 - 906
Detection of common wound infection bacteria based on FAIMS technology
Shenyi Qian
Daiyi Li
Bin Yu
Letter 18 June 2019 Pages: 907 - 909

Volume 13, Issue 4

Safe semi-supervised learning: a brief introduction

Polychronous automata and their use for formal validation of AADL models

Template-based AADL automatic code generation

Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL

Inforence: effective fault localization based on information-theoretic analysis and statistical causal inference

Fault-tolerant precise data access on distributed log-structured merge-tree

Joint salient object detection and existence prediction

Locality-constrained framework for face alignment

Enhancing subspace clustering based on dynamic prediction

A maximum margin clustering algorithm based on indefinite kernels

A fully abstract semantics for value-passing CCS for trees

PAM: an efficient power-aware multilevel cache policy to reduce energy consumption of storage systems

Fast correlation coefficient estimation algorithm for HBase-based massive time series data

Universally composable oblivious transfer from ideal lattice

Detection of common wound infection bacteria based on FAIMS technology

Navigation